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

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