thesis
[martlubbers.net.git] / index.md
index 7792850..63b9059 100644 (file)
--- a/index.md
+++ b/index.md
@@ -54,6 +54,8 @@ 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, 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, in-press, p. 12.
@@ -78,6 +80,8 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
 
 ### Student supervision
 
+- E. Antonova, "mTask semantics and its comparison to TopHat," Bachelor's Thesis, Radboud University, Nijmegen, 2022
+       ([pdf](files/antonova.pdf), second reader).
 - A.D. Nederveen, "A Task-Based Approach to the Internal Battle," Master’s Thesis (Military Technology, Processes & Systems), Netherlands Defence Academy, Den Helder, 2021
        (<a href="#" title="On request">pdf</a>, daily supervisor).
 - G. Alberts, "Implementing Asynchronous I/O in iTasks," Master’s Thesis, Radboud University, Nijmegen, 2021
@@ -102,18 +106,30 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
 - W. Schuerman, F. Torreira, and Lubbers, M, “Praatalign: Phonetic Alignment Made Easier For Psycholinguistic Data Processing,” Architectures and Mechanisms for Language Processing, p. 92, 2015.
        ([pdf](files/amlap15.pdf))
 
+### Editor
+
+- P. Koopman, M. Lubbers, and J. P. Fernandes (Eds.), “SusTrainable: Promoting Sustainability as a Fundamental Driver in Software Development Training and Education. Teacher Training, November 1-5, Nijmegen, The Netherlands. Revised lecture notes”. arXiv, 2022. doi: 10.48550/ARXIV.2204.13993 ([pdf](files/tt21.pdf))
+
 ## Teaching
 
-- Compiler construction --- NWI-IMC004 (18/19, 19/20, 20/21, 21/22)
+- 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)
 - 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)
 - Advanced Programming --- NWI-I00032 (18/19)
 
 ## Talks
 
-- 2021-11-04 --- Green Computing for the Internet of Things ([Sustrainable Teacher Training](https://sustrainable.github.io/))
+- 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))
-- 2021-02-17 --- Asynchronous Shared Data Sources ([TFP 2021/LambdaDays 2021](http://tfp2021.org))
+- 2021-02-17 --- Asynchronous Shared Data Sources ([TFP 2021/LambdaDays 2021](http://tfp2021.org), [video](https://youtu.be/ouXBbj5DV5w))
 - 2020-10-06 --- Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software Architectures ([IoT 2020](https://iot-conference.org/iot2020/))
 - 2020-09-02 --- Asynchronous Shared Data Sources ([IFL 2020](https://www.cs.kent.ac.uk/events/2020/ifl20/))
 - 2019-11-18 --- The fun of computing science: footballer brains in SoccerFun ([Proefstudeerdag RU](https://www.ru.nl/opleidingen/bacheloropleidingen/open-dagen-en-studievoorlichting/proefstuderen/))