X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=index.md;h=51c45d4ed1344562b72cdaa4a70b6f7a7a632d5b;hb=3858137426da65b9a3f75a3ca345aec09cddd090;hp=d5542bc7600638896436bf199f54712e1e2554bd;hpb=905f9e0a1b835198492eb1fe314c24ea5efd1157;p=martlubbers.net.git diff --git a/index.md b/index.md index d5542bc..51c45d4 100644 --- a/index.md +++ b/index.md @@ -5,7 +5,10 @@ title: Mart Lubbers' website {% include img.html alt='A photo of Mart Lubbers' img='p' %} PhD candidate at the [Institute of Computing and Information Sciences](https://cs.ru.nl) ([Radboud University](https://ru.nl))
`mart@martlubbers.net` (GPG: AD3FEBE7)
-`mart@cs.ru.nl` +`mart@cs.ru.nl`
+gitlab, +dblp, +Mastodon
## Table of contents @@ -54,8 +57,14 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ## Publications ### Peer reviewed -- M. Lubbers, “Deep Embedding with Class”, in Trends in Functional Programming, Cham, in-press 2022, p. 19. -- S. Crooijmans, M. Lubbers, and P. Koopman, “Reducing the Power Consumption of IoT with Task-Oriented Programming”, in Trends in Functional Programming, Cham, in-press 2022, p. 20. +- M. Lubbers, P. Koopman, and R. Plasmeijer, “First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming,” in Proceedings of the 34th Symposium on the Implementation and Application of Functional Programming Languages, Kopenhagen, in-press, 2023, p. 12. + +- 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, doi: 10.1145/3572901. + ([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. + ([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. + ([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)) - M. Lubbers, P. Koopman, and R. Plasmeijer, “Interpreting Task Oriented Programs on Tiny Computers,” in Proceedings of the 31th Symposium on the Implementation and Application of Functional Programming Languages, Singapore, 2020, p. 12. @@ -71,14 +80,10 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c - P. Koopman, M. Lubbers, and R. Plasmeijer, “A Task-Based DSL for Microcomputers,” in Proceedings of the Real World Domain Specific Languages Workshop, 2018, pp. 1–11. ([pdf](files/rwdsl17.pdf)) -### Under review - -- M. Lubbers, H. Böhm, P. Koopman, and R. Plasmeijer, "Asynchronous Shared Data Sources". IFL 2022 -- M. Lubbers, P. Koopman, and R. Plasmeijer, "First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming". IFL 2022 -- P. Koopman, M. Lubbers, "Strongly-Typed Multi-View Stack-Based Computations". IFL 2022 - ### Theses +- M. Lubbers, “Orchestrating the Internet of Things with Task-Oriented Programming,” PhD Thesis, Radboud University, Nijmegen, 2023 (expected). + - M. Lubbers, “Task Oriented Programming and the Internet of Things,” Master’s Thesis, Radboud University, Nijmegen, 2017. ([pdf](files/master.pdf)) - M. Lubbers, “Adaptable crawler specification generation system for leisure activity RSS feeds,” Bachelor's Thesis, Radboud University, Nijmegen, 2015. @@ -119,7 +124,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ## Teaching - Green Computing for the IoT ([Sustrainable 2022](https://sustrainable.uniri.hr/) summer school in Rijeka, Croatia, 2022) -- New Devices Lab --- NWI-IBC031 (20/21, 21/22) +- New Devices Lab --- NWI-IBC031 (20/21, 21/22, 22/23) - Computers en Programmeren --- TCP1 (19/20) at the [NLDA](https://www.defensie.nl/onderwerpen/defensieacademie) - Task Oriented Programming for the Internet of Things ([3COWS/CEFP](https://people.inf.elte.hu/cefp/) summer school in Budapest, Hungary, 2019) - Compiler construction --- NWI-IMC004 (18/19, 19/20, 20/21, 21/22) @@ -127,13 +132,13 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ## Talks -- 2022-09-02 --- Asynchronous Shared Data Sources ([IFL 2022](https://ifl22.github.io/) +- 2022-09-02 --- Asynchronous Shared Data Sources ([IFL 2022](https://ifl22.github.io/)) - 2022-09-02 --- First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. ([IFL 2022](https://ifl22.github.io/) +- 2022-07-07 --- Green Computing for the IoT (lecture and practical) ([SusTrainable 2022](https://sustrainable.uniri.hr/)) - 2022-05-18 --- Deep Embedding with Class ([TFP 2022](https://trendsfp.github.io)) - 2022-05-18 --- Reducing the Power Consumption of IoT with Task-Oriented Programming ([TFP 2022](https://trendsfp.github.io)) - 2022-05-17 --- First-Class Data Types in Shallow Embedded Domain Specific Languages using Metaprogramming ([TFP 2022](https://trendsfp.github.io)) - 2022-04-04 --- Onderzoeker in de Klas ([BS Noorderbreedte](https://noorderbreedtediemen.nl)) -- 2022-04-04 --- Onderzoeker in de Klas ([BS Noorderbreedte](https://noorderbreedtediemen.nl)) - 2022-01-20 --- Task-Oriented Programming for the Internet of Things ([ENS seminar](https://www.tudelft.nl/ewi/over-de-faculteit/afdelingen/software-technology/embedded-and-networked-systems)) - 2021-11-04 --- Green Computing for the Internet of Things ([SusTrainable Teacher Training](https://sustrainable.github.io/)) - 2021-04-07 --- Deep Embedding with Class ([SWSSeminar](https://www.sws.cs.ru.nl/SWSSeminar)) @@ -167,8 +172,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ### Software, libraries and projects -- [m](https://github.com/dopefishh/m) --- `m' is for music, an extremely fast music indexer written in plain C. -- [cloogle](https://github.com/dopefishh/cloogle) --- Cloogle, a hoogle clone for clean. [Live version here](http://cloogle.org). +- [mTask](https://gitlab.com/mtask) --- a TOP framework for the Internet of Things integrated in iTasks. - [praatalign](https://github.com/dopefishh/praatalign) --- An interactive praat forced aligner, easily extensible for more languages. - [pympi](https://github.com/dopefishh/pympi) --- A python toolkit to interact with Praat and Elan files. @@ -179,16 +183,21 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ### Interests -[Wildplukken](foerageer.html), +Running, +Wildplukken, Reading, Heavy metal music, Hacking, -[Kung fu](http://www.howchuenmonkeykungfu.nl), -[Linux](http://linuxnijmegen.nl), +Linux, [ſ-homografen](langes.html). ### Archive +#### Software +- [m](https://github.com/dopefishh/m) --- `m' is for music, an extremely fast music indexer written in plain C. + +#### Pages + [Using a HP t5710 thin client as a retro system](archive/thin.html) [LeJoS on ubuntu](archive/lejos-ubuntu.html), [Play youtube videos on headless machine](archive/youtube-term.html),