• Sign in
  • Sign up
conf.researchr.org / Marcelo Sousa
  • PLDI 2016 profile
  • POPL 2017 profile
  • SPLASH 2018 profile
Marcelo Sousa

Registered user since Sat 23 Jan 2016

Name:Marcelo Sousa
Affiliation:University of Oxford
Personal website: http://www.cs.ox.ac.uk/people/marcelo.sousa/

Contributions

2018

SPLASH

  • Author of Verified Three-Way Program Merge within the OOPSLA-track

2017

VMCAI

  • Author of Complete Abstractions and Subclassical Modal Logics within the VMCAI-track
  • Author of Independence Abstractions and Models of Concurrency within the VMCAI-track

2016

PLDI

  • Author of Cartesian Hoare Logic for Verifying k-Safety Properties within the Research Papers-track
Share
xTue 20 May 06:40
using conf.researchr.org (v1.69.0)
Support page
Sign Up