Julian Sutherland

According to our database, Julian Sutherland authored at least 5 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding.

Petar Maksimovic, Caroline Cronjäger, Andreas Lööw, Julian Sutherland, Philippa Gardner

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Exact Separation Logic.

Petar Maksimovic, Caroline Cronjäger, Julian Sutherland, Andreas Lööw, Sacha-Élie Ayoun, Philippa Gardner

CoRR, 2022

2021

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

2018

A Concurrent Specification of POSIX File Systems.

Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2016

Modular Termination Verification for Non-blocking Concurrency.

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland

Proceedings of the Programming Languages and Systems, 2016