GILK: A Dynamic Instrumentation Tool for the Linux Kernel. - David J. Pearce 001; Paul H. J. Kelly; Tony Field; Uli Harder (Computer Performance Evaluation / TOOLS, 2002)

Design space exploration with A Stream Compiler. - Oskar Mencer; David J. Pearce 001; Lee W. Howes; Wayne Luk (FPT, 2003)

Online Cycle Detection and Difference Propagation for Pointer Analysis. - David J. Pearce 001; Paul H. J. Kelly; Chris Hankin (SCAM, 2003)

Automating Optimized Table-with-Polynomial Function Evaluation for FPGAs. - Dong-U Lee; Oskar Mencer; David J. Pearce 001; Wayne Luk (FPL, 2004)

A Dynamic Algorithm for Topologically Sorting Directed Acyclic Graphs. - David J. Pearce 001; Paul H. J. Kelly (WEA, 2004)

Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. - David J. Pearce 001; Paul H. J. Kelly; Chris Hankin (Softw. Qual. J., 2004)

Some directed graph algorithms and their application to pointer analysis. - David James Pearce (2005)

Relationship aspects. - David J. Pearce 001; James Noble 001 (AOSD, 2006)

Efficient Object Querying for Java. - Darren Willis; David J. Pearce 001; James Noble 001 (ECOOP, 2006)

Relationship Aspect Patterns. - David J. Pearce 001; James Noble 001 (EuroPLoP, 2006)

A dynamic topological sort algorithm for directed acyclic graphs. - David J. Pearce 001; Paul H. J. Kelly (ACM J. Exp. Algorithmics, 2006)

Patterns of Aspect-Oriented Design. - James Noble 001; Arno Schmidmeier; David J. Pearce 001; Andrew P. Black (EuroPLoP, 2007)

Profiling with AspectJ. - David J. Pearce 001; Matthew Webster; Robert F. Berry; Paul H. J. Kelly (Softw. Pract. Exp., 2007)

Efficient field-sensitive pointer analysis of C. - David J. Pearce 001; Paul H. J. Kelly; Chris Hankin (ACM Trans. Program. Lang. Syst., 2007)

Java Bytecode Verification for @NonNull Types. - Chris Male; David J. Pearce 001; Alex Potanin; Constantine Dymnikov (CC, 2008)

Relationships and associations in object-oriented languages. - Stephen Nelson; Stephanie Balzer; Gavin M. Bierman; Erik Meijer 001; James Noble 001; David J. Pearce 001; Jiri Soukup; Frank Tip (OOPSLA Companion, 2008)

Caching and incrementalisation in the java query language. - Darren Willis; David J. Pearce 001; James Noble 001 (OOPSLA, 2008)

Visualizing the computation tree of the Tutte Polynomial. - Bennett Thompson; David J. Pearce 001; Craig Anslow; Gary Haggard (SOFTVIS, 2008)

A batch algorithm for maintaining a topological order. - David J. Pearce 001; Paul H. J. Kelly (ACSC, 2010)

10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages. - Guido Boella; Erik Meijer 001; David J. Pearce 001; Friedrich Steimann; Frank Tip (Relationships, Objects, Roles, and Queries in Modern Programming Languages, 2010)

10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages. - Guido Boella; Erik Meijer 001; David J. Pearce 001; Friedrich Steimann; Frank Tip (Relationships, Objects, Roles, and Queries in Modern Programming Languages, 2010)

Understanding the Impact of Collection Contracts on Design. - Stephen Nelson; David J. Pearce 001; James Noble 001 (TOOLS (48), 2010)

Edge-Selection Heuristics for Computing Tutte Polynomials. - David J. Pearce 001; Gary Haggard; Gordon F. Royle (Chic. J. Theor. Comput. Sci., 2010)

Computing Tutte Polynomials. - Gary Haggard; David J. Pearce 001; Gordon F. Royle (ACM Trans. Math. Softw., 2010)

JPure: A Modular Purity System for Java. - David J. Pearce 001 (CC, 2011)

Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. - David J. Pearce 001; James Noble 001 (Bytecode@ETAPS, 2011)

Formalisation and implementation of an algorithm for bytecode verification of @NonNull types. - Chris Male; David J. Pearce 001; Alex Potanin; Constantine Dymnikov (Sci. Comput. Program., 2011)

Patterns as objects in grace. - Michael Homer; James Noble 001; Kim B. Bruce; Andrew P. Black; David J. Pearce 001 (DLS, 2012)

Profiling Field Initialisation in Java. - Stephen Nelson; David J. Pearce 001; James Noble 001 (RV, 2012)

OwnKit: Inferring Modularly Checkable Ownership Annotations for Java. - Constantine Dymnikov; David J. Pearce 001; Alex Potanin (Australian Software Engineering Conference, 2013)

