Modular Termination Verification for Non-blocking Concurrency P da Rocha Pinto, T Dinsdale-Young, P Gardner, J Sutherland Programming Languages and Systems: 25th European Symposium on Programming …, 2016 | 47 | 2016 |
TaDA Live: Compositional reasoning for termination of fine-grained concurrent programs E D’Osualdo, J Sutherland, A Farzan, P Gardner ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (4), 1-134, 2021 | 25 | 2021 |
A concurrent specification of POSIX file systems G Ntzik, P da Rocha Pinto, J Sutherland, P Gardner 32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018 | 13 | 2018 |
Exact separation logic: Towards bridging the gap between verification and bug-finding P Maksimović, C Cronjäger, A Lööw, J Sutherland, P Gardner 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023 | 11* | 2023 |
Exact separation logic (extended version) P Maksimović, C Cronjäger, A Lööw, J Sutherland, P Gardner arXiv preprint arXiv:2208.07200, 2022 | 2 | 2022 |