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