Lindsay Groves

Publication Activity (10 Years)

Years Active: 1982-2022
Publications (10 Years): 17

Top Topics

Multicore Processors

Object Oriented Languages

Transactional Memory

Top Venues

J. Netw. Comput. Appl.

Publications

David J. Pearce, Mark Utting, Lindsay Groves
Verifying Whiley Programs with Boogie. J. Autom. Reason. 66 (4) (2022)
Liang Yang, Bryan Ng, Winston K. G. Seah, Lindsay Groves, Deepak Singh
A survey on network forwarding in Software-Defined Networking. J. Netw. Comput. Appl. 176 (2021)
Manish Singh, Lindsay Groves, Alex Potanin
A Relaxed Balanced Lock-Free Binary Search Tree. PDCAT (2020)
Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. APLAS (2020)
Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves
Decidable subtyping for path dependent types. Proc. ACM Program. Lang. 4 (POPL) (2020)
Graeme Smith, Lindsay Groves
Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors. FM Workshops (2) (2019)
Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich
Capabilities: Effects for Free. ICFEM (2018)
David J. Pearce, Mark Utting, Lindsay Groves
An Introduction to Software Verification with Whiley. SETSS (2018)
Mark Utting, David J. Pearce, Lindsay Groves
Making Whiley Boogie! IFM (2017)
Liang Yang, Bryan Ng, Winston K. G. Seah, Lindsay Groves
Deterministic Confidence Interval Estimation of Networking Traffic in SDN. LCN (2017)
Liang Yang, Bryan Ng, Winston K. G. Seah, Lindsay Groves
Equivalent forwarding set evaluation in software defined networking. IM (2017)
Brijesh Dongol, Lindsay Groves
Contextual trace refinement for concurrent objects: Safety and progress. CoRR (2016)
Brijesh Dongol, Lindsay Groves
Contextual Trace Refinement for Concurrent Objects: Safety and Progress. ICFEM (2016)
Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. ECOOP (2015)
David J. Pearce, Lindsay Groves
Designing a verifying compiler: Lessons learned from developing Whiley. Sci. Comput. Program. 113 (2015)
David Friggens, Lindsay Groves
Collapsing Threads Safely with Soft Invariants. CoRR (2015)
Brijesh Dongol, Lindsay Groves
Towards linking correctness conditions for concurrent objects and contextual trace refinement. Refine@FM (2015)
John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol
Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures. Haifa Verification Conference (2014)
David Friggens, Lindsay Groves
Shape Predicates Allow Unbounded Verification of Linearizability Using Canonical Abstraction. ACSC (2014)
Marco Servetto, Lindsay Groves
True small-step reduction for imperative object oriented languages. FTfJP@ECOOP (2013)
David J. Pearce, Lindsay Groves
Reflections on Verifying Software with Whiley. FTSCS (2013)
Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
Towards formally specifying and verifying transactional memory. Formal Aspects Comput. 25 (5) (2013)
David J. Pearce, Lindsay Groves
Whiley: A Platform for Research in Software Verification. SLE (2013)
Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron
Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. FTfJP@ECOOP (2012)
Keith Cassell, Craig Anslow, Lindsay Groves, Peter Andreae
Visualizing the Refactoring of Classes via Clustering. ACSC (2011)
Keith Cassell, Peter Andreae, Lindsay Groves
A Dual Clustering Approach to the Extract Class Refactoring. SEKE (2011)
Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves
Theorem prover approach to semistructured data design. Formal Methods Syst. Des. 37 (1) (2010)
Simon Doherty, Lindsay Groves
Simpler Backward Simulation Proofs. CATS (2010)
Petra Malik, Lindsay Groves, Clare Lenihan
Translating Z to Alloy. ASM (2010)
Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves
Formal Verification of Semistructured Data Models in PVS. J. Univers. Comput. Sci. 15 (1) (2009)
Lindsay Groves
Reasoning about Nonblocking Concurrency. J. Univers. Comput. Sci. 15 (1) (2009)
Keith Cassell, Peter Andreae, Lindsay Groves, James Noble
Towards Automating Class-Splitting Using Betweenness Clustering. ASE (2009)
Lindsay Groves, Robert Colvin
Trace-based derivation of a scalable lock-free stack algorithm. Formal Aspects Comput. 21 (1-2) (2009)
Lindsay Groves
Trace-based Derivation of a Lock-Free Queue Algorithm. Electron. Notes Theor. Comput. Sci. 201 (2008)
Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves
Verifying Semistructured Data Normalization Using PVS. ICECCS (2008)
Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves, Yuan-Fang Li
Correctness Criteria for Normalization of Semistructured Data. Australian Software Engineering Conference (2008)
Lindsay Groves
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction. CATS (2008)
Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves
Preface. Electron. Notes Theor. Comput. Sci. 187 (2007)
Robert Colvin, Lindsay Groves
A Scalable Lock-Free Stack Algorithm and its Verification. SEFM (2007)
Lindsay Groves
Reasoning about Nonblocking Concurrency using Reduction. ICECCS (2007)
Lindsay Groves, Robert Colvin
Derivation of a Scalable Lock-Free Stack Algorithm. Electron. Notes Theor. Comput. Sci. 187 (2007)
Lin Wang, Gillian Dobbie, Jing Sun, Lindsay Groves
Validating ORA-SS Data Models using Alloy. ASWEC (2006)
Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir
Formal Verification of a Lazy Concurrent List-Based Set Algorithm. CAV (2006)
Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves
A PVS Approach to Verifying ORA-SS Data Models. SEKE (2006)
Robert Colvin, Simon Doherty, Lindsay Groves
Verifying Concurrent Data Structures by Simulation. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Lindsay Groves
Practical Data Refinement for the Z Schema Calculus. ZB (2005)
Robert Colvin, Lindsay Groves
Formal Verification of an Array-Based Nonblocking Queue. ICECCS (2005)
Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
Formal Verification of a Practical Lock-Free Queue Algorithm. FORTE (2004)
Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.
DCAS is not a silver bullet for nonblocking algorithm design. SPAA (2004)
Lindsay Groves
Refinement and the Z schema calculus. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting
A Survey of Software Development Practices in the New Zealand Software Industry . Australian Software Engineering Conference (2000)
Lindsay Groves
A formal approach to program modification. APSEC (2000)
James Noble, Lindsay Groves, Robert Biddle
Object Oriented Program Visualisation in Tarraingim. Aust. Comput. J. 27 (4) (1995)
Lindsay Groves
Deriving Programs by Combining and Adapting Refinement Scripts. APSEC (1995)
Lindsay Groves
Deriving language recognition algorithms: A case study in combining program specialisation and data refinement. Refine (1994)
James Noble, Lindsay Groves
An Introduction to the Tarraingím Program Animation Environment. TOOLS (6) (1992)
Lindsay Groves, Raymond G. Nickson, Mark Utting
A Tactic Driven Refinement Tool. Refine (1992)
Lindsay Groves
Book review: Software prototyping, formal methods and VDM by Sharam Hekmatpour and Darrel Ince (Addison-Wesley, 1988). ACM SIGCHI Bull. 22 (2) (1990)
Zbigniew Michalewicz, Lindsay Groves
Sets and Uncertainty in Relational Databases. IPMU (1988)
Lindsay Groves
Using Simple English Sentences to Call Procedures. ACM SIGPLAN Notices 17 (11) (1982)