Articles with public access mandates - Peter O'HearnLearn more
Available somewhere: 6
Local reasoning about the presence of bugs: Incorrectness separation logic
A Raad, J Berdine, HH Dang, D Dreyer, P O’Hearn, J Villard
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
Mandates: European Commission
Finding real bugs in big programs with incorrectness logic
QL Le, A Raad, J Villard, J Berdine, D Dreyer, PW O'Hearn
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-27, 2022
Mandates: UK Engineering and Physical Sciences Research Council, European Commission …
Concurrent incorrectness separation logic
A Raad, J Berdine, D Dreyer, PW O'Hearn
Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022
Mandates: European Commission, UK Research & Innovation
On the relation between concurrent separation logic and concurrent Kleene algebra
PW O'Hearn, RL Petersen, J Villard, A Hussain
Journal of Logical and Algebraic Methods in Programming 84 (3), 285-302, 2015
Mandates: UK Engineering and Physical Sciences Research Council
A General Approach to Under-Approximate Reasoning About Concurrent Programs
A Raad, J Vanegue, J Berdine, P O'Hearn
34th International Conference on Concurrency Theory (CONCUR 2023), 2023
Mandates: UK Research & Innovation
Non-termination Proving at Scale
A Raad, J Vanegue, P O’Hearn
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 246-274, 2024
Mandates: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
Publication and funding information is determined automatically by a computer program