Person. Peter O'Hearn [ohearn]

Professor
University College London, Meta
0009-0007-0910-5350
http://www0.cs.ucl.ac.uk/staff/p.ohearn/

Related

Institution. University College London [ucl]

London, United Kingdom
https://ucl.ac.uk

Contributions

Reference. Concurrent Incorrectness Separation Logic [raad-bdo-2022]

January 12, 2022
Azalea Raad, Josh Berdine, Derek Dreyer, Peter O'Hearn
POPL '22: 49th ACM SIGPLAN Symposium on Principles of Programming Languages
10.1145/3498695

Reference. Incorrectness Logic [ohearn-2020]

December 10, 2019
Peter O'Hearn
POPL '20: 47th ACM SIGPLAN Symposium on Principles of Programming Languages
10.1145/3371078