| 2020 | APLAS | Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. | Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves |
| 2020 | PDCAT | A Relaxed Balanced Lock-Free Binary Search Tree. | Manish Singh, Lindsay Groves, Alex Potanin |
| 2019 | FM | Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors. | Graeme Smith, Lindsay Groves |
| 2018 | ICFEM | Capabilities: Effects for Free. | Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich |
| 2017 | IM | Equivalent forwarding set evaluation in software defined networking. | Liang Yang, Bryan C. K. Ng, Winston K. G. Seah, Lindsay Groves |
| 2017 | IFM | Making Whiley Boogie! | Mark Utting, David J. Pearce, Lindsay Groves |
| 2017 | LCN | Deterministic Confidence Interval Estimation of Networking Traffic in SDN. | Liang Yang, Bryan C. K. Ng, Winston K. G. Seah, Lindsay Groves |
| 2016 | ICFEM | Contextual Trace Refinement for Concurrent Objects: Safety and Progress. | Brijesh Dongol, Lindsay Groves |
| 2015 | ECOOP | Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. | Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith |
| 2013 | ECOOP | True small-step reduction for imperative object oriented languages. | Marco Servetto, Lindsay Groves |
| 2013 | SLE | Whiley: A Platform for Research in Software Verification. | David J. Pearce, Lindsay Groves |
| 2012 | ECOOP | Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. | Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron |
| 2011 | SEKE | A Dual Clustering Approach to the Extract Class Refactoring. | Keith Cassell, Peter Andreae, Lindsay Groves |
| 2008 | ICECCS | Verifying Semistructured Data Normalization Using PVS. | Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves |
| 2007 | ICECCS | Reasoning about Nonblocking Concurrency using Reduction. | Lindsay Groves |
| 2007 | SEFM | A Scalable Lock-Free Stack Algorithm and its Verification. | Robert Colvin, Lindsay Groves |
| 2006 | CAV | Formal Verification of a Lazy Concurrent List-Based Set Algorithm. | Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir |
| 2006 | SEKE | A PVS Approach to Verifying ORA-SS Data Models. | Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves |
| 2005 | ICECCS | Formal Verification of an Array-Based Nonblocking Queue. | Robert Colvin, Lindsay Groves |
| 2004 | FORTE | Formal Verification of a Practical Lock-Free Queue Algorithm. | Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir |
| 2004 | SPAA | DCAS is not a silver bullet for nonblocking algorithm design. | Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr. |
| 2000 | APSEC | A formal approach to program modification. | Lindsay Groves |
| 1995 | APSEC | Deriving Programs by Combining and Adapting Refinement Scripts. | Lindsay Groves |
| 1988 | IPMU | Sets and Uncertainty in Relational Databases. | Zbigniew Michalewicz, Lindsay Groves |