Liam O'Connor
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | APLAS | Memory Safety: Uniqueness as Separation. | Pilar Selene Linares-Arvalo, Arthur Azevedo de Amorim, Vincent Jackson, Liam O'Connor, Peter Schachte, Christine Rizkallah |
| 2022 | CPP | Overcoming restraint: composing verification of foreign functions with cogent. | Louis Cheung, Liam O'Connor, Christine Rizkallah |
| 2022 | PLDI | Quickstrom: property-based acceptance testing with LTL specifications. | Liam O'Connor, Oskar Wickstrm |
| 2022 | SLE | Property-Based Testing: Climbing the Stairway to Verification. | Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller |
| 2019 | ICFP | Deferring the details and deriving programs. | Liam O'Connor |
| 2018 | ISoLA | Bringing Effortless Refinement of Data Layouts to Cogent. | Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller |
| 2017 | SOSP | The Cogent Case for Property-Based Testing. | Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser |
| 2016 | ASPLOS | 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 |
| 2016 | ICFP | Applications of applicative proof search. | Liam O'Connor |
| 2016 | ICFP | 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 |
| 2016 | ITP | 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 |
| 2013 | SOSP | File systems deserve verification too! | Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser |