Verified Trustworthy Software Specification

Julian is a PhD student with the group, currently working on extending concurrent separational logics such as TaDA to a total correctness semantics (termination).

Group Publications

1. A Concurrent Specification of POSIX File Systems

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

   32nd European Conference on Object-Oriented Programming (ECOOP 2018).

2. Modular Termination Verification for Non-blocking Concurrency

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

   Proceedings of the 25^th European Symposium on Programming (ESOP’16), pp. 176–201