papers, presentation

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

diff --git a/files/ppdp23.pdf b/files/ppdp23.pdf
index 1b8bcde..da7e088 100644 (file)
Binary files a/files/ppdp23.pdf and b/files/ppdp23.pdf differ

diff --git a/index.md b/index.md
index aab7b64..8b16a91 100644 (file)
--- a/index.md
+++ b/index.md
@@ -11,7 +11,7 @@ language_reference: home
 
 ## Work
 
-- Assistant professor at the Radboud University --- from 2024-01
+- _Assistant professor at the Radboud University --- from 2024-01_
 - Scientific programmer at the TOP Software Technology --- from 2023-06 till 2023-12
 - Researcher at the Radboud University --- from 2023-06 till 2023-08
 - PhD candidate at the Radboud University --- from 2018-06 till 2023-05
@@ -39,11 +39,11 @@ language_reference: home
 ## Publications
 ### Peer reviewed
 
-- 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. Cascais, Lisbon, Portugal, ACM, 2023 (accepted)
+- 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/ppdp23.pdf))
-- M. Lubbers, P. Koopman, and R. Plasmeijer, “First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming,” in Proceedings of the 34st Symposium on Implementation and Application of Functional Languages, in IFL ’22. New York, NY, USA: ACM, 2023. doi: 10.1145/3587216.3587219.
+- M. Lubbers, P. Koopman, and R. Plasmeijer, “First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming,” in Proceedings of the 34st Symposium on Implementation and Application of Functional Languages, in IFL ’22. New York, NY, USA: ACM, 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, doi: 10.1145/3572901.
+- 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.
        ([pdf](files/tfp22a.pdf))
@@ -53,8 +53,8 @@ language_reference: home
        ([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.
        ([pdf](files/ifl19.pdf))
-- M. Lubbers, P. Koopman, and R. Plasmeijer, “Writing Internet of Things applications with Task Oriented Programming,” in Central European Functional Programming School: 8th Summer School, CEFP 2019, Budapest, Hungary, July 17–21, 2019, Revised Selected Papers, Cham: Springer International Publishing, in-press, 2019, p. 51.
-       <!--([pdf](files/cefp19.pdf))-->
+- M. Lubbers, P. Koopman, and R. Plasmeijer, “Writing Internet of Things Applications with Task Oriented Programming,” in Composability, Comprehensibility and Correctness of Working Software, Z. Porkoláb and V. Zsók, Eds., Cham: Springer International Publishing, 2023, pp. 3–52.
+       ([pdf](files/cefp19.pdf))
 - P. Koopman, M. Lubbers, and R. Plasmeijer, “Simulation of a Task-Based Embedded Domain Specific Language for the Internet of Things,” in Central European Functional Programming School: 7th Winter School, CEFP 2018, Košice, Slovakia, January 22–26, 2018, Revised Selected Papers, Cham: Springer International Publishing, in-press, 2018, <!--p. ?-->.
        <!--([pdf](files/cefp18.pdf))-->
 - M. Lubbers, P. Koopman, and R. Plasmeijer, “Multitasking on Microcontrollers using Task Oriented Programming,” in 2019 42st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), Opatija, Croatia, pp. 1587-1592.
@@ -116,8 +116,14 @@ language_reference: home
 - Compiler construction --- NWI-IMC004 (18/19, 19/20, 20/21, 21/22)
 - Advanced Programming --- NWI-I00032 (18/19)
 
+## Activities
+
+- Reviewer for [Computing (Springer)](https://www.springer.com/journal/607)
+- Vice/publicity chair steering committee [IFL](https://www.ifl-symposia.org)
+
 ## Talks
 
+- 2023-11-27 --- Sustainable Software Engineering for the Internet of Things ([BENEVOL 2023](https://benevol2023.github.io/))
 - 2023-10-04 --- Orchestrating the Internet of Things with Task-Oriented Programming ([PhD defense](/en/thesis.html))
 - 2023-07-14 --- Sustainable IoT Programming (lecture and practical) ([SusTrainable 2023](https://sustrainable.dei.uc.pt))
 - 2022-09-02 --- Asynchronous Shared Data Sources ([IFL 2022](https://ifl22.github.io/))