Arthur Oliveira Vale - ECOOP 2026

Mon 29 June - Fri 3 July 2026 Brussels, Belgium

Registered user since Thu 21 Nov 2019

Name:Arthur Oliveira Vale

Affiliation:Yale University

Contributions

2026

ECOOP

A Complete Program Logic for Compositional Linearizability

Show activities from other conferences

ECOOP 2026-profile
View general profile