update publications

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

diff --git a/index.md b/index.md
index e554287..b6b3eca 100644 (file)
--- a/index.md
+++ b/index.md
@@ -5,8 +5,8 @@ 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))<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>
+`mart@cs.ru.nl`<br />
+<a rel="me" href="https://akademienl.social/@mart">Mastodon</a> <br />
 
 <header>
 ## Table of contents
@@ -55,7 +55,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.
+       <!--([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, Nov. 2022, just-accepted, 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 +78,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).
+       <!--([pdf](files/thesis.pdf))-->
 - 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.
@@ -183,12 +182,12 @@ 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