Victor B. F. Gomes

Exploring C semantics and pointer provenance

Kayvan Memarian, Victor B. F. Gomes, Brooks Davis et al. · Proceedings of the ACM on Programming Languages · 2019 · 53 citations · Full text

Computing, Computer Engineering, Computer Science +17

Building program construction and verification tools from algebraic principles

Alasdair Armstrong, Victor B. F. Gomes, Georg Struth · Formal Aspects of Computing · 2015 · 33 citations

Computing, Computer Engineering, Computer Science +16

A Highly-Available Move Operation for Replicated Trees

Martin Kleppmann, Dominic P. Mulligan, Victor B. F. Gomes et al. · IEEE Transactions on Parallel and Distributed Systems · 2021 · 22 citations · Full text

Computing, Computer Science, Computer Systems +16

Interleaving anomalies in collaborative text editors

Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan et al. · 2019 · 14 citations · Full text

Computing, Computer Science, Distributed Systems +14

Kleene Algebra with Tests and Demonic Refinement Algebras.

Alasdair Armstrong, Victor B. F. Gomes, Georg Struth · 2014 · 13 citations

Natural Sciences, Computer Science, Mathematics +11