Julian Sutherland

According to our database, Julian Sutherland authored at least 7 papers between 2016 and 2025.

Collaborative distances:

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

2025

Bringing the Power of Interactive Theorem Proving to Web3 (Invited Talk).

Julian Sutherland

Proceedings of the 6th International Workshop on Formal Methods for Blockchains, 2025

Intmax2: A ZK-Rollup with Minimal Onchain Data and Computation Costs Featuring Decentralized Aggregators.

Erik Rybakken, Leona Hioki, Mario Yaksetig, Denisa Diaconescu, Frantisek Silvási, Julian Sutherland

Proceedings of the Financial Cryptography and Data Security. FC 2025 International Workshops, 2025

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