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
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

13:30 - 15:10: VORTEX 2019 - Session 2 at Bouzy
Chair(s): Radu GrigoreUniversity of Kent
vortex-2019-papers13:30 - 14:15
Sung-Shik JongmansOpen University of the Netherlands
vortex-2019-papers14:15 - 14:45
Giorgio AudritoUniversità di Torino, Ferruccio DamianiUniversity of Turin, Volker StolzHøgskulen på Vestlandet, Mirko ViroliUniversity of Bologna