Seguir
Julian Sutherland
Julian Sutherland
PhD Student, Imperial College
Dirección de correo verificada de imperial.ac.uk - Página principal
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5