conf.researchr.org / Gustavo Petri
Gustavo Petri

Registered user since Tue 31 Mar 2015

Name: Gustavo Petri

Country: United Kingdom

Affiliation: Arm Ltd

Personal website: http://gpetri.github.io/

Research interests: Concurrency, Verification, Memory Models, Semantics

Contributions

OPCT 2019Session Chair of Concurrent Programming, Memory Models (part of OPCT 2019)
PLDI 2019Author of Replication-Aware Linearizability within the PLDI Research Papers-track
FTfJP 2016Committee Member in Program Committee within the FTfJP-track
PLDI 2016Author of Automatically Learning Shape Specifications within the Research Papers-track
ECOOP 2015Author of Cooking the Books: Formalizing JMM Implementation Recipes within the Research Track-track