Liam O'Connor

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 21

Top Venues

CoRR

TyDe@ICFP

Proc. ACM Program. Lang.

ITP

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer
Shoggoth: A Formal Foundation for Strategic Rewriting. Proc. ACM Program. Lang. 8 (POPL) (2024)
Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah
Dargent: A Silver Bullet for Verified Data Layout Refinement. Proc. ACM Program. Lang. 7 (POPL) (2023)
Xueying Qin, Liam O'Connor, Michel Steuwer
Primrose: Selecting Container Data Types by Their Properties. Art Sci. Eng. Program. 7 (3) (2023)
Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller
Property-Based Testing: Climbing the Stairway to Verification. SLE (2022)
Liam O'Connor, Oskar Wickström
Quickstrom: Property Based Acceptance Testing with LTL Specifications. CoRR (2022)
Liam O'Connor, Rayhana Amjad
Holbert: Reading, Writing, Proving and Learning in the Browser. CoRR (2022)
Louis Cheung, Liam O'Connor, Christine Rizkallah
Overcoming restraint: composing verification of foreign functions with cogent. CPP (2022)
Liam O'Connor, Oskar Wickström
Quickstrom: property-based acceptance testing with LTL specifications. PLDI (2022)
Xueying Qin, Liam O'Connor, Michel Steuwer
Primrose: Selecting Container Data Types by their Properties. CoRR (2022)
Louis Cheung, Liam O'Connor, Christine Rizkallah
Overcoming Restraint: Composing Verification of Foreign Functions with Cogent. CoRR (2021)
Louis Cheung, Liam O'Connor, Christine Rizkallah
Overcoming Restraint: Modular Refinement using Cogent's Principled Foreign Function Interface. CoRR (2021)
Liam O'Connor, Zilin Chen, Christine Rizkallah, Vincent Jackson, Sidney Amani, Gerwin Klein, Toby Murray, Thomas Sewell, Gabriele Keller
Cogent: uniqueness types and certifying compilation. J. Funct. Program. 31 (2021)
Liam O'Connor
Deferring the details and deriving programs. TyDe@ICFP (2019)
Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller
Bringing Effortless Refinement of Data Layouts to Cogent. ISoLA (1) (2018)
Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser
The Cogent Case for Property-Based Testing. PLOS@SOSP (2017)
Liam O'Connor
Applications of applicative proof search. TyDe@ICFP (2016)
Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby C. Murray, Gabriele Keller, Gerwin Klein
A Framework for the Automatic Formal Verification of Refinement from Cogent to C. ITP (2016)
Yutaka Nagashima, Liam O'Connor
Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML. CoRR (2016)
Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby C. Murray, Gerwin Klein, Gernot Heiser
CoGENT: Verifying High-Assurance File System Implementations. ASPLOS (2016)
Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby C. Murray, Gerwin Klein
COGENT: Certified Compilation for a Functional Systems Language. CoRR (2016)
Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein
Refinement through restraint: bringing down the cost of verification. ICFP (2016)
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
File systems deserve verification too! ACM SIGOPS Oper. Syst. Rev. 48 (1) (2014)
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
File systems deserve verification too! PLOS@SOSP (2013)

Liam O'Connor.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Liam O'Connor