Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Tue 1 Nov 2016 10:30 - 10:55 at Lausanne - Session 2

In communication-centric software systems, distributed services concurrently interact by following precise protocols. One approach to certify protocol correctness uses behavioral types to abstract protocols and statically check inter- acting programs. Behavioral types have been widely studied for programming calculi such as the π-calculus, which lack constructs for specifying reactive behavior, an increasingly relevant feature in many real-life interaction scenarios.

In this paper, we explore the use of the synchronous reactive programming paradigm as a uniform foundation for communication-centric programs. We focus on session types, a widely studied class of behavioral types, and on session-based concurrency, its associated computation model. We present an interpretation (formal translation) of session-based concurrency into ReactiveML, a synchronous reactive language. Our approach uniformly integrates communication, and timed and reactive behavior in concurrent programs which are more natural and concise than π-calculus specifications. To our knowledge, this is the first implementation of sessions in a synchronous reactive programming language.

Tue 1 Nov

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

10:30 - 12:10
Session 2REBLS at Lausanne
10:30
25m
Talk
A Reactive Interpretation of Session-Based Concurrency (In Progress Paper)
REBLS
Jaime Arias INRIA Grenoble Rhône-Alpes, Mauricio Cano , Jorge A. Pérez University of Groningen, The Netherlands
Pre-print
10:55
25m
Talk
Synchronous-Reactive Web Programming
REBLS
Rémy El Sibaïe UPMC, France, Emmanuel Chailloux UPMC, France
DOI
11:20
25m
Talk
Towards a Comprehensive Multitier Reactive Language
REBLS
Pascal Weisenburger , Guido Salvaneschi TU Darmstadt, Germany
11:45
25m
Talk
I Now Pronounce You Reactive and Consistent: Handling Distributed and Replicated State in Reactive Programming
REBLS
Florian Myter Vrije Universiteit Brussel, Belgium, Tim Coppieters Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium
Link to publication DOI