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

Email:Liam.O'Connor-Davis@data61.csiro.au
Web:http://liamoc.net

More contact information is available at the Contact page.

Photo of Liam O'Connor-Davis

Publication List

Projects

Current

Past

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

Qualifications

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

Affiliations

Programming Languages and Systems Research Group, UNSW

Recognition and Awards

Numerous academic awards for undergraduate performance at UNSW.

Publications

Data61 Papers

2018

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

2017

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

2014

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

2013

Abstract
Slides
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.