X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=index.md;h=b6b3eca1a102fea4f05c334d64effa7156b0067c;hb=159eddad76122c0ff2ae338b86cd45ea0645cc7e;hp=d5542bc7600638896436bf199f54712e1e2554bd;hpb=905f9e0a1b835198492eb1fe314c24ea5efd1157;p=martlubbers.net.git
diff --git a/index.md b/index.md
index d5542bc..b6b3eca 100644
--- a/index.md
+++ b/index.md
@@ -5,7 +5,8 @@ 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`
+Mastodon
## Table of contents
@@ -54,8 +55,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, Nov. 2022, just-accepted, 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 +78,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 +122,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 +130,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))
@@ -179,12 +182,12 @@ 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