| 2023 | ECOOP | On Leveraging Tests to Infer Nullable Annotations. | Jens Dietrich, David J. Pearce, Mahin Chandramohan |
| 2023 | FM | Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. | Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles |
| 2022 | GPCE | Language Design Meets Verifying Compilers (Keynote). | David J. Pearce |
| 2020 | OOPSLA | Putting the semantics into semantic versioning. | Patrick Lam, Jens Dietrich, David J. Pearce |
| 2019 | MSR | Dependency versioning in the wild. | Jens Dietrich, David J. Pearce, Jacob Stringer, Amjed Tahir, Kelly Blincoe |
| 2018 | DIAGRAMS | A Symmetry Metric for Graphs and Line Diagrams. | Roman Klapaukh, Stuart Marshall, David J. Pearce |
| 2018 | OOPSLA | Towards compilation of an imperative language for FPGAs. | Baptiste Pauget, David J. Pearce, Alex Potanin |
| 2017 | ECOOP | Contracts in the Wild: A Study of Java Programs. | Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada |
| 2017 | GPCE | Rewriting for sound and complete union, intersection and negation types. | David J. Pearce |
| 2017 | IFM | Making Whiley Boogie! | Mark Utting, David J. Pearce, Lindsay Groves |
| 2017 | PLDI | Array programming in Whiley. | David J. Pearce |
| 2016 | ECOOP | A Mechanical Soundness Proof for Subtyping Over Recursive Types. | Timothy Jones, David J. Pearce |
| 2015 | ISORC | Integer Range Analysis for Whiley on Embedded Systems. | David J. Pearce |
| 2015 | OOPSLA | Some usability hypotheses for verification. | David J. Pearce |
| 2015 | OZCHI | Comparing Graph Layouts for Vertex Selection Tasks. | Roman Klapaukh, David J. Pearce, Stuart Marshall |
| 2015 | SLE | The whiley rewrite language (WyRL). | David J. Pearce |
| 2013 | ECOOP | A calculus for constraint-based flow typing. | David J. Pearce |
| 2013 | SLE | Whiley: A Platform for Research in Software Verification. | David J. Pearce, Lindsay Groves |
| 2013 | VMCAI | Sound and Complete Flow Typing with Unions, Intersections and Negations. | David J. Pearce |
| 2012 | DLS | Patterns as objects in grace. | Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black, David J. Pearce |
| 2012 | RV | Profiling Field Initialisation in Java. | Stephen Nelson, David J. Pearce, James Noble |
| 2011 | CC | JPure: A Modular Purity System for Java. | David J. Pearce |
| 2008 | CC | Java Bytecode Verification for @NonNull Types. | Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov |
| 2008 | OOPSLA | Relationships and associations in object-oriented languages. | Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip |
| 2008 | OOPSLA | Caching and incrementalisation in the java query language. | Darren Willis, David J. Pearce, James Noble |
| 2007 | EuroPLop | Patterns of Aspect-Oriented Design. | James Noble, Arno Schmidmeier, David J. Pearce, Andrew P. Black |
| 2006 | ECOOP | Efficient Object Querying for Java. | Darren Willis, David J. Pearce, James Noble |
| 2006 | EuroPLop | Relationship Aspect Patterns. | David J. Pearce, James Noble |
| 2004 | FPL | Automating Optimized Table-with-Polynomial Function Evaluation for FPGAs. | Dong-U Lee, Oskar Mencer, David J. Pearce, Wayne Luk |
| 2003 | SCAM | Online Cycle Detection and Difference Propagation for Pointer Analysis. | David J. Pearce, Paul H. J. Kelly, Chris Hankin |