On Declarative Rewriting for Sound and Complete Union, Intersection and Negation Types. David J. Pearce. In Journal of Visual Languages & Computing, 50 pages 84--101, 2018. ©Elsevier
A Space Efficient Algorithm for Detecting Strongly Connected Components. David J. Pearce. In Information Processing Letters, 116 (1), pages 47--52, 2016. ©Elsevier
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
Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. David J. Pearce and James Noble. In Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE), ENTCS, 279 (1), pages 47--59, 2011. ©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
Putting the Semantics into Semantic Versioning. Patrick Lam, Jens Dietrich and David J. Pearce. In Onward! Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pages (to appear), 2020.
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
Rewriting for Sound and Complete Union, Intersection and Negation Types. David J. Pearce. In Proceedings of the Conference on Generative Programming: Concepts & Experience (GPCE), pages 117--130, 2018. ©ACM Press
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
Making Whiley Boogie!. Mark Utting, David J. Pearce and Lindsay Groves. In Conference on Integrated Formal Methods (IFM), pages 69--84, 2017. ©Springer
Towards Compilation of an Imperative Language for FPGAs. Baptiste Pauget, Alex Potanin and David J. Pearce. In Workshop on Virtual Machines and Language Implementations (VMIL), pages 47--56, 2018. ©ACM Press
Array Programming in Whiley. David J. Pearce. In Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY), pages 17--24, 2017. ©ACM Press
A Mechanical Soundness Proof for Subtyping over Recursive Types. Timothy Jones and David J. Pearce. In Workshop on Formal Techniques for Java-like Languages (FTFJP), pages Article 1, 2016. ©ACM Press
Some Usability Hypotheses for Verification. David J. Pearce. In Proceedings of the Workshop on Evaluation and Usability of Programming Languages (PLATEAU),, pages 26--33, 2015. ©ACM Press
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
Computational Resources. Gordon Royle and David J. Pearce. In CRC Handbook on the Tutte polynomial and related topics, pages 161--175, 2020. ©CRC Press
An Introduction to Software Verification with Whiley. David J. Pearce and Mark Utting and Lindsay Groves. In Engineering Trustworthy Software Systems, pages 1--37, 2018. ©Springer
Reverse Engineering of an Obfuscated Binary. Kaisuho Yang. MSc Thesis, Victoria University of Wellington, 2020.
AtmoVis: Visualization of Air Quality Data. Benjamin Powley. MSc Thesis, Victoria University of Wellington, 2019.
Maintaining Private Views in Java. Paran Haslett. MSc Thesis, Victoria University of Wellington, 2014.