Julian Sutherland

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 6

Top Topics

Face Verification

Concurrent Programs

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Petar Maksimovic, Caroline Cronjäger, Andreas Lööw, Julian Sutherland, Philippa Gardner
Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding. ECOOP (2023)
Petar Maksimovic, Caroline Cronjäger, Julian Sutherland, Andreas Lööw, Sacha-Élie Ayoun, Philippa Gardner
Exact Separation Logic. CoRR (2022)
Emanuele D'Osualdo, Julian Sutherland, Azadeh Farzan, Philippa Gardner
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs. ACM Trans. Program. Lang. Syst. 43 (4) (2021)
Emanuele D'Osualdo, Azadeh Farzan, Philippa Gardner, Julian Sutherland
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs. CoRR (2019)
Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner
A Concurrent Specification of POSIX File Systems. ECOOP (2018)
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland
Modular Termination Verification for Non-blocking Concurrency. ESOP (2016)