Follow
Liam O'Connor
Title
Cited by
Cited by
Year
Cogent: Verifying high-assurance file system implementations
S Amani, A Hixon, Z Chen, C Rizkallah, P Chubb, L O'Connor, J Beeren, ...
ACM SIGARCH Computer Architecture News 44 (2), 175-188, 2016
1092016
Refinement through restraint: Bringing down the cost of verification
L O'Connor, Z Chen, C Rizkallah, S Amani, J Lim, T Murray, Y Nagashima, ...
ACM SIGPLAN Notices 51 (9), 89-102, 2016
482016
File systems deserve verification too!
G Keller, T Murray, S Amani, L O'Connor, Z Chen, L Ryzhyk, G Klein, ...
Proceedings of the Seventh Workshop on Programming Languages and Operating …, 2013
302013
A Framework for the Automatic Formal Verification of Refinement from Cogent to C
C Rizkallah, J Lim, Y Nagashima, T Sewell, Z Chen, L O’Connor, T Murray, ...
International Conference on Interactive Theorem Proving, 323-340, 2016
202016
COGENT: certified compilation for a functional systems language
L O'Connor, C Rizkallah, Z Chen, S Amani, J Lim, Y Nagashima, T Sewell, ...
arXiv preprint arXiv:1601.05520, 2016
132016
Provably trustworthy systems
G Klein, J Andronick, G Keller, D Matichuk, T Murray, L O'Connor
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017
122017
Cogent: uniqueness types and certifying compilation
L O’CONNOR, Z Chen, C Rizkallah, V Jackson, S Amani, G Klein, ...
Journal of Functional Programming 31, 2021
102021
Type Systems for Systems Types
L O'Connor
University of New South Wales, 2019
82019
Bringing Effortless Refinement of Data Layouts to Cogent
L O’Connor, Z Chen, P Susarla, C Rizkallah, G Klein, G Keller
International Symposium on Leveraging Applications of Formal Methods, 134-149, 2018
82018
The Cogent case for property-based testing
Z Chen, L O'Connor, G Keller, G Klein, G Heiser
Proceedings of the 9th Workshop on Programming Languages and Operating …, 2017
82017
Applications of applicative proof search
L O'Connor
Proceedings of the 1st International Workshop on Type-Driven Development, 43-55, 2016
52016
Marginally stable thermal equilibria of Rayleigh-Bénard convection
L O'Connor, D Lecoanet, EH Anders
Physical Review Fluids 6 (9), 093501, 2021
22021
Deferring the details and deriving programs
L O'Connor
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven …, 2019
22019
A data layout description language for cogent
Z Chen, M Di Meglio, L O’Connor, P Susarla, C Rizkallah, G Keller
Proc. PriSC, 1-3, 2019
22019
Quickstrom: property-based acceptance testing with LTL specifications
L O'Connor, O Wickström
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
12022
Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML
Y Nagashima, L O'Connor
arXiv preprint arXiv:1608.03350, 2016
12016
Automated Adjoint-Looping Optimization with Pseudospectral Simulations
L O'Connor, D Lecoanet, E Anders, K Augustson, K Burns, G Vasil, J Oishi, ...
Bulletin of the American Physical Society, 2022
2022
Primrose: Selecting Container Data Types by their Properties
X Qin, L O'Connor, M Steuwer
arXiv preprint arXiv:2205.09655, 2022
2022
Overcoming restraint: composing verification of foreign functions with cogent
L Cheung, L O'Connor, C Rizkallah
Proceedings of the 11th ACM SIGPLAN International Conference on Certified …, 2022
2022
Overcoming Restraint: Modular Refinement using Cogent's Principled Foreign Function Interface
L O'Connor, C Rizkallah
arXiv e-prints, arXiv: 2102.09920, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20