Language Specifiaction and Program Verification

Julian defended his PhD thesis, Compositional termination verification for fine-grained concurrency, in 2022. Julian is currently a Formal Verification Engineer at Nethermind, a blockchain company working on Ethereum.

Group Publications

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

   • Petar Maksimović
   • Caroline Cronjäger
   • Andreas Lööw
   • Julian Sutherland
   • Philippa Gardner

   ECOOP 2023

2. TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs

   • Emanuele D’Osualdo
   • Azadeh Farzan
   • Philippa Gardner
   • Julian Sutherland

   Transactions on Programming Languages and Systems (TOPLAS) 2021

3. A Concurrent Specification of POSIX File Systems

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

   ECOOP 2018

4. Modular Termination Verification for Non-blocking Concurrency

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

   ESOP 2016