Modular Termination Verification for Non-blocking Concurrency. - Pedro da Rocha Pinto; Thomas Dinsdale-Young; Philippa Gardner; Julian Sutherland (ESOP, 2016)

A Concurrent Specification of POSIX File Systems. - Gian Ntzik; Pedro da Rocha Pinto; Julian Sutherland; Philippa Gardner (ECOOP, 2018)

TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs. - Emanuele D'Osualdo; Julian Sutherland; Azadeh Farzan; Philippa Gardner (ACM Trans. Program. Lang. Syst., 2021)

Exact Separation Logic. - Petar Maksimovic 001; Caroline Cronjäger; Julian Sutherland; Andreas Lööw; Sacha-Élie Ayoun; Philippa Gardner (CoRR, 2022)

Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding. - Petar Maksimovic 001; Caroline Cronjäger; Andreas Lööw; Julian Sutherland; Philippa Gardner (ECOOP, 2023)

Bringing the Power of Interactive Theorem Proving to Web3 (Invited Talk). - Julian Sutherland (FMBC, 2025)