Liam O'Connor

According to our database, Liam O'Connor authored at least 23 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Shoggoth: A Formal Foundation for Strategic Rewriting.

Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer

Proc. ACM Program. Lang., January, 2024

Definitive Set Semantics for LTL3.

Rayhana Amjad, Rob van Glabbeek, Liam O'Connor

Arch. Formal Proofs, 2024

2023

Artifact for Shoggoth - A Formal Foundation for Strategic Rewriting.

Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer

Dataset, November, 2023

Artifact for Shoggoth - A Formal Foundation for Strategic Rewriting.

Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer

Dataset, October, 2023

Primrose: Selecting Container Data Types by Their Properties.

Xueying Qin, Liam O'Connor, Michel Steuwer

Art Sci. Eng. Program., February, 2023

Dargent: A Silver Bullet for Verified Data Layout Refinement.

Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah

Proc. ACM Program. Lang., January, 2023

2022

Holbert: Reading, Writing, Proving and Learning in the Browser.

Liam O'Connor, Rayhana Amjad

CoRR, 2022

Property-Based Testing: Climbing the Stairway to Verification.

Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller

Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

Quickstrom: property-based acceptance testing with LTL specifications.

Liam O'Connor, Oskar Wickström

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Overcoming restraint: composing verification of foreign functions with cogent.

Louis Cheung, Liam O'Connor, Christine Rizkallah

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Cogent: uniqueness types and certifying compilation.

Liam O'Connor, Zilin Chen, Christine Rizkallah, Vincent Jackson, Sidney Amani, Gerwin Klein, Toby Murray, Thomas Sewell, Gabriele Keller

J. Funct. Program., 2021

Overcoming Restraint: Modular Refinement using Cogent's Principled Foreign Function Interface.

Louis Cheung, Liam O'Connor, Christine Rizkallah

CoRR, 2021

2019

Type Systems for Systems Types.

Liam O'Connor

PhD thesis, 2019

Deferring the details and deriving programs.

Liam O'Connor

Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, 2019

2018

Bringing Effortless Refinement of Data Layouts to Cogent.

Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017

The Cogent Case for Property-Based Testing.

Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser

Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

2016

COGENT: Certified Compilation for a Functional Systems Language.

Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby C. Murray, Gerwin Klein

CoRR, 2016

Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML.

Yutaka Nagashima, Liam O'Connor

CoRR, 2016

A Framework for the Automatic Formal Verification of Refinement from Cogent to C.

Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby C. Murray, Gabriele Keller, Gerwin Klein

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

Refinement through restraint: bringing down the cost of verification.

Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Applications of applicative proof search.

Liam O'Connor

Proceedings of the 1st International Workshop on Type-Driven Development, 2016

CoGENT: Verifying High-Assurance File System Implementations.

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

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2014

File systems deserve verification too!

Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser

ACM SIGOPS Oper. Syst. Rev., 2014