Liam O'Connor

1. COGENT: Certified Compilation for a Functional Systems Language
   2016/01/21 by Liam O'Connor, Liam O’Connor, Christine Rizkallah +20 · 2 voices
   Computer Science · #Distributed systems and fault tolerance #Formal Methods in Verification #Logic, programming, and type systems #cs.LO #cs.PL
2. Quickstrom: Property Based Acceptance Testing with LTL Specifications
   2022/03/22 by Liam O’Connor, Liam O'Connor, Oskar Wickström +2 · 1 voice
   Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #cs.PL #cs.SE
3. Iterative Methods for Navier--Stokes Inverse Problems
   2024/03/01 by Liam O'Connor, O'Connor, Liam, Daniel Lecoanet +13 · 2 citations
   Mathematics · #FOS: Mathematics #FOS: Physical sciences #Fluid Dynamics (physics.flu-dyn) #Numerical methods in inverse problems #Optimization and Control (math.OC)