David J. Pearce

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 19

Top Topics

Semantic Properties

International Conference

Top Venues

Publications

Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. FM (2023)
Jens Dietrich, David J. Pearce, Mahin Chandramohan
On Leveraging Tests to Infer Nullable Annotations. ECOOP (2023)
David J. Pearce, Mark Utting, Lindsay Groves
Verifying Whiley Programs with Boogie. J. Autom. Reason. 66 (4) (2022)
Étienne Payet, David J. Pearce, Fausto Spoto
On the Termination of Borrow Checking in Featherweight Rust. NFM (2022)
David J. Pearce
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust. ACM Trans. Program. Lang. Syst. 43 (1) (2021)
Patrick Lam, Jens Dietrich, David J. Pearce
Putting the semantics into semantic versioning. Onward! (2020)
Patrick Lam, Jens Dietrich, David J. Pearce
Putting the Semantics into Semantic Versioning. CoRR (2020)
Jens Dietrich, David J. Pearce, Jacob Stringer, Amjed Tahir, Kelly Blincoe
Dependency versioning in the wild. MSR (2019)
David J. Pearce
On declarative rewriting for sound and complete union, intersection and negation types. J. Comput. Lang. 50 (2019)
Roman Klapaukh, Stuart Marshall, David J. Pearce
A Symmetry Metric for Graphs and Line Diagrams. Diagrams (2018)
Baptiste Pauget, David J. Pearce, Alex Potanin
Towards compilation of an imperative language for FPGAs. VMIL@SPLASH (2018)
David J. Pearce, Mark Utting, Lindsay Groves
An Introduction to Software Verification with Whiley. SETSS (2018)
Mark Utting, David J. Pearce, Lindsay Groves
Making Whiley Boogie! IFM (2017)
Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada
Contracts in the Wild: A Study of Java Programs. ECOOP (2017)
Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada
Contracts in the Wild: A Study of Java Programs (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
David J. Pearce
Array programming in Whiley. ARRAY@PLDI (2017)
David J. Pearce
Rewriting for sound and complete union, intersection and negation types. GPCE (2017)
David J. Pearce
A space-efficient algorithm for finding strongly connected components. Inf. Process. Lett. 116 (1) (2016)
Timothy Jones, David J. Pearce
A Mechanical Soundness Proof for Subtyping Over Recursive Types. FTfJP@ECOOP (2016)
Benoît Combemale, David J. Pearce, Richard F. Paige, Eric Van Wyk
Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014). Comput. Lang. Syst. Struct. 44 (2015)
David J. Pearce
Some usability hypotheses for verification. PLATEAU@SPLASH (2015)
David J. Pearce, Lindsay Groves
Designing a verifying compiler: Lessons learned from developing Whiley. Sci. Comput. Program. 113 (2015)
David J. Pearce
Integer Range Analysis for Whiley on Embedded Systems. ISORC Workshops (2015)
David J. Pearce
The whiley rewrite language (WyRL). SLE (2015)
Roman Klapaukh, David J. Pearce, Stuart Marshall
Comparing Graph Layouts for Vertex Selection Tasks. OZCHI (2015)
Roman Klapaukh, David J. Pearce, Stuart Marshall
Towards a Vertex and Edge Label Aware Force Directed Layout Algorithm. ACSC (2014)
David J. Pearce
A calculus for constraint-based flow typing. FTfJP@ECOOP (2013)
David J. Pearce
Sound and Complete Flow Typing with Unions, Intersections and Negations. VMCAI (2013)
Constantine Dymnikov, David J. Pearce, Alex Potanin
OwnKit: Inferring Modularly Checkable Ownership Annotations for Java. Australian Software Engineering Conference (2013)
David J. Pearce, Lindsay Groves
Reflections on Verifying Software with Whiley. FTSCS (2013)
David J. Pearce, Lindsay Groves
Whiley: A Platform for Research in Software Verification. SLE (2013)
Stephen Nelson, David J. Pearce, James Noble
Profiling Field Initialisation in Java. RV (2012)
Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black, David J. Pearce
Patterns as objects in grace. DLS (2012)
David J. Pearce
JPure: A Modular Purity System for Java. CC (2011)
Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types. Sci. Comput. Program. 76 (7) (2011)
David J. Pearce, James Noble
Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. Electron. Notes Theor. Comput. Sci. 279 (1) (2011)
Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip
10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages. Relationships, Objects, Roles, and Queries in Modern Programming Languages (2010)
Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip
10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages. Relationships, Objects, Roles, and Queries in Modern Programming Languages (2010)
Stephen Nelson, David J. Pearce, James Noble
Understanding the Impact of Collection Contracts on Design. TOOLS (48) (2010)
Gary Haggard, David J. Pearce, Gordon F. Royle
Computing Tutte Polynomials. ACM Trans. Math. Softw. 37 (3) (2010)
David J. Pearce, Gary Haggard, Gordon F. Royle
Edge-Selection Heuristics for Computing Tutte Polynomials. Chic. J. Theor. Comput. Sci. 2010 (2010)
David J. Pearce, Paul H. J. Kelly
A batch algorithm for maintaining a topological order. ACSC (2010)
David J. Pearce, Gary Haggard, Gordon F. Royle
Edge-Selection Heuristics for Computing Tutte Polynomials. CATS (2009)
Darren Willis, David J. Pearce, James Noble
Caching and incrementalisation in the java query language. OOPSLA (2008)
Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip
Relationships and associations in object-oriented languages. OOPSLA Companion (2008)
Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov
Java Bytecode Verification for @NonNull Types. CC (2008)
Bennett Thompson, David J. Pearce, Craig Anslow, Gary Haggard
Visualizing the computation tree of the Tutte Polynomial. SOFTVIS (2008)
David J. Pearce, Paul H. J. Kelly, Chris Hankin
Efficient field-sensitive pointer analysis of C. ACM Trans. Program. Lang. Syst. 30 (1) (2007)
James Noble, Arno Schmidmeier, David J. Pearce, Andrew P. Black
Patterns of Aspect-Oriented Design. EuroPLoP (2007)
David J. Pearce, Matthew Webster, Robert F. Berry, Paul H. J. Kelly
Profiling with AspectJ. Softw. Pract. Exp. 37 (7) (2007)
David J. Pearce, Paul H. J. Kelly
A dynamic topological sort algorithm for directed acyclic graphs. ACM J. Exp. Algorithmics 11 (2006)
Darren Willis, David J. Pearce, James Noble
Efficient Object Querying for Java. ECOOP (2006)
David J. Pearce, James Noble
Relationship Aspect Patterns. EuroPLoP (2006)
David J. Pearce, James Noble
Relationship aspects. AOSD (2006)
Dong-U Lee, Oskar Mencer, David J. Pearce, Wayne Luk
Automating Optimized Table-with-Polynomial Function Evaluation for FPGAs. FPL (2004)
David J. Pearce, Paul H. J. Kelly, Chris Hankin
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. Softw. Qual. J. 12 (4) (2004)
David J. Pearce, Paul H. J. Kelly
A Dynamic Algorithm for Topologically Sorting Directed Acyclic Graphs. WEA (2004)
David J. Pearce, Paul H. J. Kelly, Chris Hankin
Efficient field-sensitive pointer analysis for C. PASTE (2004)
Oskar Mencer, David J. Pearce, Lee W. Howes, Wayne Luk
Design space exploration with A Stream Compiler. FPT (2003)
David J. Pearce, Paul H. J. Kelly, Chris Hankin
Online Cycle Detection and Difference Propagation for Pointer Analysis. SCAM (2003)
David J. Pearce, Paul H. J. Kelly, Tony Field, Uli Harder
GILK: A Dynamic Instrumentation Tool for the Linux Kernel. Computer Performance Evaluation / TOOLS (2002)