Travelled to:1 × France
1 × Singapore
Collaborated with:A.Armstrong G.Struth K.Memarian P.Sewell Martin Kleppmann D.P.Mulligan A.R.Beresford S.Lau J.Pichon-Pharabod B.Davis S.Kell Alexander Richardson R.N.M.Watson
Talks about:tool (3) principl (2) concurr (2) semant (2) explor (2) verif (2) lightweight (1) distribut (1) construct (1) sequenti (1)
Person: Victor B. F. Gomes
DBLP: Gomes:Victor_B=_F=
Contributed to:
2014
2014
2019
2017
2019Wrote 5 papers:
- FM-2014-ArmstrongGS #algebra #concurrent #tool support #verification
- Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools (AA, VBFG, GS), pp. 78–93.
- SEFM-2014-ArmstrongGS #higher-order #lightweight #tool support #verification
- Lightweight Program Construction and Verification Tools in Isabelle/HOL (AA, VBFG, GS), pp. 5–19.
- CAV-2019-LauGMPS #c #concurrent #named #semantics
- Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C (SL, VBFG, KM, JPP, PS), pp. 387–397.
- OOPSLA-2017-GomesKMB #consistency #distributed #verification
- Verifying strong eventual consistency in distributed systems (VBFG, MK, DPM, ARB), p. 28.
- POPL-2019-MemarianGDKRWS #c #pointer #semantics
- Exploring C semantics and pointer provenance (KM, VBFG, BD, SK, AR, RNMW, PS), p. 32.