X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=index.md;h=d5542bc7600638896436bf199f54712e1e2554bd;hb=905f9e0a1b835198492eb1fe314c24ea5efd1157;hp=63b905985e1e25ee8c265487c1cd5be7b2b3d16c;hpb=d84df1aee7c3c64d427ad15c062ffdb2f234de07;p=martlubbers.net.git diff --git a/index.md b/index.md index 63b9059..d5542bc 100644 --- a/index.md +++ b/index.md @@ -58,7 +58,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c - 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. +- 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. @@ -71,6 +71,12 @@ 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, “Task Oriented Programming and the Internet of Things,” Master’s Thesis, Radboud University, Nijmegen, 2017. @@ -81,7 +87,7 @@ 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). + ([pdf](files/antonova.pdf), daily supervisor). - A.D. Nederveen, "A Task-Based Approach to the Internal Battle," Master’s Thesis (Military Technology, Processes & Systems), Netherlands Defence Academy, Den Helder, 2021 (pdf, daily supervisor). - G. Alberts, "Implementing Asynchronous I/O in iTasks," Master’s Thesis, Radboud University, Nijmegen, 2021 @@ -121,6 +127,8 @@ 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 --- First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. ([IFL 2022](https://ifl22.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)) @@ -166,7 +174,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ### Tutorials and manuals -- [Wifi roaming without network manager (includes eduroam ru instructions)](nonm.html) (Updated 2020-09-16) +- [Wifi roaming without network manager (includes eduroam ru instructions)](nonm.html) (Updated 2022-10-18) - [Dvorak page](dvorak.html) (Updated 2020-06-11) ### Interests