publications

diff --git a/files/tfp22a.pdf b/files/tfp22a.pdf
new file mode 100644 (file)
index 0000000..4effc07
Binary files /dev/null and b/files/tfp22a.pdf differ

diff --git a/files/tfp22b.pdf b/files/tfp22b.pdf
new file mode 100644 (file)
index 0000000..badfd3f
Binary files /dev/null and b/files/tfp22b.pdf differ

diff --git a/index.md b/index.md
index d5542bc..e554287 100644 (file)
--- a/index.md
+++ b/index.md
@@ -6,6 +6,7 @@ title: Mart Lubbers' website
 PhD candidate at the [Institute of Computing and Information Sciences](https://cs.ru.nl) ([Radboud University](https://ru.nl))<br />
 `mart@martlubbers.net` (GPG: <a href="http://martlubbers.net/mart@martlubbers.net.asc" title="Fingerprint: 74FF FBF1 4758 273B 2F56  A30C A937 B7A1 AD3F EBE7" style="font-family:monospace">AD3FEBE7</a>)<br />
 `mart@cs.ru.nl`
+<a rel="me" href="https://akademienl.social/@mart">Mastodon</a>
 
 <header>
 ## Table of contents
@@ -54,8 +55,11 @@ 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, “Could Tierless Languages Reduce IoT Development Grief?”, ACM Trans. Internet of Things, in-press 2022, p. 35.
+- 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.
@@ -119,7 +123,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 +131,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))