Follow
Victor Gomes
Victor Gomes
Research Associate, University of Cambridge
Verified email at cl.cam.ac.uk - Homepage
Title
Cited by
Cited by
Year
Verifying strong eventual consistency in distributed systems
VBF Gomes, M Kleppmann, DP Mulligan, AR Beresford
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017
872017
Exploring C semantics and pointer provenance
K Memarian, VBF Gomes, B Davis, S Kell, A Richardson, RNM Watson, ...
Proceedings of the ACM on Programming Languages 3 (POPL), 1-32, 2019
562019
Building program construction and verification tools from algebraic principles
A Armstrong, VBF Gomes, G Struth
Formal Aspects of Computing 28, 265-293, 2016
482016
Kleene algebra
A Armstrong, G Struth, T Weber
Archive of Formal Proofs 324, 2013
41*2013
Modal Kleene algebra and partial correctness
B Möller, G Struth
Algebraic Methodology and Software Technology: 10th International Conference …, 2004
312004
A program construction and verification tool for separation logic
B Dongol, VBF Gomes, G Struth
Mathematics of Program Construction: 12th International Conference, MPC 2015 …, 2015
302015
Modal Kleene algebra applied to program correctness
VBF Gomes, G Struth
International Symposium on Formal Methods, 310-325, 2016
242016
A highly-available move operation for replicated trees
M Kleppmann, DP Mulligan, VBF Gomes, AR Beresford
IEEE Transactions on Parallel and Distributed Systems 33 (7), 1711-1724, 2021
18*2021
Algebraic principles for rely-guarantee style concurrency verification tools
A Armstrong, VBF Gomes, G Struth
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
172014
Kleene algebra with tests and demonic refinement algebras
A Armstrong, VBF Gomes, G Struth
Archive of Formal Proofs 2014, 2014
162014
Interleaving anomalies in collaborative text editors
M Kleppmann, VBF Gomes, DP Mulligan, AR Beresford
Proceedings of the 6th Workshop on Principles and Practice of Consistency …, 2019
152019
Algebras for program correctness in Isabelle/HOL
A Armstrong, VBF Gomes, G Struth
Relational and Algebraic Methods in Computer Science: 14th International …, 2014
132014
Cerberus-BMC: A principled reference semantics and exploration tool for concurrent and sequential C
S Lau, VBF Gomes, K Memarian, J Pichon-Pharabod, P Sewell
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
122019
Opsets: Sequential specifications for replicated datatypes (extended version)
M Kleppmann, VBF Gomes, DP Mulligan, AR Beresford
arXiv preprint arXiv:1805.04263, 2018
122018
GRID-CITY: A framework to share smart grids communication with smart city applications
GC Heck, R Hexsel, VB Gomes, L Iantorno, LL Junior, T Santana
2021 IEEE International Smart Cities Conference (ISC2), 1-4, 2021
102021
A framework for establishing strong eventual consistency for conflict-free replicated datatypes
VBF Gomes, M Kleppmann, DP Mulligan, AR Beresford
Archive of Formal Proofs 2017, 2017
92017
Lightweight program construction and verification tools in Isabelle/HOL
A Armstrong, VBF Gomes, G Struth
Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014
72014
Linguistic and non-linguistic cues to acquiring the strong distributivity of each
T Knowlton, V Gomes
Proceedings of the Linguistic Society of America 7 (1), 5236, 2022
62022
Partial semigroups and convolution algebras
B Dongol, VBF Gomes, IJ Hayes, G Struth
Archive of Formal Proofs 2017, 2017
62017
Kleene algebras with domain. Archive of Formal Proofs (2016)
VBF Gomes, W Guttmann, P Höfner, G Struth, T Weber
5
The system can't perform the operation now. Try again later.
Articles 1–20