Research output per year
Research output per year
Personal profile
Research Interests
My main research interests focus on the fruitful intersection of programming languages and formal methods. In particular, I am interested in type systems and type theories as ways to reduce cost of systems verification, the integration of automatic and manual verification techniques, and refinement frameworks and models that allow for both rich specifications and efficient implementations.
Qualifications
BSc (Hons.) Computer Science, University of New South Wales, 2012
PhD Computer Science, University of New South Wales, 2019
Biography
Liam O'Connor is a Lecturer in Programming Languages for Trustworthy Systems at the University of Edinburgh in the School of Informatics and part of the Laboratory for Foundations of Computer Science. He received his BSc Hons. degree in 2012 from the University of New South Wales in Sydney, Australia. From 2012 he worked at National ICT Australia (now data61, part of CSIRO) on formal verification of software systems including the formally verified microkernel seL4. This work eventually culminated in his doctorate, which he received in 2019. For his doctorate he designed the functional systems programming language Cogent, which includes a verification framework based around certifying compilation. Liam has also published in the area of dependently-typed programming and proving, and has other interests ranging from concurrency to software engineering.
Fingerprint
Dive into the research topics where Liam O'Connor is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Quickstrom: property-based acceptance testing with LTL specifications
O'Connor, L. & Wickström, O., 17 Jun 2022, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). New York, NY, USA: ACM Association for Computing Machinery, p. 1025-1038 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Overcoming Restraint: Composing Verification of Foreign Functions with Cogent
Cheung, L., O'Connor, L. & Rizkallah, C., 17 Jan 2022, CPP 2022: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs. Popescu, A. & Zdancewic, S. (eds.). New York, NY, USA: ACM Association for Computing Machinery, p. 13-26 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Cogent: uniqueness types and certifying compilation
O'Connor, L., Chen, Z., Rizkallah, C., Jackson, V., Amani, S., Klein, G., Murray, T., Sewell, T. & Keller, G., 27 Oct 2021, In: Journal of Functional Programming. 31, 66 p., e25.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Deferring the Details and Deriving Programs
O'Connor, L., 18 Aug 2019, Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development. New York, NY, USA: ACM Association for Computing Machinery, p. 27–39 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Bringing Effortless Refinement of Data Layouts to Cogent
O'Connor, L., Chen, Z., Susarla, P., Rizkallah, C., Klein, G. & Keller, G., 29 Oct 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer International Publishing, p. 134-149 16 p. (Lecture Notes in Computer Science; vol. 11244).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution