Julian Sutherland
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2016–2025
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FC | Intmax2: A ZK-Rollup with Minimal Onchain Data and Computation Costs Featuring Decentralized Aggregators. | Erik Rybakken, Leona Hioki, Mario Yaksetig, Denisa Diaconescu, Frantisek Silvsi, Julian Sutherland |
| 2023 | ECOOP | Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding. | Petar Maksimovic, Caroline Cronjger, Andreas Lw, Julian Sutherland, Philippa Gardner |
| 2018 | ECOOP | A Concurrent Specification of POSIX File Systems. | Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner |
| 2016 | ESOP | Modular Termination Verification for Non-blocking Concurrency. | Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland |