Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Wed 23 Oct 2019 11:30 - 12:00 at Templars - Onward! Papers 1 Chair(s): Wolfgang De Meuter

As reactive systems such as cyber physical systems and the Internet of Things are becoming increasingly important, time-varying values, also known as signals, have been playing an important role in the software development. Even though reactive systems require change histories of some signals to be stored for many purposes such as post analysis and simulation, existing programming languages still do not provide a way to declare signals to be persistent. This paper proposes an approach to realize the persistent signals in a reactive programming language where (1) every update in each persistent signal is recorded in the time-series database, which can be seen as a part of the programming language runtime; and (2) the persistent signal supports a convenient time-oriented query mechanism. In this approach, each signal in the reactive programming language is seamlessly connected with the time-series database. This idea is implemented as an extension of SignalJ, a Java-based reactive programming language that supports signals, where the persistent signal mechanism is integrated with TimescaleDB, a PostgreSQL-based time-series database. Preliminary performance evaluations show that our implementation is mostly responsive, indicating its feasibility in many applications.

Wed 23 Oct

Displayed time zone: Beirut change

11:00 - 12:30
Onward! Papers 1Onward! Papers at Templars
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel
11:00
30m
Talk
Deployable Probabilistic Programming
Onward! Papers
11:30
30m
Talk
An Approach for Persistent Time-Varying Values
Onward! Papers
Tetsuo Kamina Oita University, Tomoyuki Aotani Tokyo Institute of Technology
12:00
30m
Talk
Callʐ: An Effect System for Method Calls
Onward! Papers
Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Marco Servetto Victoria University Wellington, New Zealand