REBLS 2018 – Proceedings

5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS 2018)

Frontmatter

Embedded Systems and IoT

Synthesizing Manually Verifiable Code for Statecharts
Steven Smyth, Christian Motika, and Reinhard von Hanxleden
(University of Kiel, Germany; Philotech Systementwicklung und Software, Germany)


@InProceedings{REBLS18p1, author = {Steven Smyth and Christian Motika and Reinhard von Hanxleden}, title = {Synthesizing Manually Verifiable Code for Statecharts}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3281278.3281283}, year = {2018}, } Publisher's Version

RHEA: A Reactive, Heterogeneous, Extensible, and Abstract Framework for Dataflow Programming
Orestis Melkonian and Angelos Charalambidis
(NCSR, Greece; Utrecht University, Netherlands)


@InProceedings{REBLS18p11, author = {Orestis Melkonian and Angelos Charalambidis}, title = {RHEA: A Reactive, Heterogeneous, Extensible, and Abstract Framework for Dataflow Programming}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {11-10}, doi = {10.1145/3281278.3281279}, year = {2018}, } Publisher's Version

Multitier and Distributed Computing

Reactive Chatbot Programming
Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jérôme Siméon
(IBM Research, USA; Clause, USA)


@InProceedings{REBLS18p21, author = {Guillaume Baudart and Martin Hirzel and Louis Mandel and Avraham Shinnar and Jérôme Siméon}, title = {Reactive Chatbot Programming}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3281278.3281282}, year = {2018}, } Publisher's Version

DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-Based Participatory Sensing Platforms
Jesse Zaman, Kennedy Kambona, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)


@InProceedings{REBLS18p31, author = {Jesse Zaman and Kennedy Kambona and Wolfgang De Meuter}, title = {DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-Based Participatory Sensing Platforms}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3281278.3281285}, year = {2018}, } Publisher's Version

Skitter: A DSL for Distributed Reactive Workflows
Mathijs Saey, Joeri De Koster, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)


@InProceedings{REBLS18p41, author = {Mathijs Saey and Joeri De Koster and Wolfgang De Meuter}, title = {Skitter: A DSL for Distributed Reactive Workflows}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3281278.3281281}, year = {2018}, } Publisher's Version

Visualization, Debugging, and Programming Techniques

Composable Higher-Order Reactors as the Basis for a Live Reactive Programming Environment
Bjarno Oeyen, Humberto Rodriguez Avila, Sam Van den Vonder, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)


@InProceedings{REBLS18p51, author = {Bjarno Oeyen and Humberto Rodriguez Avila and Sam Van den Vonder and Wolfgang De Meuter}, title = {Composable Higher-Order Reactors as the Basis for a Live Reactive Programming Environment}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {51-50}, doi = {10.1145/3281278.3281284}, year = {2018}, } Publisher's Version

A Reactive Language for Analyzing Cloud Logs
Guillaume Baudart, Louis Mandel, Olivier Tardieu, and Mandana Vaziri
(IBM Research, USA)


@InProceedings{REBLS18p61, author = {Guillaume Baudart and Louis Mandel and Olivier Tardieu and Mandana Vaziri}, title = {A Reactive Language for Analyzing Cloud Logs}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3281278.3281280}, year = {2018}, } Publisher's Version

proc time: 0.74