Verifying Whiley Programs with Boogie. David J. Pearce, Mark Utting and Lindsay Groves. In Journal of Automated Reasoning (JAR), 2022. ©Springer
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust. David J. Pearce. In Transactions on Programming Languages and Systems, 43 (1), pages Article 3, 2021. ©ACM
Finding Bugs with Specification-Based Testing is Easy!. Janice Chin and David J. Pearce. In The Art, Science, and Engineering of Programming, 2021.
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
On the Termination of Borrow Checking in Featherweight Rust. Étienne Payet, David J. Pearce and Fausto Spoto. In Proceedings of the Nasa Formal Methods Symposium (NFM), 2022.
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 157--179, 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
AtmoVis: Web Based Visualization of Air Quality Data with Interconnected Windows. Benjamin Powley, Craig Anslow and David J. Pearce. In Proceedings of the Workshop on Visualization in Environmental Sciences (EnvirVis), 2022. ©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
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.