Skip to main content

Liam O'Connor-Davis

Liam O'Connor-Davis
PhD Student

Research Interests

Programming Languages and Systems, Type Theory, Category Theory, Concurrent and Distributed Systems, Functional Programming and Formal Verification.

Contact Details

Phone: +61 2 9376 2148
Email:liamoc@cse.unsw.edu.au
Web:http://liamoc.net

More contact information is available at the Contact page.

Photo of Liam O'Connor-Davis

Projects

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.

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.