Follow
Julian Sutherland
Julian Sutherland
PhD Student, Imperial College
Verified email at imperial.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
472016
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
252021
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
132018
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
22022
The system can't perform the operation now. Try again later.
Articles 1–5