Where Do Events Come From? Reactive and Energy-Efficient Programming From The Ground Up
In reactive and event-based systems, execution is guided by an external environment that generates inputs to the application and is affected by outputs from it. Reactive languages provide dedicated syntax and semantics to deal with events and greatly simplify the programming experience in this domain. Nevertheless, the environment is typically prefabricated in a host language and the very central concept of events is implemented externally to the reactive language. In this work, we propose an interrupt handler primitive for a reactive language that targets embedded systems in order to take control of the whole event loop, from input generation up to output effects. We propose the new asynchronous primitive in the context of the synchronous language Céu and discuss how they synergize to prevent runtime race conditions at compile time, support lexically-scoped drivers, and provide automatic standby for applications.
Pre-Print (paper.pdf) | 245KiB |
Slides (ceu-rebls-isrs-18.pdf) | 438KiB |
Sun 4 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00 | |||
10:30 22mTalk | 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 22mTalk | 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 22mTalk | RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming REBLS File Attached | ||
11:37 22mTalk | 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 |