A calculus for constraint-based flow typing. - David J. Pearce 001 (FTfJP@ECOOP, 2013)

Reflections on Verifying Software with Whiley. - David J. Pearce 001; Lindsay Groves (FTSCS, 2013)

Whiley: A Platform for Research in Software Verification. - David J. Pearce 001; Lindsay Groves (SLE, 2013)

Sound and Complete Flow Typing with Unions, Intersections and Negations. - David J. Pearce 001 (VMCAI, 2013)

Towards a Vertex and Edge Label Aware Force Directed Layout Algorithm. - Roman Klapaukh; David J. Pearce 001; Stuart Marshall (ACSC, 2014)

Integer Range Analysis for Whiley on Embedded Systems. - David J. Pearce 001 (ISORC Workshops, 2015)

Some usability hypotheses for verification. - David J. Pearce 001 (PLATEAU@SPLASH, 2015)

Comparing Graph Layouts for Vertex Selection Tasks. - Roman Klapaukh; David J. Pearce 001; Stuart Marshall (OZCHI, 2015)

The whiley rewrite language (WyRL). - David J. Pearce 001 (SLE, 2015)

Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014). - Benoît Combemale; David J. Pearce 001; Richard F. Paige; Eric Van Wyk (Comput. Lang. Syst. Struct., 2015)

Designing a verifying compiler: Lessons learned from developing Whiley. - David J. Pearce 001; Lindsay Groves (Sci. Comput. Program., 2015)

A Mechanical Soundness Proof for Subtyping Over Recursive Types. - Timothy Jones 002; David J. Pearce 001 (FTfJP@ECOOP, 2016)

A space-efficient algorithm for finding strongly connected components. - David J. Pearce 001 (Inf. Process. Lett., 2016)

Contracts in the Wild: A Study of Java Programs. - Jens Dietrich 001; David J. Pearce 001; Kamil Jezek; Premek Brada (ECOOP, 2017)

Rewriting for sound and complete union, intersection and negation types. - David J. Pearce 001 (GPCE, 2017)

Making Whiley Boogie! - Mark Utting; David J. Pearce 001; Lindsay Groves (IFM, 2017)

Array programming in Whiley. - David J. Pearce 001 (ARRAY@PLDI, 2017)

Contracts in the Wild: A Study of Java Programs (Artifact). - Jens Dietrich 001; David J. Pearce 001; Kamil Jezek; Premek Brada (Dagstuhl Artifacts Ser., 2017)

A Symmetry Metric for Graphs and Line Diagrams. - Roman Klapaukh; Stuart Marshall; David J. Pearce 001 (Diagrams, 2018)

Towards compilation of an imperative language for FPGAs. - Baptiste Pauget; David J. Pearce 001; Alex Potanin (VMIL@SPLASH, 2018)

An Introduction to Software Verification with Whiley. - David J. Pearce 001; Mark Utting; Lindsay Groves (SETSS, 2018)

Dependency versioning in the wild. - Jens Dietrich 001; David J. Pearce 001; Jacob Stringer; Amjed Tahir; Kelly Blincoe (MSR, 2019)

On declarative rewriting for sound and complete union, intersection and negation types. - David J. Pearce 001 (J. Comput. Lang., 2019)

Putting the semantics into semantic versioning. - Patrick Lam 001; Jens Dietrich 001; David J. Pearce 001 (Onward!, 2020)

Editorial for GPCE&SLE2018 Special Issue. - David J. Pearce 001; Ulrik Pagh Schultz (J. Comput. Lang., 2020)

A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust. - David J. Pearce 001 (ACM Trans. Program. Lang. Syst., 2021)

AtmoVis: Web Based Visualization of Air Quality Data with Interconnected Windows. - Benjamin Thomas Powley; Craig Anslow; David James Pearce (EnvirVis@EuroVis, 2022)

On the Termination of Borrow Checking in Featherweight Rust. - Étienne Payet; David J. Pearce 001; Fausto Spoto (NFM, 2022)

Verifying Whiley Programs with Boogie. - David J. Pearce 001; Mark Utting; Lindsay Groves (J. Autom. Reason., 2022)

On Leveraging Tests to Infer Nullable Annotations. - Jens Dietrich 001; David J. Pearce 001; Mahin Chandramohan (ECOOP, 2023)

Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. - Franck Cassez; Joanne Fuller; Milad K. Ghale; David J. Pearce 001; Horacio Mijail Anton Quiles (FM, 2023)

Perceptions of Edinburgh: Capturing neighbourhood characteristics by clustering geoparsed local news. - Andreas Grivas; Claire Grover; Richard Tobin; Clare Llewellyn; Eleojo Oluwaseun Abubakar; Chunyu Zheng; Chris Dibben; Alan Marshall; David J. Pearce 001; Beatrice Alex (Inf. Process. Manag., 2025)