Programming Languages and Systems, Type Theory, Category Theory, Concurrent and Distributed Systems, Functional Programming and Formal Verification.
trustworthy file systems. l4.verified - formal verification of an operating system kernel.
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.
|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
|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.