‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Thu 4 Apr 2019 14:00 - 14:30 at Paganini - Language Design and Reactivity Chair(s): Guido Salvaneschi

Context: The term reactivity is popular in two areas of research: programming languages and distributed systems. On one hand, reactive programming is a paradigm which provides programmers with the means to declaratively write event-driven applications. On the other hand, reactive distributed systems handle client requests in a timely fashion regardless of load or failures.

Inquiry: Reactive programming languages and frameworks tailored to the implementation of distributed systems have previously been proposed. However, we argue that these approaches are ill fit to implement reactive distributed systems.

Approach: We analyse state of the art runtimes for distributed reactive programming and identify two key issues with regards to reactive distributed systems. They rely on single, central points of coordination and/or assume a lack of partial failures in the systems they support.

Knowledge: Based on our analysis we propose a novel runtime for distributed reactive programming languages and frameworks. This runtime supports reactive distributed systems by design.

Grounding: We implement a proof of concept framework for reactive distributed systems in JavaScript which builds atop our runtime. Using this framework we implement a case study application which highlights the applicability of our approach. Moreover, we benchmark our runtime against a similar approach in order to showcase its runtime properties and we prove its correctness.

Importance: This work aims to bridge the gap between two kinds of reactivity: reactive distributed systems and distributed reactive programming. Current distributed reactive programming approaches do not support reactive distributed systems. Our runtime is the first to bridge this reactivity gap: it allows for reactive distributed systems to be implemented using distributed reactive programming.

Thu 4 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Language Design and ReactivityResearch Papers at Paganini
Chair(s): Guido Salvaneschi TU Darmstadt
14:00
30m
Talk
Distributed Reactive Programming for Reactive Distributed Systems
Research Papers
Florian Myter Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication DOI Pre-print
14:30
30m
Talk
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design
Research Papers
Joe Gibbs Politz University of California San Diego, United States, Benjamin Lerner Northeastern University, United States, Sorawee Porncharoenwase Brown University, United States, Shriram Krishnamurthi Brown University, United States
Link to publication DOI Pre-print
15:00
30m
Talk
ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations
Research Papers
Tucker Taft AdaCore, United States
Link to publication DOI Pre-print