--- /dev/null
+\version "2.24.4"
+\header {
+ title = "Zeart"
+ composer = "Weur en Meziek deur Trent Reznor"
+ arranger = "Coverd deur Jehan Rapgoald"
+ opus = "Oawerzet deur Lölfs Mart"
+ tagline = #f
+}
+baslijntjea = { << \relative { r8 e4.~e2 } \\ \relative { a,1 } >> }
+baslijntjeb = { << \relative { r8 e4. r8 a4 a8 } \\ \relative { c4. c8 d2 } >> }
+baslijntje = { \baslijntjea \baslijntjeb }
+treblijntjea = { \relative { r4 <<a2. c e>> } }
+treblijntjeb = { \relative { r4 <<c' g>> r <<d' e>>} }
+treblijntje = { \treblijntjea \treblijntjeb }
+chordlijntje = { \chordmode {a1:m c2 d2:sus2} }
+
+fadd = { \chordmode { f1:1.3.5.9 } }
+
+% see https://music.stackexchange.com/a/125008
+chExceptionMusic = {
+ <c e g d'>1-\markup { \super "add9" }
+}
+
+chExceptions = #(append
+ (sequential-music-to-chord-exceptions chExceptionMusic #t)
+ ignatzekExceptions)
+
+mychords = {
+ \set chordNameExceptions = #chExceptions
+ \repeat unfold 10 \chordlijntje
+ \chordmode {
+ g1 a:m7 \fadd c g a:m7
+ \fadd c g a:m7 \fadd g R1 a:m7 \fadd g
+ }
+ \repeat unfold 2 \chordlijntje
+ \chordmode { g1 R1 a:m7 \fadd g~g a:m7 \fadd g R1 }
+}
+
+\include "predefined-guitar-fretboards.ly"
+\score {
+ <<
+ \new ChordNames { \set noChordSymbol = "" \mychords }
+% \new FretBoards { \set noChordSymbol = "" \mychords }
+ \new Staff {
+ \new Voice = "melody"
+ \relative {
+ r1 r r r
+ \break
+ \repeat volta 2 {
+ r2 r4 e'4
+ g8 e4 d8~d4 r8 a8
+ e'4 r4 r4 r8 g,8
+ c4 a8 c8~c4 d4
+ e4 r4 r4 r8 e8
+ g e r4 r8 c8 a e'8~
+ e4 r4 r4 r8 g,8
+ c4 a8 d~d4 r8 g,
+ a4 r4 r4 r8 e'8
+ \bar "||"
+ \break
+ g8 e4. d4 c8 e8~
+ e4 r4 r r8 g,8
+ c4 a8 c8~c8 a4 e'8~
+ e4 r4 r4 e8 e8
+ g8 e8 r4 r8 d8 c8 e8~
+ e4 r4 r8 a,8 c8 a8
+ c8 a4 r8 d4 g,8 g8~
+ g4 r4 r2
+ \bar "||"
+ \break
+ g'8 e4 e8~e4 c8 c8~
+ c4 r4 r2
+ r4 c4 d8 c4 d8~
+ d4 r4 r2
+ g8 e4 e8(d8) c4 c8~
+ c4 r4 a4 g8 c8~
+ c4 r4 d4 f,8 g8~
+ g4 r4 r4 r8 d'8
+ \bar "||"
+ \break
+ d4 c8 e8~e4 c8 c8~
+ c4 r4 r4 r8 c8
+ d4 d4 d4 g,8 d'8
+ r2 r4 r8 d8
+ d4 c8 e8~e8 c4 c8~
+ c4 r4 r2
+ \alternative {
+ \volta 1 {
+ d4 c8 d8~d8 g,4 a8~
+ a8 r8 r4 r2
+ r1 r1 r1
+ } \volta 2 {
+ d8 d4 d8~d8 g,4 g8
+ }
+ }
+ }
+ r2 r4 r8 d'8
+ d8 c4 e8~e4 c8 c8~
+ c4 r4 r4 r8 c8
+ d8 c4 d8~d4 g,8 d'8~
+ d4 r4 r4 r8 d8
+ d8 c4 d8~d8 c4 c8~
+ c4 r4 r4 r8 d8
+ d8 c4 e8~e4 r8\fermata g,8
+ a4 r4 r2\fermata
+ }
+ }
+% \new Lyrics {
+% \lyricsto "melody" {
+% I hurt my -- self__ to -- day
+% to see if I __ still feel
+% I fo -- cused on the pain, __
+% the on -- ly thing __ that's real.
+% The nee -- dle tears a hole, __
+% the old fa -- mil -- iar sting. __
+% Try to kill it all a -- way __
+% but I re -- mem -- ber ev -- 're -- thing. __
+% What have I __ be -- come __
+% my sweet -- est friend? __
+% Ev -- 'ry -- one __ I know __
+% goes a -- way __ in the end. __
+% And you could have __ it all, __
+% my em -- pire of dirt.
+% \skip 1 I will let __ you down, __
+% I will make __ you hurt. __
+%
+% I will make __ you hurt.
+% If I could start __ a -- gain, __
+% a mil -- lion miles __ a -- way, __
+% " " I would keep __ my -- self, __
+% " " 1 I would find __ a way.
+% }
+% }
+% \new Lyrics {
+% \lyricsto "melody" {
+% I wear this crown of thorns
+% up -- on my li -- ars chair.
+% " " Full of bro -- ken thoughts, __
+% " " I can -- not __ re -- pair.
+% Be -- neath the stains of time __
+% the feel -- ings __ dis -- ap -- pear.
+% " " " " You are some -- one else,
+% " " " " I am still __ right here. __
+% }
+% }
+ \new Lyrics {
+ \lyricsto "melody" {
+ "Ik heb" miej zeart doan van -- daag
+ "um te" kieken "of ik" nog ver -- nem
+ Ik richt miej op de pien, __
+ Bloots dat kan miej wat gevven.
+
+ Ne noa -- del ropt 'n gat
+ 't kunnig -- e pien en blood __
+ Ik pre -- beer 't vot te snieden
+ \skip 1 mear ik heug miej allens nog good. __
+
+ Wat bin ik ver -- wörden __
+ Mienen leef -- sten moat? __
+ Al -- man dee ik ken __
+ valt miej vot
+ an 't lest. __
+
+ En dow mags al -- lens hebben, __
+ mien kön -- ning -- kriek van smear.
+ "Ik doo" diej 'n he -- len kroam, __
+ gef diej al __ 't zeart. __
+
+ gef diej al __ 't zeart. __
+
+ Kon ik van -- neijs be -- ginnen,__
+ wied vot van hier, ja geender, __
+ Dan zol ik miej wa redden, __
+ mienen weg zol ik __ wa veenden.
+ }
+ }
+ \new Lyrics {
+ \lyricsto "melody" {
+ Ik dreag nen kroon met deurn
+ "Hang met" neag -- el an 't kruus.
+ Nooit kan ik dat nog lieken,
+ mienen kop is ja glad ruus.
+
+ De lik -- zieden van de tied
+ et geveul kump nich __ \skip 1 wier. __
+ Dow raaks wie -- der vot van miej
+ \skip 1 mear ik blief __ \skip 1 stöa -- rig hier. __
+ }
+ }
+ \new GrandStaff
+ <<
+ \new Staff {
+ \relative {
+ \tempo "Heanig an" 4 = 90
+ \repeat unfold 2 \treblijntje
+ \repeat volta 2 {
+ \repeat unfold 4 \treblijntje
+ \treblijntjea
+ \treblijntjeb
+ \repeat unfold 3 \treblijntje
+ <<b4 d g>> <<b,4 d g>> <<b,4 d g>> <<b,8 d g>> g8
+ <<a,4 c e g>> <<a,4 c e g>> <<a,4 c e g>> <<a,4 c e g>>
+ <<a,4 c g'>> <<a,4 c g'>> <<a,4 c g'>> <<a,8 c g'>> <<d g,>>
+ <<c4 e g>> <<c,4 e g>> <<c,4 e g>> <<c,4 e g>>
+ <<b,4 d g>> <<b,4 d g>> <<b,4 d g>> <<b,8 d g>> c,8
+ <<a4 c e g>> <<a,4 c e g>> <<a,4 c e g>> <<a,4 c e g>>
+ <<a,4 c g'>> <<a,4 c g'>> <<a,4 c g'>> <<a,8 c g'>> <<d g,>>
+ <<c4 e g>> <<c,4 e g>> <<c,4 e g>> <<c,4 e g>>
+ <<b,4 d g>> <<b,4 d g>> <<b,4 d g>> <<b,8 d g>> c,8
+ <<a4 c e g>> <<a,4 c e g>> <<a,4 c e g>> <<a,4 c e g>>
+ <<a,4 c g'>> <<a,4 c g'>> <<a,4 c g'>> <<a,8 c g'>> <<d g,>>
+ <<b4 d g>> <<b,4 d g>> <<b,4 d g>> <<b,4 d g>>
+ <<b,4 d g>> <<b,4 d g>> <<b,4 d g>> <<b,8 d g>> c,8
+ <<a4 c e g>> <<a,4 c e g>> <<a,4 c e g>> <<a,4 c e g>>
+ <<a,4 c g'>> <<a,4 c g'>> <<a,4 c g'>> <<a,8 c g'>> <<d g,>>
+ \alternative {
+ \volta 1 {
+ <<b4 d g>> <<b,4 d g>> <<b,4 d g>> <<b,4 d g>>
+ \repeat unfold 2 \treblijntje
+ } \volta 2 {
+ <<b,4 d g>> <<b,4 d g>> <<b,4 d g>> <<b,4 d g>>
+ }
+ }
+ }
+ <<b,4 d g>> <<b,4 d g>> <<b,4 d g>> <<b,8 d g>> c,8
+ <<a'4 c e g>> <<a,4 c e g>> <<a,4 c e g>> <<a,4 c e g>>
+ <<a,4 c g'>> <<a,4 c g'>> <<a,4 c g'>> <<a,8 c g'>> <<d g,>>
+ <<b4 d g>> <<b,4 d g>> <<b,4 d g>> <<b,4 d g>>
+ <<b,4 d g>> <<b,4 d g>> <<b,4 d g>> <<b,8 d g>> c,8
+ <<a4 c e g>> <<a,4 c e g>> <<a,4 c e g>> <<a,4 c e g>>
+ <<a,4 c g'>> <<a,4 c g'>> <<a,4 c g'>> <<a,8 c g'>> <<d g,>>
+ <<b1~ d~ g~>> <<b, d g\fermata >>
+ }
+ }
+ \new Staff {
+ \clef bass
+ \tempo "Heanig an" 4 = 90
+ \repeat unfold 2 \baslijntje
+ \repeat volta 2 {
+ \repeat unfold 4 \baslijntje
+ \baslijntjea
+ \baslijntjeb
+ \repeat unfold 3 \baslijntje
+ << \relative {
+ g,8 g4 g8~g8 g4.
+ a8 a4 a8~a8 a4 a8
+ f8 f4 f8~f8 f4.
+ c'8 c4 c8~c8 c4 c8
+ g8 g4 g8~g8 g4 g8
+ a8 a4 a8~a8 a4.
+ f8 f4 f8~f8 f4.
+ c'8 c4 c8~c8 c4 c8
+ g8 g4 g8~g8 g4 g8
+ a8 a4 a8~a8 a4 a8
+ f8 f4 f8~f8 f4.
+ g8 g4 g8~g8 g4 g8~
+ g8 g4 g8~g8 g4 g8
+ a8 a4 a8~a8 a4 a8
+ f8 f4 f8~f8 f4.
+ } \\
+ \relative {
+ g,,1 a f c'
+ g a f c' g a f g~g a f
+ } >>
+ \alternative {
+ \volta 1 {
+ << \relative { g,8 g4 g8~g8 g4 g8 } \\ \relative { g,,1 } >>
+ \repeat unfold 2 \baslijntje
+ }
+ \volta 2 {
+ << \relative { g,8 g4 g8~g8 g4 g8~ } \\ \relative { g,,1~ } >>
+ }
+ }
+ }
+ << \relative {
+ g,8 g4 g8~g8 g4 g8
+ a8 a4 a8~a8 a4 a8
+ f8 f4 f8~f8 f4.
+ g8 g4 g8~g8 g4 g8~
+ g8 g4 g8~g8 g4 g8
+ a8 a4 a8~a8 a4 a8
+ f8 f4 f8~f8 f4.
+ } \\ \relative {
+ g,,1 a f g~g a f
+ } >>
+ <<g,~ g,,~>> <<g,, g,\fermata >>
+ \bar "|."
+ }
+ >>
+ >>
+ \midi { }
+ \layout { }
+}
## Publications
### Peer reviewed
+
+- P. Medur, M. Lubbers, G. Mauša, “Optimizing Keyword Spotting Classifier based on Tiny Machine Learning for Low-Power Embedded Devices,” in 2025 48st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), Opatija, Croatia.
+<!-- ([pdf](files/mipro25.pdf))-->
+- N. Janssen, M. Lubbers, and P. Koopman, ̈́“Communication for Task-Oriented Systems with Edge Devices,” In: Trends in Functional Programming. TFP 2025.
+ ([pdf](files/tfp25.pdf))
- S. Li, P. Trinder, C. De Troyer, M. Lubbers, and A. Ramsingh, “The Benefits of Tierless Elixir/Potato for Engineering IoT Systems,” in Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, in Erlang 2024. New York, NY, USA: Association for Computing Machinery, 2024, pp. 84–95.
([pdf](files/erlang24.pdf))
- P. Koopman, and M. Lubbers, “Strongly-Typed Multi-View Stack-Based Computations,” in Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming, in PPDP ’23. New York, NY, USA: Association for Computing Machinery, 2023.
([pdf](files/ifl22.pdf))
- M. Lubbers, P. Koopman, A. Ramsingh, J. Singer, and P. Trinder, “Could Tierless Languages Reduce IoT Development Grief?” ACM Trans. Internet Things, vol. 4, no. 1, Feb. 2023.
([pdf](files/tiot22.pdf))
-- Lubbers, M. (2022). Deep Embedding with Class. In: Swierstra, W., Wu, N. (eds) Trends in Functional Programming. TFP 2022. Lecture Notes in Computer Science, vol 13401. Springer, Cham.
+- Lubbers, M. Deep Embedding with Class. In: Swierstra, W., Wu, N. (eds) Trends in Functional Programming. TFP 2022. Lecture Notes in Computer Science, vol 13401. Springer, Cham.
([pdf](files/tfp22a.pdf))
-- Crooijmans, S., Lubbers, M., Koopman, P. (2022). Reducing the Power Consumption of IoT with Task-Oriented Programming. In: Swierstra, W., Wu, N. (eds) Trends in Functional Programming. TFP 2022. Lecture Notes in Computer Science, vol 13401. Springer, Cham.
+- Crooijmans, S., Lubbers, M., Koopman, P. Reducing the Power Consumption of IoT with Task-Oriented Programming. In: Swierstra, W., Wu, N. (eds) Trends in Functional Programming. TFP 2022. Lecture Notes in Computer Science, vol 13401. Springer, Cham.
([pdf](files/tfp22b.pdf))
- M. Lubbers, P. Koopman, A. Ramsingh, J. Singer, and P. Trinder, “Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software Architectures,” in Proceedings of the 10th International Conference on the Internet of Things, Malmö, 2020, p. 9.
([pdf](files/iot20.pdf))
#### Current
- PhD: Niek Janssen, and Benedikt Rips
-- MSc: Cas Visser, Elina Antonova, and Julian Bles
-- BSc: Patrick van den Bosch, and Sofie Vos
+- MSc: Elina Antonova
+- BSc: Niek Adams, Matej Hora
#### Past
##### Master
-- S.S.E. Crooijmans, "Reducing the Power Consumption of IoT Devices in Task-Oriented Programming," Master’s Thesis, Radboud University, Nijmegen, 2021
-- A.D. Nederveen, "A Task-Based Approach to the Internal Battle," Master’s Thesis (Military Technology, Processes & Systems), Netherlands Defence Academy, Den Helder, 2021
-- E. van der Veen, "Mutable Collection Types in Shallow Embedded DSLs," Master’s Thesis, Radboud University, Nijmegen, 2020
-- H. Böhm, “Asynchronous Actions in a Synchronous World,” Master’s Thesis, Radboud University, Nijmegen, 2019
-- M. Amazonas Cabral De Andrade, “Developing Real Life, Task Oriented Applications for the Internet of Things,” Master’s Thesis, Radboud University, Nijmegen, 2018
+- M. Amazonas Cabral de Andrade, ‘Developing Real Life, Task Oriented Applications for the Internet of Things’, Master’s Thesis, Radboud University, Nijmegen, 2018.
+- H. Böhm, ‘Asynchronous Actions in a Synchronous World’, Master’s Thesis, Radboud University, Nijmegen, 2019.
+- E. van der Veen, ‘Mutable Collection Types in Shallow Embedded DSLs’, Master’s Thesis, Radboud University, Nijmegen, 2020.
+- S. Crooijmans, ‘Reducing the Power Consumption of IoT Devices in Task-Oriented Programming’, Master’s Thesis, Radboud University, Nijmegen, 2021.
+- A. D. Nederveen, ‘A Task-Based Approach to the Internal Battle’, Master’s Thesis, Netherlandse Defensie Academie, Den Helder, 2021.
+- J. Bles, ‘Out of Memory Prediction using Memory Data’, Master’s Thesis, Radboud University, Nijmegen, 2025.
+- C. Visser, ‘Effortless Intermittent Computing’, Master’s Thesis, Radboud University, Nijmegen, 2025.
##### Bachelor
-- R.M.T. van Rooijen, "Model Learning of Lexers" Bachelor's Thesis, Radboud University, Nijmegen, 2024
-- E. Antonova, "mTask semantics and its comparison to TopHat," Bachelor's Thesis, Radboud University, Nijmegen, 2022
-- M.L. de Boer, "Secure Communication Channels for mTask," Bachelor’s Thesis, Radboud University, Nijmegen, 2020
+- M. de Boer, ‘Secure Communication Channels for the mTask System.’, Bachelor’s Thesis, Radboud University, Nijmegen, 2020.
+- E. Antonova, ‘mTask Semantics and its Comparison to TopHat’, Bachelor’s Thesis, Radboud University, Nijmegen, 2022.
+- R. van Rooijen, ‘Model Learning of Lexers’, Bachelor’s Thesis, Radboud University, Nijmegen, 2024.
+- P. van den Bosch, ‘Decompilation of Kasada’s JavaScript Virtual machine’, Bachelor’s Thesis, Radboud University, Nijmegen, 2025.
+- S. Vos, ‘Running iTasks tasks in the browser’, Bachelor’s Thesis, Radboud University, Nijmegen, 2025.
### Posters
## Activities
+- Program committee [IFL2025](https://www.fing.edu.uy/inco/congresos/ifl2025), 2025
+- Program committee [CompSys](https://www.compsys.science/conference/current/), 2025
- Program committee [TFPiE](https://wiki.tfpie.science.ru.nl/Main_Page), 2025
- Program chair and host [IFL 2024](https://ifl24.cs.ru.nl/), 2024
- Vice/publicity chair steering committee [IFL](https://www.ifl-symposia.org), 2024--2028
## Talks
+- 2025-05-22 --- Could Tierless Languages Reduce IoT Development Grief? ([CompSys 2025](https://www.compsys.science/))
+- 2025-01-14 --- Shallowly Embedded Functions ([TFP 2025](https://trendsfp.github.io))
+- 2025-01-14 --- A Reflection on Task-Oriented Programming ([TFP 2025](https://trendsfp.github.io))
- 2024-05-28 --- The Design and Implementation of Embedded Domain-Specific Languages ([Lambda Days 2024](https://www.lambdadays.org/lambdadays2024))
- 2024-04-11 --- Tierless Internet of Things with Task-Oriented Programming ([ICT.OPEN2024 \[Mastering Complexity for Cyber-Physical Systems {CPS}\)](https://www.ictopen.nl/))
- 2024-01-16 --- Simplifying Classy Deep Embedding ([SWSSeminar](https://www.sws.cs.ru.nl/SWSSeminar))
repositories / martlubbers.net.git / commitdiff