Fri 19 Jul 2019 13:30 - 14:15 at Bouzy - Session 2 Chair(s): Radu Grigore

A key challenge in concurrent programming is implementing communication protocols among processes: the question is how to ensure that if a send or receive happens in the implementation of a protocol, it is indeed allowed by its specification. In this talk, I will present recent work on using runtime verification techniques to guarantee safety (relative to a protocol specification) of channel-based communications between threads in Clojure, a modern LISP that runs on the JVM. I will give a lightweight formalization of the framework (including basic implementation and specification calculi for protocols), discuss some implementation considerations, demonstrate the tool, and conclude with preliminary benchmark results.

Fri 19 Jul

Displayed time zone: Belfast change

13:30 - 15:10
Session 2VORTEX at Bouzy
Chair(s): Radu Grigore University of Kent
13:30
45m
Talk
Invited talk: Monitoring Asynchronous Communications (in Clojure)
VORTEX
Sung-Shik Jongmans Open University of the Netherlands
14:15
30m
Talk
A Field Calculus Implementation of Spatial Logic
VORTEX
P: Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Volker Stolz Høgskulen på Vestlandet, Mirko Viroli University of Bologna
Pre-print