default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLindsay Groves
Person information
- affiliation: Victoria University of Wellington, New Zealand
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j13]David J. Pearce
, Mark Utting, Lindsay Groves:
Verifying Whiley Programs with Boogie. J. Autom. Reason. 66(4): 747-803 (2022)- 2021
- [j12]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: 102947 (2021) - 2020
- [j11]Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves:
Decidable subtyping for path dependent types. Proc. ACM Program. Lang. 4(POPL): 66:1-66:27 (2020) - [c48]Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves:
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. APLAS 2020: 125-144 - [c47]Manish Singh, Lindsay Groves, Alex Potanin:
A Relaxed Balanced Lock-Free Binary Search Tree. PDCAT 2020: 304-317
2010 – 2019
- 2019
- [c46]Graeme Smith, Lindsay Groves:
Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors. FM Workshops (2) 2019: 342-357 - 2018
- [c45]Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich:
Capabilities: Effects for Free. ICFEM 2018: 231-247 - [c44]David J. Pearce, Mark Utting, Lindsay Groves:
An Introduction to Software Verification with Whiley. SETSS 2018: 1-37 - 2017
- [c43]Mark Utting, David J. Pearce, Lindsay Groves:
Making Whiley Boogie! IFM 2017: 69-84 - [c42]Liang Yang, Bryan Ng, Winston K. G. Seah, Lindsay Groves:
Equivalent forwarding set evaluation in software defined networking. IM 2017: 576-579 - [c41]Liang Yang, Bryan Ng, Winston K. G. Seah, Lindsay Groves:
Deterministic Confidence Interval Estimation of Networking Traffic in SDN. LCN 2017: 120-127 - [p2]John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol:
A Proof Method for Linearizability on TSO Architectures. Provably Correct Systems 2017: 61-91 - 2016
- [c40]Brijesh Dongol, Lindsay Groves:
Contextual Trace Refinement for Concurrent Objects: Safety and Progress. ICFEM 2016: 261-278 - [i2]Brijesh Dongol, Lindsay Groves:
Contextual trace refinement for concurrent objects: Safety and progress. CoRR abs/1603.01412 (2016) - 2015
- [j10]David J. Pearce, Lindsay Groves:
Designing a verifying compiler: Lessons learned from developing Whiley. Sci. Comput. Program. 113: 191-220 (2015) - [c39]Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith:
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. ECOOP 2015: 470-494 - [c38]Brijesh Dongol, Lindsay Groves:
Towards linking correctness conditions for concurrent objects and contextual trace refinement. Refine@FM 2015: 107-111 - [i1]David Friggens, Lindsay Groves:
Collapsing Threads Safely with Soft Invariants. CoRR abs/1512.09186 (2015) - 2014
- [c37]David Friggens, Lindsay Groves:
Shape Predicates Allow Unbounded Verification of Linearizability Using Canonical Abstraction. ACSC 2014: 49-56 - [c36]John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol:
Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures. Haifa Verification Conference 2014: 1-16 - 2013
- [j9]Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir:
Towards formally specifying and verifying transactional memory. Formal Aspects Comput. 25(5): 769-799 (2013) - [c35]Marco Servetto, Lindsay Groves:
True small-step reduction for imperative object oriented languages. FTfJP@ECOOP 2013: 1:1-1:7 - [c34]David J. Pearce, Lindsay Groves:
Reflections on Verifying Software with Whiley. FTSCS 2013: 142-159 - [c33]David J. Pearce, Lindsay Groves:
Whiley: A Platform for Research in Software Verification. SLE 2013: 238-248 - [e2]Lindsay Groves, Jing Sun:
Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings. Lecture Notes in Computer Science 8144, Springer 2013, ISBN 978-3-642-41201-1 [contents] - 2012
- [c32]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: 11-19 - 2011
- [c31]Keith Cassell, Craig Anslow, Lindsay Groves, Peter Andreae:
Visualizing the Refactoring of Classes via Clustering. ACSC 2011: 63-72 - [c30]Keith Cassell, Peter Andreae, Lindsay Groves:
A Dual Clustering Approach to the Extract Class Refactoring. SEKE 2011: 77-82 - 2010
- [j8]Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves:
Theorem prover approach to semistructured data design. Formal Methods Syst. Des. 37(1): 1-60 (2010) - [c29]Petra Malik, Lindsay Groves, Clare Lenihan:
Translating Z to Alloy. ASM 2010: 377-390 - [c28]Simon Doherty, Lindsay Groves:
Simpler Backward Simulation Proofs. CATS 2010: 71-78
2000 – 2009
- 2009
- [j7]Lindsay Groves, Robert Colvin:
Trace-based derivation of a scalable lock-free stack algorithm. Formal Aspects Comput. 21(1-2): 187-223 (2009) - [j6]Lindsay Groves:
Reasoning about Nonblocking Concurrency. J. Univers. Comput. Sci. 15(1): 72-111 (2009) - [j5]Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves:
Formal Verification of Semistructured Data Models in PVS. J. Univers. Comput. Sci. 15(1): 241-272 (2009) - [c27]Keith Cassell, Peter Andreae, Lindsay Groves, James Noble:
Towards Automating Class-Splitting Using Betweenness Clustering. ASE 2009: 595-599 - 2008
- [c26]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: 248-257 - [c25]Lindsay Groves:
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction. CATS 2008: 133-142 - [c24]Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves:
Verifying Semistructured Data Normalization Using PVS. ICECCS 2008: 15-24 - 2007
- [c23]Lindsay Groves:
Reasoning about Nonblocking Concurrency using Reduction. ICECCS 2007: 107-116 - [c22]Robert Colvin, Lindsay Groves:
A Scalable Lock-Free Stack Algorithm and its Verification. SEFM 2007: 339-348 - [c21]Lindsay Groves:
Trace-based Derivation of a Lock-Free Queue Algorithm. REFINE@IFM 2007: 69-98 - [e1]Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves:
Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006. Electronic Notes in Theoretical Computer Science 187, Elsevier 2007 [contents] - 2006
- [c20]Lin Wang, Gillian Dobbie, Jing Sun, Lindsay Groves:
Validating ORA-SS Data Models using Alloy. ASWEC 2006: 231-242 - [c19]Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir:
Formal Verification of a Lazy Concurrent List-Based Set Algorithm. CAV 2006: 475-488 - [c18]Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves:
A PVS Approach to Verifying ORA-SS Data Models. SEKE 2006: 126-131 - [c17]Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves:
Preface. Refine@ICFEM 2006: 1 - [c16]Lindsay Groves, Robert Colvin:
Derivation of a Scalable Lock-Free Stack Algorithm. Refine@ICFEM 2006: 55-74 - 2005
- [c15]Robert Colvin, Lindsay Groves:
Formal Verification of an Array-Based Nonblocking Queue. ICECCS 2005: 507-516 - [c14]Lindsay Groves:
Practical Data Refinement for the Z Schema Calculus. ZB 2005: 393-413 - [c13]Robert Colvin, Simon Doherty, Lindsay Groves:
Verifying Concurrent Data Structures by Simulation. REFINE 2005: 93-110 - 2004
- [c12]Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir:
Formal Verification of a Practical Lock-Free Queue Algorithm. FORTE 2004: 97-114 - [c11]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: 216-224 - [p1]Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper:
Developing Logic Programs from Specifications Using Stepwise Refinement. Program Development in Computational Logic 2004: 66-89 - 2002
- [c10]Lindsay Groves:
Refinement and the Z schema calculus. Refine 2002: 70-93 - 2000
- [c9]Lindsay Groves:
A formal approach to program modification. APSEC 2000: 274-281 - [c8]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: 189-202
1990 – 1999
- 1995
- [j4]James Noble, Lindsay Groves, Robert Biddle:
Object Oriented Program Visualisation in Tarraingim. Aust. Comput. J. 27(4): 138-149 (1995) - [c7]Lindsay Groves:
Deriving Programs by Combining and Adapting Refinement Scripts. APSEC 1995: 354-363 - 1994
- [j3]Mike Ainsworth, A. H. Cruickshank, Peter J. L. Wallis, Lindsay J. Groves:
Viewpoint specification and Z. Inf. Softw. Technol. 36(1): 43-51 (1994) - [c6]Lindsay Groves:
Deriving language recognition algorithms: A case study in combining program specialisation and data refinement. Refine 1994: 103-120 - [c5]Raymond G. Nickson, Lindsay J. Groves:
Metavariables and Conditional Refinements in the Refinement Calculus. Refine 1994: 167-187 - 1992
- [c4]Lindsay Groves, Raymond G. Nickson, Mark Utting:
A Tactic Driven Refinement Tool. Refine 1992: 272-297 - [c3]James Noble, Lindsay Groves:
An Introduction to the Tarraingím Program Animation Environment. TOOLS (6) 1992: 37-50 - 1990
- [j2]Lindsay Groves:
Book review: Software prototyping, formal methods and VDM by Sharam Hekmatpour and Darrel Ince (Addison-Wesley, 1988). ACM SIGCHI Bull. 22(2): 78-80 (1990)
1980 – 1989
- 1988
- [c2]Zbigniew Michalewicz, Lindsay Groves:
Sets and Uncertainty in Relational Databases. IPMU 1988: 127-137 - 1982
- [j1]Lindsay Groves:
Using Simple English Sentences to Call Procedures. ACM SIGPLAN Notices 17(11): 31-38 (1982) - 1980
- [c1]Lindsay J. Groves, William J. Rogers:
The design of a virtual machine for Ada. SIGPLAN 1980: 223-234
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
