![Gustavo Petri](https://conf.researchr.org/getProfileImage/gustavopetri/e9d8265a-ae65-41f1-a652-3a3b5d2ecd86/small.jpg?1711458054000)
Registered user since Tue 31 Mar 2015
Name:Gustavo Petri
Affiliation:ARM Research
Personal website: http://gpetri.github.io/
Research interests:Concurrency, Verification, Memory Models, Semantics
Contributions
SPLASH 2020-profile
View general profile
View general profile