start with outline and fill in some data
[phd-thesis.git] / thesis.bib
1
2 @inproceedings{lubbers_multitasking_2019,
3 address = {Opatija, Croatia},
4 title = {Multitasking on {Microcontrollers} using {Task} {Oriented} {Programming}},
5 copyright = {All rights reserved},
6 shorttitle = {Multitasking on {Microcontrollers} using {TOP}},
7 doi = {10.23919/MIPRO.2019.8756711},
8 booktitle = {2019 42nd {International} {Convention} on {Information} and {Communication} {Technology}, {Electronics} and {Microelectronics} ({MIPRO})},
9 author = {Lubbers, M. and Koopman, P. and Plasmeijer, R.},
10 month = may,
11 year = {2019},
12 pages = {1587--1592},
13 file = {08756711.pdf:/home/mrl/.local/share/zotero/storage/4S44JZPK/08756711.pdf:application/pdf;mipro_2019_proceedings.pdf:/home/mrl/.local/share/zotero/storage/5FFJLMTG/mipro_2019_proceedings.pdf:application/pdf;03_4cows_5338.pdf:/home/mrl/.local/share/zotero/storage/3QJTF5HT/03_4cows_5338.pdf:application/pdf}
14 }
15
16 @inproceedings{lubbers_task_2018,
17 address = {Lowell, MA},
18 title = {Task {Oriented} {Programming} and the {Internet} of {Things}},
19 copyright = {All rights reserved},
20 isbn = {978-1-4503-7143-8},
21 doi = {10.1145/3310232.3310239},
22 abstract = {In the omnipresent Internet of Things (IoT), tiny devices sense and alter the environment, process information and communicate with the world. These devices have limited amounts of processing power and memory. This imposes severe restrictions on their software and communication protocols. As a result, applications are composed of parts written in various programming languages that communicate in many different ways. This impedance mismatch hampers development and maintenance. In previous work we have shown how an IoT device can be programmed by defining an embedded Domain Specific Language (eDSL). In this paper we show how IoT tasks can be seemlessly integrated with a Task Oriented Programming (TOP) server such as iTasks. It allows the specification on a high-level of abstraction of arbitrary collaborations between human beings, large systems, and now also IoT devices. The implementation is made in three steps. First, there is an interface to connect devices dynamically to an iTasks server using various communication protocols. Next, we solve the communication problem between IoT devices and the server by porting Shared Data Sources (SDSs) from TOP. As a result, data can be shared, viewed and updated from the server or IoT device. Finally, we crack the maintenance problem by switching from generating fixed code for the IoT devices to dynamically shipping code. It makes it possible to run multiple tasks on an IoT device and to decide at runtime what tasks that should be.},
23 language = {en},
24 booktitle = {Proceedings of the 30th {Symposium} on the {Implementation} and {Application} of {Functional} {Programming} {Languages}},
25 publisher = {ACM},
26 author = {Lubbers, Mart and Koopman, Pieter and Plasmeijer, Rinus},
27 year = {2018},
28 pages = {83--94},
29 file = {Lubbers et al. - 2018 - Task Oriented Programming and the Internet of Thin.pdf:/home/mrl/.local/share/zotero/storage/3E5KLI5V/Lubbers et al. - 2018 - Task Oriented Programming and the Internet of Thin.pdf:application/pdf}
30 }
31
32 @mastersthesis{lubbers_task_2017,
33 address = {Nijmegen},
34 title = {Task {Oriented} {Programming} and the {Internet} of {Things}},
35 copyright = {All rights reserved},
36 shorttitle = {{TOP} and the {IoT}},
37 school = {Radboud University},
38 author = {Lubbers, Mart},
39 year = {2017},
40 file = {thesis.pdf:/home/mrl/.local/share/zotero/storage/M49MWHPX/thesis.pdf:application/pdf}
41 }
42
43 @incollection{lubbers_writing_2019,
44 address = {Cham},
45 title = {Writing {Internet} of {Things} applications with {Task} {Oriented} {Programming}},
46 abstract = {The Internet of Things (IOT) is growing fast. In 2018, there was approximately one connected device per person on earth and the number has been growing ever since. The devices interact with the environment via different modalities at the same time using sensors and actuators making the programs parallel. Yet, writing this type of programs is difficult because the devices have little computation power and memory, the platforms are heterogeneous and the languages are low level. Task Oriented Programming (TOP) is a novel declarative programming language paradigm that is used to express coordination of work, collaboration of users and systems, the distribution of shared data and the human computer interaction. The mTask language is a specialized, yet full-fledged, multi-backend TOP language for IOT devices. With the bytecode interpretation backend and the integration with iTasks, tasks can be executed on the device dynamically. This means that —according to the current state of affairs— tasks can be tailor-made at run time, compiled to device-agnostic bytecode and shipped to the device for interpretation. Tasks sent to the device are fully integrated in iTasks to allow every form of interaction with the tasks such as observation of the task value and interaction with Shared Data Sources (SDSs). The application is —server and devices— are programmed in a single language, albeit using two embedded Domain Specific Languages (EDSLs).},
47 language = {en},
48 booktitle = {Central {European} {Functional} {Programming} {School}: 8th {Summer} {School}, {CEFP} 2019, {Budapest}, {Hungary}, {July} 1721, 2019, {Revised} {Selected} {Papers}},
49 publisher = {Springer International Publishing},
50 author = {Lubbers, Mart and Koopman, Pieter and Plasmeijer, Rinus},
51 year = {2019},
52 pages = {51},
53 file = {Lubbers - Writing Internet of Things applications with Task .pdf:/home/mrl/.local/share/zotero/storage/ILZIBYW5/Lubbers - Writing Internet of Things applications with Task .pdf:application/pdf}
54 }
55
56 @inproceedings{lubbers_interpreting_2019,
57 address = {Singapore},
58 title = {Interpreting {Task} {Oriented} {Programs} on {Tiny} {Computers}},
59 copyright = {All rights reserved},
60 language = {en},
61 booktitle = {Proceedings of the 31th {Symposium} on the {Implementation} and {Application} of {Functional} {Programming} {Languages}},
62 publisher = {ACM},
63 author = {Lubbers, Mart and Koopman, Pieter and Plasmeijer, Rinus},
64 year = {2019},
65 pages = {12},
66 file = {pre-conference-proceedings.pdf:/home/mrl/.local/share/zotero/storage/E4R53TGR/pre-conference-proceedings.pdf:application/pdf;Lubbers et al. - 2020 - Interpreting Task Oriented Programs on Tiny Comput.pdf:/home/mrl/.local/share/zotero/storage/8QXYMUIX/Lubbers et al. - 2020 - Interpreting Task Oriented Programs on Tiny Comput.pdf:application/pdf}
67 }
68
69 @inproceedings{koopman_task-based_2018,
70 address = {Vienna, Austria},
71 title = {A {Task}-{Based} {DSL} for {Microcomputers}},
72 copyright = {All rights reserved},
73 isbn = {978-1-4503-6355-6},
74 url = {http://dl.acm.org/citation.cfm?doid=3183895.3183902},
75 doi = {10.1145/3183895.3183902},
76 abstract = {The Internet of Things, IoT, makes small connected computing devices almost omnipresent. These devices have typically very limited computing power and severe memory restrictions to make them cheap and power efficient. These devices can interact with the environment via special sensors and actuators. Since each device controls several peripherals running interleaved, the control software is quite complicated and hard to maintain. Task Oriented Programming, TOP, offers lightweight communicating threads that can inspect each other’s intermediate results. This makes it well suited for the IoT. In this paper presents a functional task-based domain specific language for these IoT devices. We show that it yields concise control programs. By restricting the datatypes and using strict evaluation these programs fit within the restrictions of microcontrollers.},
77 language = {en},
78 urldate = {2019-01-14},
79 booktitle = {Proceedings of the {Real} {World} {Domain} {Specific} {Languages} {Workshop} 2018 on - {RWDSL2018}},
80 publisher = {ACM Press},
81 author = {Koopman, Pieter and Lubbers, Mart and Plasmeijer, Rinus},
82 year = {2018},
83 pages = {1--11},
84 file = {a4-Koopman.pdf:/home/mrl/.local/share/zotero/storage/TXZD529C/a4-Koopman.pdf:application/pdf;Koopman et al. - 2018 - A Task-Based DSL for Microcomputers.pdf:/home/mrl/.local/share/zotero/storage/9ETMTMX2/Koopman et al. - 2018 - A Task-Based DSL for Microcomputers.pdf:application/pdf}
85 }
86
87 @inproceedings{lubbers_tiered_2020,
88 address = {Malmö},
89 series = {{IoT} '20},
90 title = {Tiered versus {Tierless} {IoT} {Stacks}: {Comparing} {Smart} {Campus} {Software} {Architectures}},
91 isbn = {978-1-4503-8758-3},
92 url = {https://doi.org/10.1145/3410992.3411002},
93 doi = {10.1145/3410992.3411002},
94 abstract = {Internet of Things (IoT) software stacks are notoriously complex, conventionally comprising multiple tiers/components and requiring that the developer not only uses multiple programming languages, but also correctly interoperate the components. A novel alternative is to use a single tierless language with a compiler that generates the code for each component, and for their correct interoperation.We report the first ever systematic comparison of tiered and tierless IoT software architectures. The comparison is based on two implementations of a non-trivial smart campus application. PRSS has a conventional tiered Python-based architecture, and Clean Wemos Super Sensors (CWSS) has a novel tierless architecture based on Clean and the iTask and mTask embedded DSLs. An operational comparison of CWSS and PRSS demonstrates that they have equivalent functionality, and that both meet the University of Glasgow (UoG) smart campus requirements.Crucially, the tierless CWSS stack requires 70\% less code than the tiered PRSS stack. We analyse the impact of the following three main factors. (1) Tierless developers need to manage less interoperation: CWSS uses two DSLs in a single paradigm where PRSS uses five languages and three paradigms. (2) Tierless developers benefit from automatically generated, and hence correct, communication. (3) Tierless developers can exploit the powerful high-level abstractions such as Task Oriented Programming (TOP) in CWSS. A far smaller and single paradigm codebase improves software quality, dramatically reduces development time, and improves the maintainability of tierless stacks.},
95 booktitle = {Proceedings of the 10th {International} {Conference} on the {Internet} of {Things}},
96 publisher = {Association for Computing Machinery},
97 author = {Lubbers, Mart and Koopman, Pieter and Ramsingh, Adrian and Singer, Jeremy and Trinder, Phil},
98 year = {2020},
99 note = {event-place: Malmö, Sweden},
100 keywords = {domain specific languages, internet of things, network reliability, software architectures},
101 file = {Lubbers et al. - 2020 - Tiered versus Tierless IoT Stacks Comparing Smart.pdf:/home/mrl/.local/share/zotero/storage/YY3MJRZ6/Lubbers et al. - 2020 - Tiered versus Tierless IoT Stacks Comparing Smart.pdf:application/pdf}
102 }