SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Mon 16 Nov 2020 11:00 - 11:40 at SPLASH-IV - Session 2 Chair(s): Mark Santolucito

Many industrial IoT applications process sensor data over distributed networks to monitor devices in real-time. Since the sensor telemetries are transmitted over networks as events, imperative and event-driven programs are often used to handle IoT data. However, the inverted control flow and shared global states of these imperative programs make them difficult to interface with synchronized computation on IoT data. This problem is further complicated for high-frequency data such as electric signals, which may require dynamic adjustment to data sampling rate to operate under the constraints of network and system.

In this paper, we propose a push-pull reactive programming model for IoT application to address this challenge. This model uses push-streams for asynchronous computation such as data capturing and user controls, and uses pull streams for synchronized computation such as data analysis. This model is simpler than push-based models by avoiding the complexity of glitch prevention through re-sampling in pull-streams. It is also more flexible than pull-based models by allowing dynamic adjustment of the sampling rate to maintain real-time speed of the IoT computation. The push-stream has a monadic interface, which converts to a pull stream through buffering. A pull stream converts to a push-stream when driven by a clock. The dynamic switching of our streams is based on a monadic abstraction called AsyncM that uses continuation passing style, and a form of cancellation token for asynchronous control. Our model is simple and can use threads or event callbacks for concurrency.

Asynchronous Monad for Reactive IoT Programming (Monadic_RP--v3.pdf)619KiB

Mon 16 Nov

Displayed time zone: Central Time (US & Canada) change

11:00 - 12:20
Session 2REBLS at SPLASH-IV
Chair(s): Mark Santolucito Barnard College, Columbia University, USA
11:00
40m
Research paper
Asynchronous Monad for Reactive IoT Programming
REBLS
Tian Zhao University of Wisconsin-Milwaukee, Adam Berger University of Wisconsin -- Milwaukee, Yonglun Li University of Wisconsin -- Milwaukee
File Attached
11:40
40m
Research paper
The essence of live coding: Change the program, keep the state!
REBLS
Manuel Bärenz sonnen eServices GmbH