Seguir
Julian Sutherland
Julian Sutherland
PhD Student, Imperial College
E-mail confirmado em imperial.ac.uk - Página inicial
Título
Citado por
Citado por
Ano
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–5