The design of a virtual machine for Ada. - Lindsay J. Groves; William J. Rogers 001 (SIGPLAN, 1980)

Using Simple English Sentences to Call Procedures. - Lindsay Groves (ACM SIGPLAN Notices, 1982)

Sets and Uncertainty in Relational Databases. - Zbigniew Michalewicz; Lindsay Groves (IPMU, 1988)

Book review: Software prototyping, formal methods and VDM by Sharam Hekmatpour and Darrel Ince (Addison-Wesley, 1988). - Lindsay Groves (ACM SIGCHI Bull., 1990)

A Tactic Driven Refinement Tool. - Lindsay Groves; Raymond G. Nickson; Mark Utting (Refine, 1992)

An Introduction to the Tarraingím Program Animation Environment. - James Noble 001; Lindsay Groves (TOOLS (6), 1992)

Deriving language recognition algorithms: A case study in combining program specialisation and data refinement. - Lindsay Groves (Refine, 1994)

Metavariables and Conditional Refinements in the Refinement Calculus. - Raymond G. Nickson; Lindsay J. Groves (Refine, 1994)

Viewpoint specification and Z. - Mike Ainsworth; A. H. Cruickshank; Peter J. L. Wallis; Lindsay J. Groves (Inf. Softw. Technol., 1994)

Deriving Programs by Combining and Adapting Refinement Scripts. - Lindsay Groves (APSEC, 1995)

Object Oriented Program Visualisation in Tarraingim. - James Noble 001; Lindsay Groves; Robert Biddle (Aust. Comput. J., 1995)

A formal approach to program modification. - Lindsay Groves (APSEC, 2000)

A Survey of Software Development Practices in the New Zealand Software Industry . - Lindsay Groves; Ray Nickson; Greg Reeve; Steve Reeves; Mark Utting (Australian Software Engineering Conference, 2000)

Refinement and the Z schema calculus. - Lindsay Groves (Refine, 2002)

Formal Verification of a Practical Lock-Free Queue Algorithm. - Simon Doherty; Lindsay Groves; Victor Luchangco; Mark Moir (FORTE, 2004)

Developing Logic Programs from Specifications Using Stepwise Refinement. - Robert Colvin; Lindsay Groves; Ian J. Hayes; David Hemer; Ray Nickson; Paul A. Strooper (Program Development in Computational Logic, 2004)

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. (SPAA, 2004)

Formal Verification of an Array-Based Nonblocking Queue. - Robert Colvin; Lindsay Groves (ICECCS, 2005)

Practical Data Refinement for the Z Schema Calculus. - Lindsay Groves (ZB, 2005)

Verifying Concurrent Data Structures by Simulation. - Robert Colvin; Simon Doherty; Lindsay Groves (REFINE, 2005)

Validating ORA-SS Data Models using Alloy. - Lin Wang; Gillian Dobbie; Jing Sun 002; Lindsay Groves (ASWEC, 2006)

Formal Verification of a Lazy Concurrent List-Based Set Algorithm. - Robert Colvin; Lindsay Groves; Victor Luchangco; Mark Moir (CAV, 2006)

A PVS Approach to Verifying ORA-SS Data Models. - Scott Uk-Jin Lee; Gillian Dobbie; Jing Sun 002; Lindsay Groves (SEKE, 2006)

Preface. - Bernhard K. Aichernig; Eerke A. Boiten; John Derrick; Lindsay Groves (Refine@ICFEM, 2006)

Derivation of a Scalable Lock-Free Stack Algorithm. - Lindsay Groves; Robert Colvin (Refine@ICFEM, 2006)

Reasoning about Nonblocking Concurrency using Reduction. - Lindsay Groves (ICECCS, 2007)

A Scalable Lock-Free Stack Algorithm and its Verification. - Robert Colvin; Lindsay Groves (SEFM, 2007)

Trace-based Derivation of a Lock-Free Queue Algorithm. - Lindsay Groves (REFINE@IFM, 2007)

Correctness Criteria for Normalization of Semistructured Data. - Scott Uk-Jin Lee; Jing Sun 002; Gillian Dobbie; Lindsay Groves; Yuan-Fang Li (Australian Software Engineering Conference, 2008)

Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction. - Lindsay Groves (CATS, 2008)

Verifying Semistructured Data Normalization Using PVS. - Scott Uk-Jin Lee; Jing Sun 002; Gillian Dobbie; Lindsay Groves (ICECCS, 2008)

Towards Automating Class-Splitting Using Betweenness Clustering. - Keith Cassell; Peter Andreae; Lindsay Groves; James Noble 001 (ASE, 2009)

Trace-based derivation of a scalable lock-free stack algorithm. - Lindsay Groves; Robert Colvin (Formal Aspects Comput., 2009)

