Rodrigo C. O. Rocha

Registered user since Fri 6 Mar 2020

Name:Rodrigo C. O. Rocha
Affiliation:University of Edinburgh, UK
Personal website:https://rcor.me

Contributions

PLDI 2022 Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Show activities from other conferences

Using general profile