From: Mart Lubbers Date: Wed, 3 Sep 2025 11:09:24 +0000 (+0000) Subject: mipro X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=refs%2Fheads%2Fmain;p=martlubbers.net.git mipro --- diff --git a/files/mipro25.pdf b/files/mipro25.pdf new file mode 100644 index 0000000..0754202 Binary files /dev/null and b/files/mipro25.pdf differ diff --git a/index.md b/index.md index 67f7aa7..ff52959 100644 --- a/index.md +++ b/index.md @@ -45,9 +45,9 @@ language_reference: home ### Peer reviewed -- P. Medur, M. Lubbers, G. Mauša, “Optimizing Keyword Spotting Classifier based on Tiny Machine Learning for Low-Power Embedded Devices,” in 2025 48st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), Opatija, Croatia. - -- N. Janssen, M. Lubbers, and P. Koopman, ̈́“Communication for Task-Oriented Systems with Edge Devices,” In: Trends in Functional Programming. TFP 2025. +- P. Medur, M. Lubbers, and G. Mauša, “Optimizing Keyword Spotting Classifier Based on Tiny Machine Learning for Low-Power Embedded Devices”, in 2025 MIPRO 48th ICT and Electronics Convention, 2025, pp. 186–191. + ([pdf](files/mipro25.pdf)) +- N. Janssen, M. Lubbers, and P. Koopman, “Communication for Task-Oriented Systems with Edge Devices,” In: Trends in Functional Programming. TFP 2025. ([pdf](files/tfp25.pdf)) - S. Li, P. Trinder, C. De Troyer, M. Lubbers, and A. Ramsingh, “The Benefits of Tierless Elixir/Potato for Engineering IoT Systems,” in Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, in Erlang 2024. New York, NY, USA: Association for Computing Machinery, 2024, pp. 84–95. ([pdf](files/erlang24.pdf)) @@ -78,7 +78,7 @@ language_reference: home ### Other -- M. Lubbers and P. Achten, “Clean for Haskell Programmers”. 2024. [Online]. Available: https://arxiv.org/abs/2411.00037 +- M. Lubbers and P. Achten, “Clean for Haskell Programmers”. 2024. [Online]. Available: [https://arxiv.org/abs/2411.00037](https://arxiv.org/abs/2411.00037) ### Theses @@ -93,9 +93,11 @@ language_reference: home #### Current -- PhD: Niek Janssen, and Benedikt Rips -- MSc: Elina Antonova -- BSc: Niek Adams, Matej Hora +- PhD: Niek Janssen and Benedikt Rips +- MSc. Dante van Gemert +- Internship: Madelief Slaats +- BSc: Ard van der Putten, Patricia Ojeda Velázquez, Peter Klein Haneveld, + Joost van Esch #### Past @@ -116,6 +118,8 @@ language_reference: home - R. van Rooijen, ‘Model Learning of Lexers’, Bachelor’s Thesis, Radboud University, Nijmegen, 2024. - P. van den Bosch, ‘Decompilation of Kasada’s JavaScript Virtual machine’, Bachelor’s Thesis, Radboud University, Nijmegen, 2025. - S. Vos, ‘Running iTasks tasks in the browser’, Bachelor’s Thesis, Radboud University, Nijmegen, 2025. +- M. Hora, ‘Grafting Dynamic Editor Trees’, Bachelor’s Thesis, Radboud University, Nijmegen, 2025. + ### Posters @@ -131,41 +135,31 @@ language_reference: home ## Teaching -- 2024/2025 - - Compiler construction --- NWI-IMC004 - - New Devices Lab --- NWI-IBC031 -- 2023/2024 - - Compiler construction --- NWI-IMC004 -- Earlier: +- Compiler Construction (M) --- NWI-IMC004, 2018-2021, 2023-now +- New Devices Lab (B2) --- NWI-IBC031, 2020-2022, 2024-now +- Sustainable IoT Programming ([SusTrainable 2023](https://sustrainable.dei.uc.pt/) summer school in Coimbra, Portugal, 2023) +- Green Computing for the IoT ([SusTrainable 2022](https://sustrainable.uniri.hr/) summer school in Rijeka, Croatia, 2022) +- Task Oriented Programming for the Internet of Things ([3COWS/CEFP](https://people.inf.elte.hu/cefp/) summer school in Budapest, Hungary, 2019)
-- 2022/2023 - - New Devices Lab --- NWI-IBC031 - - Sustainable IoT Programming ([SusTrainable 2023](https://sustrainable.dei.uc.pt/) summer school in Coimbra, Portugal, 2023) -- 2021/2022 - - New Devices Lab --- NWI-IBC031 - - Compiler construction --- NWI-IMC004 - - Green Computing for the IoT ([SusTrainable 2022](https://sustrainable.uniri.hr/) summer school in Rijeka, Croatia, 2022) -- 2020/2021 - - New Devices Lab --- NWI-IBC031 - - Compiler construction --- NWI-IMC004 -- 2019/2020 - - Computers en Programmeren --- TCP1 (practicals only) 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 -- 2018/2019 - - Compiler construction --- NWI-IMC004 - - Advanced Programming --- NWI-I00032 (tutorials only) +- Computers en Programmeren --- TCP1 (practicals only), 2019 at the [NLDA](https://www.defensie.nl/onderwerpen/defensieacademie) +- Advanced Programming --- NWI-I00032 (tutorials only), 2018
## Activities -- Program committee [IFL2025](https://www.fing.edu.uy/inco/congresos/ifl2025), 2025 -- Program committee [CompSys](https://www.compsys.science/conference/current/), 2025 -- Program committee [TFPiE](https://wiki.tfpie.science.ru.nl/Main_Page), 2025 -- Program chair and host [IFL 2024](https://ifl24.cs.ru.nl/), 2024 -- Vice/publicity chair steering committee [IFL](https://www.ifl-symposia.org), 2024--2028 -- Reviewer for [Computing (Springer)](https://www.springer.com/journal/607), - [Sustrainable 2022 (Springer)](https://sustrainable.uniri.hr/). +- PC member: + [TFP'26](https://trendsfp.github.io/), + [IFL'25](https://www.fing.edu.uy/inco/congresos/ifl2025), + [CompSys](https://www.compsys.science/conference/current/), + [TFPiE'25](https://trendsfp.github.io/) +- PC chair: + [TFPiE'26](https://wiki.tfpie.science.ru.nl/TFPIE2026) + [IFL'24](https://ifl24.cs.ru.nl/), +- Vice/publicity chair SC [IFL](https://www.ifl-symposia.org), 2024--2028 +- Reviewer for + [Scheme 2025](https://conf.researchr.org/home/icfp-splash-2025/scheme-2025), + [Computing (Springer)](https://www.springer.com/journal/607), + [Sustrainable 2022 (Springer)](https://sustrainable.uniri.hr/). ## Talks