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