• Sign in
  • Sign up
conf.researchr.org / Gustavo Petri
  • ECOOP 2015 profile
  • ECOOP 2016 profile
  • PLDI 2016 profile
  • PLDI 2019 profile
  • PLDI 2021 profile
  • POPL 2019 profile
  • SPLASH 2020 profile
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
PLDI 2019 Author of Replication-Aware Linearizability within the PLDI Research Papers-track
OPCT 2019 Session Chair of Concurrent Programming, Memory Models (part of OPCT 2019)
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

Share
xSun 4 Jun 12:50
using conf.researchr.org (v1.60.0)
Support page
Sign Up