Victor B. F. Gomes

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 16

Top Topics

Interval Algebra

Replicated Data

Construction Industry

Top Venues

Arch. Formal Proofs

Proc. ACM Program. Lang.

Publications

Martin Kleppmann, Dominic P. Mulligan, Victor B. F. Gomes, Alastair R. Beresford
A Highly-Available Move Operation for Replicated Trees. IEEE Trans. Parallel Distributed Syst. 33 (7) (2022)
Stella Lau, Victor B. F. Gomes, Kayvan Memarian, Jean Pichon-Pharabod, Peter Sewell
Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C. CAV (1) (2019)
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford
Interleaving anomalies in collaborative text editors. PaPoC@EuroSys (2019)
Kayvan Memarian, Victor B. F. Gomes, Brooks Davis, Stephen Kell, Alexander Richardson, Robert N. M. Watson, Peter Sewell
Exploring C semantics and pointer provenance. Proc. ACM Program. Lang. 3 (POPL) (2019)
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford
OpSets: Sequential Specifications for Replicated Datatypes (Extended Version). CoRR (2018)
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford
OpSets: Sequential Specifications for Replicated Datatypes. Arch. Formal Proofs 2018 (2018)
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
Verifying strong eventual consistency in distributed systems. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
Verifying Strong Eventual Consistency in Distributed Systems. CoRR (2017)
Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan
Programming and Proving with Classical Types. APLAS (2017)
Brijesh Dongol, Victor B. F. Gomes, Ian J. Hayes, Georg Struth
Partial Semigroups and Convolution Algebras. Arch. Formal Proofs 2017 (2017)
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes. Arch. Formal Proofs 2017 (2017)
Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan
The LambdaMu-calculus. Arch. Formal Proofs 2017 (2017)
Victor B. F. Gomes, Georg Struth
Modal Kleene Algebra Applied to Program Correctness. FM (2016)
Victor B. F. Gomes, Georg Struth
Program Construction and Verification Components Based on Kleene Algebra. Arch. Formal Proofs 2016 (2016)
Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark Weber
Kleene Algebras with Domain. Arch. Formal Proofs 2016 (2016)
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
Building program construction and verification tools from algebraic principles. Formal Aspects Comput. 28 (2) (2016)
Victor B. F. Gomes, Georg Struth
Residuated Lattices. Arch. Formal Proofs 2015 (2015)
Brijesh Dongol, Victor B. F. Gomes, Georg Struth
A Program Construction and Verification Tool for Separation Logic. MPC (2015)
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. FM (2014)
Brijesh Dongol, Victor B. F. Gomes, Georg Struth
Principles for Verification Tools: Separation Logic. CoRR (2014)
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
Kleene Algebra with Tests and Demonic Refinement Algebras. Arch. Formal Proofs 2014 (2014)
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
Lightweight Program Construction and Verification Tools in Isabelle/HOL. SEFM (2014)
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
Algebras for Program Correctness in Isabelle/HOL. RAMiCS (2014)
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. CoRR (2013)