ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Gustavo Petri

Registered user since Tue 31 Mar 2015

Name:Gustavo Petri
Affiliation:ARM Research
Personal website:
Research interests:Concurrency, Verification, Memory Models, Semantics


SPLASH 2020 Scalable and Serializable Networked Multi-actor Programming
Show activities from other conferences

SPLASH 2020-profile
View general profile