Formal verification of a practical lock-free queue algorithm S Doherty, L Groves, V Luchangco, M Moir Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004 | 146 | 2004 |
DCAS is not a silver bullet for nonblocking algorithm design S Doherty, DL Detlefs, L Groves, CH Flood, V Luchangco, PA Martin, ... Proceedings of the sixteenth annual ACM symposium on Parallelism in …, 2004 | 105 | 2004 |
Towards formally specifying and verifying transactional memory S Doherty, L Groves, V Luchangco, M Moir Formal Aspects of Computing 25 (5), 769-799, 2013 | 102 | 2013 |
Formal verification of a lazy concurrent list-based set algorithm R Colvin, L Groves, V Luchangco, M Moir Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 99 | 2006 |
Viewpoint specification and Z M Ainsworth, AH Cruickshank, PJL Wallis, LJ Groves Information and Software Technology 36 (1), 43-51, 1994 | 79 | 1994 |
A survey of software development practices in the New Zealand software industry L Groves, R Nickson, G Reeve, S Reeves, M Utting Proceedings 2000 Australian Software Engineering Conference, 189-201, 2000 | 73 | 2000 |
A tactic driven refinement tool L Groves, R Nickson, M Utting 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop …, 1992 | 62 | 1992 |
Verifying concurrent data structures by simulation R Colvin, S Doherty, L Groves Electronic Notes in Theoretical Computer Science 137 (2), 93-110, 2005 | 53 | 2005 |
Formal verification of an array-based nonblocking queue R Colvin, L Groves 10th IEEE International Conference on Engineering of Complex Computer …, 2005 | 52 | 2005 |
Genetic algorithms for drawing directed graphs LJ Groves, Z Michalewicz, PV Elia, CZ Janikow Methodologies for Intelligent Systems, 5th Proceedings of the Fifth …, 1990 | 51 | 1990 |
Whiley: a platform for research in software verification DJ Pearce, L Groves International Conference on Software Language Engineering, 238-248, 2013 | 45 | 2013 |
Towards formally specifying and verifying transactional memory S Doherty, L Groves, V Luchangco, M Moir Electronic Notes in Theoretical Computer Science 259, 245-261, 2009 | 36 | 2009 |
Designing a verifying compiler: Lessons learned from developing whiley DJ Pearce, L Groves Science of Computer Programming 113, 191-220, 2015 | 32 | 2015 |
Refinement and the Z schema calculus L Groves Electronic Notes in Theoretical Computer Science 70 (3), 70-93, 2002 | 31 | 2002 |
Verifying Michael and Scott's lock-free queue algorithm using trace reduction L Groves Proceedings of the fourteenth symposium on Computing: the Australasian …, 2008 | 29 | 2008 |
Encoding Featherweight Java with assignment and immutability using the Coq proof assistant J Mackay, H Mehnert, A Potanin, L Groves, N Cameron Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs …, 2012 | 28 | 2012 |
Metavariables and conditional refinements in the refinement calculus RG Nickson, LJ Groves 6th Refinement Workshop: Proceedings of the 6th Refinement Workshop …, 1994 | 28 | 1994 |
Object oriented program visualisation in Tarraingím J Noble, L Groves, R Biddle Australian Computer Journal 27 (4), 138-149, 1995 | 26 | 1995 |
Translating z to alloy P Malik, L Groves, C Lenihan Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010 | 25 | 2010 |
Balloon types for safe parallelisation over arbitrary object graphs M Servetto, DJ Pearce, L Groves, A Potanin Workshop on Determinism and Correctness in Parallel Programming (WoDet) 107, 2013 | 24 | 2013 |