Registered user since Fri 29 May 2020

Name:Peter W. O'Hearn
Country:United Kingdom
Affiliation:Meta; University College London

Contributions

CPP 2022 Applying Formal Verification to Microkernel IPC at Meta
POPL 2022 Concurrent Incorrectness Separation Logic
Show activities from other conferences

POPL 2022-profile
View general profile