SPLASH 2018 (series) / AGERE 2018 (series) / AGERE /
Distributed Functional Reactive Programming on Actor-Based Runtime
Mon 5 Nov 2018 11:00 - 11:30 at Cabot - Distributed Systems
Reactive programming over a network is a challenging task because efficient elimination of temporary violations of data flow invariants, known as glitches, in a distributed setting is still an open issue. In this paper, we propose a method for constructing a distributed reactive programming system of which runtime guarantees the properties of single source glitch-freedom and the robustness against out-of-order messages. Based on the method, we developed a purely functional reactive programming language XFRP whose compiler produces Erlang code. Using some examples, we show that the proposed method is beneficial for constructing distributed reactive applications without suffering from inconsistencies.
Mon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00 | |||
10:30 30mTalk | A Configurable Transport Layer for CAF AGERE Link to publication DOI File Attached | ||
11:00 30mTalk | Distributed Functional Reactive Programming on Actor-Based Runtime AGERE Link to publication DOI | ||
11:30 30mTalk | Observable atomic consistency for CvRDTs AGERE |