Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Peter O'Hearn
conf.researchr.org general profile
ICSE 2024 profile
Not registered as user yet
Name:
Peter O'Hearn
Affiliation:
University College London, UK and Lacework, London, UK
Contributions
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
Sun 19 May 14:54