Victor Gomes
Victor Gomes
Research Associate, University of Cambridge
Email confirmado em cl.cam.ac.uk - Página inicial
Título
Citado por
Citado por
Ano
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
402017
Building program construction and verification tools from algebraic principles
A Armstrong, VBF Gomes, G Struth
Formal Aspects of Computing 28 (2), 265-293, 2016
382016
Kleene algebra
A Armstrong, G Struth, T Weber
Archive of Formal Proofs 324, 2013
34*2013
A program construction and verification tool for separation logic
B Dongol, VBF Gomes, G Struth
International Conference on Mathematics of Program Construction, 137-158, 2015
282015
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
222019
Modal Kleene algebra applied to program correctness
VBF Gomes, G Struth
International Symposium on Formal Methods, 310-325, 2016
162016
Algebraic principles for rely-guarantee style concurrency verification tools
A Armstrong, VBF Gomes, G Struth
International Symposium on Formal Methods, 78-93, 2014
162014
Kleene algebra with tests and demonic refinement algebras
A Armstrong, VBF Gomes, G Struth
Archive of Formal Proofs 2014, 2014
142014
Algebras for program correctness in Isabelle/HOL
A Armstrong, VBF Gomes, G Struth
International Conference on Relational and Algebraic Methods in Computer …, 2014
92014
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
72017
Lightweight program construction and verification tools in Isabelle/HOL
A Armstrong, VBF Gomes, G Struth
International Conference on Software Engineering and Formal Methods, 5-19, 2014
72014
Optimization of a discontinuous Galerkin solver with OpenCL and StarPU
B Bramas, P Helluy, L Mendoza, B Weber
International Journal on Finite Volumes 15 (1), 1-19, 2020
4*2020
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
42019
Opsets: Sequential specifications for replicated datatypes (extended version)
M Kleppmann, VBF Gomes, DP Mulligan, AR Beresford
arXiv preprint arXiv:1805.04263, 2018
42018
Partial semigroups and convolution algebras
B Dongol, VBF Gomes, IJ Hayes, G Struth
Arch. Formal Proofs 2017, 2017
32017
Residuated lattices
VBF Gomes, G Struth
Archive of Formal Proofs, 2016
32016
Algebraic Principles for Program Correctness Tools in Isabelle/HOL.
VBF Gomes
University of Sheffield, 2015
32015
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
International Conference on Computer Aided Verification, 387-397, 2019
22019
The λμ-calculus
C Matache, VBF Gomes, DP Mulligan
Archive of Formal Proofs, 2017
22017
A highly-available move operation for replicated trees and distributed filesystems
M Kleppmann, DP Mulligan, VBF Gomes, AR Beresford
12020
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20