X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=index.md;h=51c45d4ed1344562b72cdaa4a70b6f7a7a632d5b;hb=3858137426da65b9a3f75a3ca345aec09cddd090;hp=e5542870177463b095e8fdb86a262064b951a357;hpb=cd11b4606a42517b90c155bf9a9c0138afb510c4;p=martlubbers.net.git
diff --git a/index.md b/index.md
index e554287..51c45d4 100644
--- a/index.md
+++ b/index.md
@@ -5,8 +5,10 @@ title: Mart Lubbers' website
{% include img.html alt='A photo of Mart Lubbers' img='p' %}
PhD candidate at the [Institute of Computing and Information Sciences](https://cs.ru.nl) ([Radboud University](https://ru.nl))
`mart@martlubbers.net` (GPG: AD3FEBE7)
-`mart@cs.ru.nl`
-Mastodon
+`mart@cs.ru.nl`
+gitlab,
+dblp,
+Mastodon
## Table of contents
@@ -55,7 +57,10 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
## Publications
### Peer reviewed
-- 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.
+- M. Lubbers, P. Koopman, and R. Plasmeijer, âFirst-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming,â in Proceedings of the 34th Symposium on the Implementation and Application of Functional Programming Languages, Kopenhagen, in-press, 2023, p. 12.
+
+- 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.
+ ([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))
- 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.
@@ -75,14 +80,10 @@ 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, âOrchestrating the Internet of Things with Task-Oriented Programming,â PhD Thesis, Radboud University, Nijmegen, 2023 (expected).
+
- M. Lubbers, âTask Oriented Programming and the Internet of Things,â Masterâs Thesis, Radboud University, Nijmegen, 2017.
([pdf](files/master.pdf))
- M. Lubbers, âAdaptable crawler specification generation system for leisure activity RSS feeds,â Bachelor's Thesis, Radboud University, Nijmegen, 2015.
@@ -171,8 +172,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
### Software, libraries and projects
-- [m](https://github.com/dopefishh/m) --- `m' is for music, an extremely fast music indexer written in plain C.
-- [cloogle](https://github.com/dopefishh/cloogle) --- Cloogle, a hoogle clone for clean. [Live version here](http://cloogle.org).
+- [mTask](https://gitlab.com/mtask) --- a TOP framework for the Internet of Things integrated in iTasks.
- [praatalign](https://github.com/dopefishh/praatalign) --- An interactive praat forced aligner, easily extensible for more languages.
- [pympi](https://github.com/dopefishh/pympi) --- A python toolkit to interact with Praat and Elan files.
@@ -183,16 +183,21 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
### Interests
-[Wildplukken](foerageer.html),
+Running,
+Wildplukken,
Reading,
Heavy metal music,
Hacking,
-[Kung fu](http://www.howchuenmonkeykungfu.nl),
-[Linux](http://linuxnijmegen.nl),
+Linux,
[Å¿-homografen](langes.html).
### Archive
+#### Software
+- [m](https://github.com/dopefishh/m) --- `m' is for music, an extremely fast music indexer written in plain C.
+
+#### Pages
+
[Using a HP t5710 thin client as a retro system](archive/thin.html)
[LeJoS on ubuntu](archive/lejos-ubuntu.html),
[Play youtube videos on headless machine](archive/youtube-term.html),