Julian Sutherland PhD Student
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
-
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs
- Emanuele D’Osualdo
- Azadeh Farzan
- Philippa Gardner
- Julian Sutherland
ACM Transactions on Programming Languages and Systems (TOPLAS), submitted Jan 2020; accepted 2021., vol. 43(4)
-
A Concurrent Specification of POSIX File Systems
Proceedings of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018).
-
Modular Termination Verification for Non-blocking Concurrency
- Pedro da Rocha Pinto
- Thomas Dinsdale-Young
- Philippa Gardner
- Julian Sutherland
Proceedings of the 25th European Symposium on Programming (ESOP’16), pp. 176–201