Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Peter O'Hearn
conf.researchr.org general profile
ICSE 2024 profile
POPL 2025 profile
Not registered as user
Name:
Peter O'Hearn
Affiliation:
University College London, UK and Lacework, London, UK
Contributions
2025
TPSA
Committee Member in Program Committee within the TPSA 2025-track
2024
KLEE
Author of Concurrent Adversarial Separation Logic: A General Approach to Under-approximate Reasoning about Concurrent Programs within the KLEE 2024-track
Share
x
Wed 18 Dec 12:03