Invited talk: Monitoring Asynchronous Communications (in Clojure)
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
|13:30 - 14:15|
Sung-Shik JongmansOpen University of the Netherlands
|14:15 - 14:45|
Giorgio AudritoUniversità di Torino, Ferruccio DamianiUniversity of Turin, Volker StolzHøgskulen på Vestlandet, Mirko ViroliUniversity of BolognaPre-print