• Sign in
  • Sign up
conf.researchr.org / Victor B. F. Gomes
  • PLDI 2020 profile
  • POPL 2019 profile
  • SPLASH 2017 profile
No Photo

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
Share
xThu 8 May 22:40
using conf.researchr.org (v1.69.0)
Support page
Sign Up