skip to content

Department of Computer Science and Technology

 

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...