Skip to main content

Liam O'Connor-Davis
PhD Student

Research Interests

Liam is interested in Programming Languages and Systems, Type Theory, Category Theory, Concurrent and Distributed Systems, Functional Programming and Formal Verification.

Contact Details


More contact information is available at the Contact page.

Photo of Liam O'Connor-Davis

Publication List




trustworthy file systems. l4.verified - formal verification of an operating system kernel.

Career Summary

Software Engineer at Google, Tutor at UNSW, Tech Lead at Mudo Media


BSc. (Hons 1st Cl.) Computer Science (UNSW)


Programming Languages and Systems Research Group, UNSW

Recognition and Awards

Numerous academic awards for undergraduate performance at UNSW.


Data61 Papers


Abstract PDF Liam O'Connor-Davis, Zilin Chen, Partha Susarla Ajay, Christine Rizkallah, Gerwin Klein and Gabriele Keller
Bringing effortless refinement of data layouts to Cogent
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 134-149, Limassol, Cyprus, November, 2018


Abstract PDF Zilin Chen, Liam O'Connor-Davis, Gabriele Keller, Gerwin Klein and Gernot Heiser
The Cogent case for property-based testing
Workshop on Programming Languages and Operating Systems (PLOS), pp. 1-7, Shanghai, China, October, 2017

NICTA Papers


Abstract PDF Liam O'Connor-Davis, Gabriele Keller, Sidney Amani, Toby Murray, Gerwin Klein, Zilin Chen and Christine Rizkallah
CDSL version 1: Simplifying verification with linear types
Technical Report, NICTA, October, 2014


PDF Gabriele Keller, Toby Murray, Sidney Amani, Liam O'Connor-Davis, Zilin Chen, Leonid Ryzhyk, Gerwin Klein and Gernot Heiser
File systems deserve verification too!
Workshop on Programming Languages and Operating Systems (PLOS), pp. 1–7, Farmington, Pennsylvania, USA, November, 2013
A revised version of this paper was published in Operating Systems Review, Volume 48, Issue 1, January 2014, pages 58-64.

Served by Apache on Linux on seL4.