.

[phd-thesis.git] / self.bib

diff --git a/self.bib b/self.bib
index a662e88..1fc541e 100644 (file)
--- a/self.bib
+++ b/self.bib
@@ -26,7 +26,7 @@
        publisher = {Springer International Publishing},
        author = {Lubbers, Mart and Koopman, Pieter and Plasmeijer, Rinus},
        year = {2019},
-       note = {in-press},
+       note = {in-press. preprint at: https://arxiv.org/abs/2212.04193},
        pages = {51},
        file = {cefp.pdf:/home/mrl/.local/share/zotero/storage/VEWFI5DG/cefp.pdf:application/pdf},
 }
@@ -153,17 +153,6 @@
        file = {Koopman et al. - 2022 - SusTrainable Promoting Sustainability as a Fundam.pdf:/home/mrl/.local/share/zotero/storage/5F9SRJQI/Koopman et al. - 2022 - SusTrainable Promoting Sustainability as a Fundam.pdf:application/pdf},
 }
 
-@inproceedings{lubbers_deep_2022,
-       address = {Berlin, Heidelberg},
-       title = {Deep {Embedding} with {Class}},
-       booktitle = {Revised {Selected} {Papers} from the 23rd {International} {Symposium} on {Trends} in {Functional} {Programming}, {TFP} 2022, {Online}, 17-18 {March} 2022},
-       publisher = {Springer Berlin Heidelberg},
-       author = {Lubbers, Mart},
-       year = {2022},
-       note = {in-press},
-       pages = {20},
-}
-
 @inproceedings{lubbers_first-class_2022,
        address = {New York, NY, USA},
        series = {{IFL} '22},
@@ -176,17 +165,6 @@
        keywords = {clean, distributed applications, functional programming, internet of things, task oriented programming},
 }
 
-@inproceedings{crooijmans_reducing_2022,
-       address = {Berlin, Heidelberg},
-       title = {Reducing the {Power} {Consumption} of {IoT} with {Task}-{Oriented} {Programming}},
-       booktitle = {Revised {Selected} {Papers} from the 23rd {International} {Symposium} on {Trends} in {Functional} {Programming}, {TFP} 2022, {Online}, 17-18 {March} 2022},
-       publisher = {Springer Berlin Heidelberg},
-       author = {Crooijmans, Sjoerd and Lubbers, Mart and Koopman, Pieter},
-       year = {2022},
-       note = {in-press},
-       pages = {20},
-}
-
 @book{lubbers_orchestrating_2023,
        address = {Nijmegen},
        title = {Orchestrating the {Internet} of {Things} using {Task}-{Oriented} {Programming}},
@@ -220,7 +198,7 @@
        year = {2022},
        note = {Place: New York, NY, USA
 Publisher: Association for Computing Machinery},
-       keywords = {access control, internet-of-things, IoT stacks, policy language, privilege escalation, Smart home system, Tierless languages},
+       keywords = {access control, internet-of-things, policy language, privilege escalation, Smart home system, IoT stacks, Tierless languages},
 }
 
 @inproceedings{koopman_strongly-typed_2022,
@@ -234,3 +212,29 @@ Publisher: Association for Computing Machinery},
        note = {event-place: Kopenhagen, Denmark. under-review},
        keywords = {clean, distributed applications, functional programming, internet of things, task oriented programming},
 }
+
+@inproceedings{lubbers_deep_2022,
+       address = {Cham},
+       title = {Deep {Embedding} with {Class}},
+       isbn = {978-3-031-21314-4},
+       abstract = {The two flavours of DSL embedding are shallow and deep embedding. In functional languages, shallow embedding models the language constructs as functions in which the semantics are embedded. Adding semantics is therefore cumbersome while adding constructs is a breeze. Upgrading the functions to type classes lifts this limitation to a certain extent.},
+       booktitle = {Trends in {Functional} {Programming}},
+       publisher = {Springer International Publishing},
+       author = {Lubbers, Mart},
+       editor = {Swierstra, Wouter and Wu, Nicolas},
+       year = {2022},
+       pages = {39--58},
+}
+
+@inproceedings{crooijmans_reducing_2022,
+       address = {Cham},
+       title = {Reducing the {Power} {Consumption} of {IoT} with {Task}-{Oriented} {Programming}},
+       isbn = {978-3-031-21314-4},
+       abstract = {Limiting the energy consumption of IoT nodes is a hot topic in green computing. For battery-powered devices this necessity is obvious, but the enormous growth of the number of IoT nodes makes energy efficiency important for every node in the IoT. In this paper, we show how we can automatically compute execution intervals for our task-oriented programs for the IoT. These intervals offer the possibility to save energy by bringing the microprocessor driving the IoT node into a low-power sleep mode until the task need to be executed. Furthermore, they offer an elegant way to add interrupts to the system. We do allow an arbitrary number of tasks on the IoT nodes and achieve significant reductions of the energy consumption by bringing the microprocessor in sleep mode as much as possible. We have seen energy reductions of an order of magnitude without imposing any constraints on the tasks to be executed on the IoT nodes.},
+       booktitle = {Trends in {Functional} {Programming}},
+       publisher = {Springer International Publishing},
+       author = {Crooijmans, Sjoerd and Lubbers, Mart and Koopman, Pieter},
+       editor = {Swierstra, Wouter and Wu, Nicolas},
+       year = {2022},
+       pages = {80--99},
+}