Victor B. F. Gomes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2014–2019
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | CAV | Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C. | Stella Lau, Victor B. F. Gomes, Kayvan Memarian, Jean Pichon-Pharabod, Peter Sewell |
| 2019 | EuroSys | Interleaving anomalies in collaborative text editors. | Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford |
| 2017 | APLAS | Programming and Proving with Classical Types. | Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan |
| 2016 | FM | Modal Kleene Algebra Applied to Program Correctness. | Victor B. F. Gomes, Georg Struth |
| 2015 | MPC | A Program Construction and Verification Tool for Separation Logic. | Brijesh Dongol, Victor B. F. Gomes, Georg Struth |
| 2014 | FM | Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. | Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
| 2014 | SEFM | Lightweight Program Construction and Verification Tools in Isabelle/HOL. | Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |