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.