Registered user since Thu 21 Nov 2019

Name:Arthur Oliveira Vale
Affiliation:Yale University

Contributions

POPL 2023 A Compositional Theory of Linearizability
Show activities from other conferences

POPL 2023-profile
View general profile