BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gomes:Victor_B=_F=

Contributed to:

FM 20142014
SEFM 20142014
CAV (1) 20192019
OOPSLA 20172017
POPL 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.