Department researchers Victor Gomes, Martin Kleppmann, Dominic Mulligan, and Alastair Beresford have been awarded both a distinguished paper award and a distinguished artefact award for their paper “Verifying strong evential consistency in distributed systems” at the ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) 2017.
In this paper, the researchers investigated the correctness of algorithms for achieving data consistency in collaborative applications. Many such algorithms have been proposed in the past but later turned out to be incorrect. To rule out such mistakes in the future, Gomes et al. developed formal proofs of correctness, ensuring that data consistency is preserved in all circumstances.