SREPLS 9 will be held on Friday 25th May 2018 at the University of Sussex at Brighton. The event is being organised by Martin Berger. See the SREPLS 9 homepage here for more details.
SREPLS 8 was held on Friday 5th January at King’s College, London, and attracted around 50 participants. Thanks to Laurie Tratt and Lukas Diekmann for organising another great event, as well as all speakers and attendees for contributing to the event.
I am now a Senior Formal Verification Researcher within the Security and Cryptography Group at ARM Research, Cambridge.
The paper “Verifying strong eventual consistency in distributed systems” and the accompanying Isabelle formalisation has been honoured with two separate awards at the OOPSLA/SPLASH conference:
- A distinguished paper award for the paper itself.
- A distinguished artefact award for the Isabelle formalisation accompanying the work (5 out of 34 artefacts granted a distinction).
This was joint work with Victor Gomes, Martin Kleppmann, and Alastair Beresford.
S-REPLS 7, held at the University of Warwick, and organised by Michael Gale, Sara Kalvala, Andrzej Murawski, and David Purser, was another success. Around 50 people attended the event. See the S-REPLS website here for more details of the talks presented.
I am happy to announce that from 1st November 2017 I will be joining ARM Research, Cambridge.
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 the organisers for agreeing to host an event!
“Programming and proving with classical types”, joint work with Cristina Matache and Victor B. F. Gomes.
To appear at the 15th Asian Symposium on Programming Languages and Systems (APLAS), 2017.
“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.