Victor B. F. Gomes -

Registered user since Mon 5 Nov 2018

Name:Victor B. F. Gomes

Affiliation:University of Cambridge, UK

Personal website: http://victorgomes.co.uk

Contributions

2020

DeepSpec

Author of Cerberus: executable reference semantics and memory object models for ISO and de facto C within the REMS-DeepSpec 2020-track

2019

POPL

Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track

2017

SPLASH

Author of Verifying Strong Eventual Consistency in Distributed Systems within the OOPSLA-track