Liam O’Connor

Cogent

Sidney Amani, Alex Hixon, Zilin Chen et al. · 2016 · 67 citations · Full text

Program Checking, Engineering, Verification +16

Refinement through restraint: bringing down the cost of verification

Liam O’Connor, Zilin Chen, Christine Rizkallah et al. · 2016 · 26 citations · Full text

Program Checking, Engineering, Verification +20

File systems deserve verification too!

Gabriele Keller, Toby Murray, Sidney Amani et al. · 2013 · 20 citations

Distributed File System, Engineering, Information Security +23

Cogent: uniqueness types and certifying compilation

Liam O’Connor, Zilin Chen, Christine Rizkallah et al. · Journal of Functional Programming · 2021 · 18 citations · Full text

Program Checking, Engineering, Verification +22

Quickstrom: property-based acceptance testing with LTL specifications

Liam O’Connor, Oskar Wickström · 2022 · 13 citations

Engineering, Verification, Software Engineering +18