Gustavo Petri -

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

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