Month: August 2017

SREPLS 7 announced

The seventh iteration of the South of England Regional Programming Languages Seminar, to be held at the University of Warwick, has been announced with an open call for participants and speakers ongoing.  See here for more details. SREPLS 7 is being organised by Andrzej Murawski, Sara Kalvala, Michael Gale, and David Purser.  Many thanks to

New paper

“Verifying Strong Eventual Consistency in Distributed Systems”, joint work with Victor B. F. Gomes, Martin Kleppmann, and Alastair R. Beresford. To be presented at the 2017 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA/SPLASH), 2017.