Liam O'Connor

27 papers A* 2A 1B 4Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Uniqueness is Separation.
CoRR
Liam O'Connor, Pilar Selene Linares-Arévalo, Christine Rizkallah
2025 B conf
Memory Safety: Uniqueness as Separation.
APLAS
Pilar Selene Linares-Arévalo, Arthur Azevedo de Amorim, Vincent Jackson, Liam O'Connor, Peter Schachte, Christine Rizkallah
2024 J jnl
Definitive Set Semantics for LTL3.
Arch. Formal Proofs
Rayhana Amjad, Rob van Glabbeek, Liam O'Connor
2024 — conf
Semantics for Linear-time Temporal Logic with Finite Observations.
EXPRESS/SOS
Rayhana Amjad, Rob van Glabbeek, Liam O'Connor
2024 J jnl
Shoggoth: A Formal Foundation for Strategic Rewriting.
Proc. ACM Program. Lang.
Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer
2023 J jnl
Dargent: A Silver Bullet for Verified Data Layout Refinement.
Proc. ACM Program. Lang.
Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah
2023 J jnl
Primrose: Selecting Container Data Types by Their Properties.
Art Sci. Eng. Program.
Xueying Qin, Liam O'Connor, Michel Steuwer
2022 J jnl
Holbert: Reading, Writing, Proving and Learning in the Browser.
CoRR
Liam O'Connor, Rayhana Amjad
2022 B conf
Overcoming restraint: composing verification of foreign functions with cogent.
CPP
Louis Cheung, Liam O'Connor, Christine Rizkallah
2022 J jnl
Primrose: Selecting Container Data Types by their Properties.
CoRR
Xueying Qin, Liam O'Connor, Michel Steuwer
2022 B conf
Property-Based Testing: Climbing the Stairway to Verification.
SLE
Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller
2022 J jnl
Quickstrom: Property Based Acceptance Testing with LTL Specifications.
CoRR
Liam O'Connor, Oskar Wickström
2022 A* conf
Quickstrom: property-based acceptance testing with LTL specifications.
PLDI
Liam O'Connor, Oskar Wickström
2021 J jnl
Cogent: uniqueness types and certifying compilation.
J. Funct. Program.
Liam O'Connor, Zilin Chen, Christine Rizkallah, Vincent Jackson, Sidney Amani, Gerwin Klein, Toby Murray, Thomas Sewell, Gabriele Keller
2021 J jnl
Overcoming Restraint: Modular Refinement using Cogent's Principled Foreign Function Interface.
CoRR
Louis Cheung, Liam O'Connor, Christine Rizkallah
2019 — conf
Deferring the details and deriving programs.
TyDe@ICFP
Liam O'Connor
2019 — —
Type Systems for Systems Types.
Liam O'Connor
2018 — conf
Bringing Effortless Refinement of Data Layouts to Cogent.
ISoLA (1)
Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller
2017 — conf
The Cogent Case for Property-Based Testing.
PLOS@SOSP
Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser
2016 B conf
A Framework for the Automatic Formal Verification of Refinement from Cogent to C.
ITP
Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby C. Murray, Gabriele Keller, Gerwin Klein
2016 — conf
Applications of applicative proof search.
TyDe@ICFP
Liam O'Connor
2016 J jnl
COGENT: Certified Compilation for a Functional Systems Language.
CoRR
Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby C. Murray, Gerwin Klein
2016 J jnl
Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML.
CoRR
Yutaka Nagashima, Liam O'Connor
2016 A* conf
CoGENT: Verifying High-Assurance File System Implementations.
ASPLOS
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
2016 A conf
Refinement through restraint: bringing down the cost of verification.
ICFP
Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein
2014 J jnl
File systems deserve verification too!
ACM SIGOPS Oper. Syst. Rev.
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
2013 — conf
File systems deserve verification too!
PLOS@SOSP
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser