56 citations · 60 across the 4 of their papers we have counts for
4 papers
OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan +1
We introduce OpSets, an executable framework for specifying and reasoning about the semantics of replicated datatypes that provide eventual consistency in a distributed system, and…
Verifying Strong Eventual Consistency in Distributed Systems
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan +1
Data replication is used in distributed systems to maintain up-to-date copies of shared data across multiple computers in a network. However, despite decades of research, algorithm…
Principles for Verification Tools: Separation Logic
Brijesh Dongol, Victor B. F. Gomes, Georg Struth
A principled approach to the design of program verification and con- struction tools is applied to separation logic. The control flow is modelled by power series with convolution a…
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
We provide simple equational principles for deriving rely-guarantee-style inference rules and refinement laws based on idempotent semirings. We link the algebraic layer with concre…