ECOOP 2019 (series) / VORTEX 2019 (series) / VORTEX 2019: 3rd International Workshop on Verification of Objects at Runtime Execution /
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 JulDisplayed time zone: Belfast change
Fri 19 Jul
Displayed time zone: Belfast change
13:30 - 15:10 | |||
13:30 45mTalk | Invited talk: Monitoring Asynchronous Communications (in Clojure) VORTEX Sung-Shik Jongmans Open University of the Netherlands | ||
14:15 30mTalk | 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 |