Lindsay Groves

64 papers A* 2A 1B 10C 10Journal 14Unranked 24

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