Sun 4 Nov 2018 11:15 - 11:37 at Cambridge - Embedded, IoT / Multitier, Distributed Chair(s): Tetsuo Kamina

Robotics and IoT applications are perfect candidates that can benefit from the functional reactive programming paradigm. Moreover, since a typical program can be represented as a dataflow graph, the application can be conceptually separated and distributed in different machines and the several graph partitions can run in parallel and possibly in different execution stacks. In this paper we propose a general-purpose reactive framework that can express complex applications, seamlessly and transparently integrating different sources and middlewares. The framework is abstract and extensible, making it easy to integrate with well-established technologies that rely on the PubSub model. We demonstrate the usability of the framework by providing application examples in the domain of robotics and IoT.

Pre-Print (rhea.pdf)193KiB
Slides (presentation.pdf)188KiB

Sun 4 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Embedded, IoT / Multitier, DistributedREBLS at Cambridge
Chair(s): Tetsuo Kamina Oita University
10:30
22m
Talk
Where Do Events Come From? Reactive and Energy-Efficient Programming From The Ground Up
REBLS
Francisco Sant'Anna Rio de Janeiro State University, Alexandre Sztajnberg Rio de Janeiro State University
File Attached
10:52
22m
Talk
Synthesizing Manually Verifiable Code for Statecharts
REBLS
Steven Smyth Kiel University, Christian Motika Philotech Systementwicklung und Software GmbH, Reinhard von Hanxleden Kiel University
File Attached
11:15
22m
Talk
RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming
REBLS
Orestis Melkonian University of Utrecht, Angelos Charalambidis NCSR "Demokritos''
File Attached
11:37
22m
Talk
Reactive Chatbot Programming
REBLS
Guillaume Baudart IBM Research, Martin Hirzel IBM Research, Louis Mandel IBM Research, Avraham Shinnar IBM Research, Jerome Simeon Clause
File Attached