Reasoning about Nonblocking Concurrency. - Lindsay Groves (J. Univers. Comput. Sci., 2009)

Formal Verification of Semistructured Data Models in PVS. - Scott Uk-Jin Lee; Gillian Dobbie; Jing Sun 002; Lindsay Groves (J. Univers. Comput. Sci., 2009)

Translating Z to Alloy. - Petra Malik; Lindsay Groves; Clare Lenihan (ASM, 2010)

Simpler Backward Simulation Proofs. - Simon Doherty; Lindsay Groves (CATS, 2010)

Theorem prover approach to semistructured data design. - Scott Uk-Jin Lee; Gillian Dobbie; Jing Sun 002; Lindsay Groves (Formal Methods Syst. Des., 2010)

Visualizing the Refactoring of Classes via Clustering. - Keith Cassell; Craig Anslow; Lindsay Groves; Peter Andreae (ACSC, 2011)

A Dual Clustering Approach to the Extract Class Refactoring. - Keith Cassell; Peter Andreae; Lindsay Groves (SEKE, 2011)

Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. - Julian Mackay; Hannes Mehnert; Alex Potanin; Lindsay Groves; Nicholas Cameron 001 (FTfJP@ECOOP, 2012)

True small-step reduction for imperative object oriented languages. - Marco Servetto; Lindsay Groves (FTfJP@ECOOP, 2013)

Reflections on Verifying Software with Whiley. - David J. Pearce 001; Lindsay Groves (FTSCS, 2013)

Whiley: A Platform for Research in Software Verification. - David J. Pearce 001; Lindsay Groves (SLE, 2013)

Towards formally specifying and verifying transactional memory. - Simon Doherty; Lindsay Groves; Victor Luchangco; Mark Moir (Formal Aspects Comput., 2013)

Shape Predicates Allow Unbounded Verification of Linearizability Using Canonical Abstraction. - David Friggens; Lindsay Groves (ACSC, 2014)

Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures. - John Derrick; Graeme Smith 001; Lindsay Groves; Brijesh Dongol (Haifa Verification Conference, 2014)

Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. - Brijesh Dongol; John Derrick; Lindsay Groves; Graeme Smith 001 (ECOOP, 2015)

Towards linking correctness conditions for concurrent objects and contextual trace refinement. - Brijesh Dongol; Lindsay Groves (Refine@FM, 2015)

Collapsing Threads Safely with Soft Invariants. - David Friggens; Lindsay Groves (CoRR, 2015)

Designing a verifying compiler: Lessons learned from developing Whiley. - David J. Pearce 001; Lindsay Groves (Sci. Comput. Program., 2015)

Contextual Trace Refinement for Concurrent Objects: Safety and Progress. - Brijesh Dongol; Lindsay Groves (ICFEM, 2016)

A Proof Method for Linearizability on TSO Architectures. - John Derrick; Graeme Smith 001; Lindsay Groves; Brijesh Dongol (Provably Correct Systems, 2017)

Making Whiley Boogie! - Mark Utting; David J. Pearce 001; Lindsay Groves (IFM, 2017)

Equivalent forwarding set evaluation in software defined networking. - Liang Yang; Bryan C. K. Ng; Winston K. G. Seah; Lindsay Groves (IM, 2017)

Deterministic Confidence Interval Estimation of Networking Traffic in SDN. - Liang Yang; Bryan C. K. Ng; Winston K. G. Seah; Lindsay Groves (LCN, 2017)

Capabilities: Effects for Free. - Aaron Craig; Alex Potanin; Lindsay Groves; Jonathan Aldrich (ICFEM, 2018)

An Introduction to Software Verification with Whiley. - David J. Pearce 001; Mark Utting; Lindsay Groves (SETSS, 2018)

Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors. - Graeme Smith 001; Lindsay Groves (FM Workshops (2), 2019)

Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. - Julian Mackay; Alex Potanin; Jonathan Aldrich; Lindsay Groves (APLAS, 2020)

A Relaxed Balanced Lock-Free Binary Search Tree. - Manish Singh; Lindsay Groves; Alex Potanin (PDCAT, 2020)

Decidable subtyping for path dependent types. - Julian Mackay; Alex Potanin; Jonathan Aldrich; Lindsay Groves (Proc. ACM Program. Lang., 2020)

A survey on network forwarding in Software-Defined Networking. - Liang Yang; Bryan C. K. Ng; Winston K. G. Seah; Lindsay Groves; Deepak Singh (J. Netw. Comput. Appl., 2021)

Verifying Whiley Programs with Boogie. - David J. Pearce 001; Mark Utting; Lindsay Groves (J. Autom. Reason., 2022)