Designing a Verifying Compiler: Lessons Learned from Developing Whiley. David J. Pearce and Lindsay Groves. In Science of Computer Programming, 113 (2), pages 191--220, 2015. ©Elsevier

Formalisation and Implementation of an Algorithm for Bytecode Verification of @NonNull Types. Chris Male, David J. Pearce, Alex Potanin and Constantine Dymnikov. In Science of Computer Programming, 76 (7), pages 587--608, 2011. ©Elsevier

Computing Tutte Polynomials. Gary Haggard, David J. Pearce and Gordon Royle. In ACM Transactions on Mathematical Software, 37 (3), pages article 24, 2010. ©ACM Press

Efficient Field-Sensitive Pointer Analysis for C. David J. Pearce, Paul H.J. Kelly and Chris Hankin. In ACM Transactions on Programming Languages and Systems (TOPLAS), 30 (1), 2007. ©ACM Press

Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. David J. Pearce, Paul H.J. Kelly and Chris Hankin. In Software Quality Journal, 12 (4), pages 209--335, 2004. ©Kluwer Academic Publishers

Dependency Versioning in the Wild. Jens Dietrich, David J. Pearce, Jacob Stringer, Amjed Tahir and Kelly Blincoe. In Conference on Mining Software Repositories (MSR), pages 349--359, 2019. ©IEEE

A Symmetry Metric for Graphs and Line Diagrams. Roman Klapaukh, Stuart Marshall and David J. Pearce. In Conference on the Theory and Application of Diagrams (DIAGRAMS), pages 739--742, 2018. ©Springer

Contracts in the Wild: A Study of Java Programs. Jens Dietrich, David J. Pearce, Kamil Jezek and Premek Brada. In European Conference on Object Oriented Programming (ECOOP), pages 9:1--9:29, 2017. ©Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Comparing Graph Layouts for Vertex Selection Tasks. Roman Klapaukh, David J. Pearce and Stuart Marshall. In Australian Conference on Human Computer Interaction (OzCHI), pages 557--565, 2015. ©ACM Press

Whiley: a Platform for Research in Software Verification. David J. Pearce and Lindsay Groves. In Proceedings of the Conference on Software Language Engineering (SLE), pages 238--248, 2013. ©Springer

OwnKit: Inferring Modularly Checkable Ownership Annotations for Java. Constantine Dymnikov, David J. Pearce and Alex Potanin. In Australasian Software Engineering Conference (ASWEC), pages 181--190, 2013. ©IEEE

Patterns as Objects in Grace. Michael Homer, James Noble, Kim Bruce, Andrew Black and David J. Pearce. In Dynamic Languages Symposium (DLS), pages 17--28, 2012. ©ACM Press

Understanding the Impact of Collection Contracts on Design. Stephen F. Nelson, David J. Pearce and James Noble. In Conference on Objects, Models, Components, Patterns (TOOLS EUROPE), pages 61--78, 2010. ©Springer

Edge-Selection Heuristics for Computing Tutte Polynomials. David J. Pearce, Gary Haggard and Gordon Royle. In Computing: The Australasian Theory Symposium (CATS), pages 153--162, 2009. ©Australian Computer Society, Inc.

Patterns for ADT Optimisation. David J. Pearce and James Noble. In Proceedings of the conference on Pattern Languages of Programs (PLoP), pages Article 26, 2008. ©ACM Press

Caching and Incrementalisation for the Java Query Language. Darren Willis, David J. Pearce and James Noble. In Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA), pages 1--17, 2008. ©ACM Press

Patterns of Aspect-Oriented Design. James Noble, Arno Schmidmeier, David J. Pearce and Andrew Black. In European Conference on Pattern Languages of Programs (EuroPLOP), pages 769--796, 2007.

Relationship Aspects. David J. Pearce and James Noble. In Conference on Aspect-Oriented Software Development (AOSD), pages 75--86, 2006. ©ACM Press

Efficient Object Querying for Java. Darren Willis, David J. Pearce and James Noble. In European Conference on Object Oriented Programming (ECOOP), pages 28--49, 2006. ©Springer

Design Space Exploration with A Stream Compiler. Oskar Mencer, David J. Pearce, Lee Howes and Wayne Luk. In Conference on Field-Programmable Technology (FPT), pages 270--277, 2003. ©IEEE

Integer Range Analysis for Whiley on Embedded Systems. David J. Pearce. In IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS), pages 26--33, 2015. ©IEEE

Balloon Types for Safe Parallelisation over Arbitrary Object Graphs. Marco Servetto, David J. Pearce, Lindsay Groves and Alex Potanin. In Workshop on Determinism and Correctness in Parallel Programming (WODET), 2013.

A Calculus for Constraint-Based Flow Typing. David J. Pearce. In Workshop on Behavioural Types (BEAT), 2013.

Object State Querying for Optimisation. David J. Pearce and James Noble. In Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL), 2008. ©ACM Press

Implementing First-Class Relationships in Java. Stephen F. Nelson, David J. Pearce and James Noble. In Workshop on Relationships and Associations in Object-Oriented Languages (RAOOL), 2008. ©ACM Press

Efficient Field-Sensitive Pointer Analysis for C. David J. Pearce, Paul H.J. Kelly and Chris Hankin. In Workshop on Program Analysis for Software Tools and Engineering (PASTE), pages 37--42, 2004. ©ACM Press

Online Cycle Detection and Difference Propagation for Pointer Analysis. David J. Pearce, Paul H.J. Kelly and Chris Hankin. In Workshop on Source Code Analysis and Manipulation (SCAM), pages 3--12, 2003. ©IEEE

Graceful Language Extensions and Interfaces. Michael Homer. PhD Thesis, Victoria University of Wellington, 2014.

Profiling Initialisation Behaviour in Java. Stephen Nelson. PhD Thesis, Victoria University of Wellington, 2012.

Mocha: Type Inference for Java. Chris Male. MSc Thesis, Victoria University of Wellington, 2009.

Some directed graph algorithms and their application to pointer analysis.. David J. Pearce. PhD Thesis, Imperial College of Science, Technology and Medicine, University of London, 2005.