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 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Distributed SystemsAGERE at Cabot
10:30
30m
Talk
A Configurable Transport Layer for CAF
AGERE
Link to publication DOI File Attached
11:00
30m
Talk
Distributed Functional Reactive Programming on Actor-Based Runtime
AGERE
Kazuhiro Shibanai Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
Link to publication DOI
11:30
30m
Talk
Observable atomic consistency for CvRDTs
AGERE
Xin Zhao KTH Royal Institute of Technology, Philipp Haller KTH, Sweden