Registered user since Fri 29 May 2020

Name:Peter W. O'Hearn
Affiliation:Facebook and University College London

Contributions

POPL 2022 Concurrent Incorrectness Separation Logic
Show activities from other conferences

Using general profile