Victor B. F. Gomes

24 papers B 5C 1Journal 16Unranked 2

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