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

10:30 - 12:00: AGERE - Distributed Systems at Cabot
agere-2018-papers10:30 - 11:00
Link to publication DOI File Attached
agere-2018-papers11:00 - 11:30
Kazuhiro ShibanaiTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology
Link to publication DOI
agere-2018-papers11:30 - 12:00
Xin ZhaoKTH Royal Institute of Technology, Philipp HallerKTH, Sweden