default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid J. Pearce 0001
Person information
- affiliation: Victoria University of Wellington, New Zealand
Other persons with the same name
- David J. Pearce 0002 — ConsenSys, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c45]Jens Dietrich
, David J. Pearce, Mahin Chandramohan:
On Leveraging Tests to Infer Nullable Annotations. ECOOP 2023: 10:1-10:25- [c44]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: 571-583 - [i4]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. CoRR abs/2303.00152 (2023) - 2022
- [j15]David J. Pearce, Mark Utting, Lindsay Groves:
Verifying Whiley Programs with Boogie. J. Autom. Reason. 66(4): 747-803 (2022) - [c43]Benjamin Thomas Powley, Craig Anslow, David James Pearce:
AtmoVis: Web Based Visualization of Air Quality Data with Interconnected Windows. EnvirVis@EuroVis 2022: 19-26 - [c42]Étienne Payet, David J. Pearce, Fausto Spoto:
On the Termination of Borrow Checking in Featherweight Rust. NFM 2022: 411-430 - 2021
- [j14]David J. Pearce:
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust. ACM Trans. Program. Lang. Syst. 43(1): 3:1-3:73 (2021) - 2020
- [j13]David J. Pearce, Ulrik Pagh Schultz:
Editorial for GPCE&SLE2018 Special Issue. J. Comput. Lang. 59: 100988 (2020) - [c41]Patrick Lam, Jens Dietrich, David J. Pearce:
Putting the semantics into semantic versioning. Onward! 2020: 157-179 - [i3]Patrick Lam, Jens Dietrich, David J. Pearce:
Putting the Semantics into Semantic Versioning. CoRR abs/2008.07069 (2020)
2010 – 2019
- 2019
- [j12]David J. Pearce:
On declarative rewriting for sound and complete union, intersection and negation types. J. Comput. Lang. 50: 84-101 (2019) - [c40]Jens Dietrich, David J. Pearce, Jacob Stringer, Amjed Tahir, Kelly Blincoe:
Dependency versioning in the wild. MSR 2019: 349-359 - 2018
- [c39]Roman Klapaukh, Stuart Marshall, David J. Pearce:
A Symmetry Metric for Graphs and Line Diagrams. Diagrams 2018: 739-742 - [c38]Baptiste Pauget, David J. Pearce, Alex Potanin:
Towards compilation of an imperative language for FPGAs. VMIL@SPLASH 2018: 47-56 - [c37]David J. Pearce, Mark Utting, Lindsay Groves:
An Introduction to Software Verification with Whiley. SETSS 2018: 1-37 - [e4]David J. Pearce, Tanja Mayerhofer, Friedrich Steimann:
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, Boston, MA, USA, November 05-06, 2018. ACM 2018, ISBN 978-1-4503-6029-6 [contents] - 2017
- [j11]Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada:
Contracts in the Wild: A Study of Java Programs (Artifact). Dagstuhl Artifacts Ser. 3(2): 06:1-06:4 (2017) - [c36]Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada:
Contracts in the Wild: A Study of Java Programs. ECOOP 2017: 9:1-9:29 - [c35]David J. Pearce:
Rewriting for sound and complete union, intersection and negation types. GPCE 2017: 117-130 - [c34]Mark Utting, David J. Pearce, Lindsay Groves:
Making Whiley Boogie! IFM 2017: 69-84 - [c33]David J. Pearce:
Array programming in Whiley. ARRAY@PLDI 2017: 17-24 - 2016
- [j10]David J. Pearce:
A space-efficient algorithm for finding strongly connected components. Inf. Process. Lett. 116(1): 47-52 (2016) - [c32]Timothy Jones, David J. Pearce:
A Mechanical Soundness Proof for Subtyping Over Recursive Types. FTfJP@ECOOP 2016: 1 - 2015
- [j9]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: 1-2 (2015) - [j8]David J. Pearce, Lindsay Groves:
Designing a verifying compiler: Lessons learned from developing Whiley. Sci. Comput. Program. 113: 191-220 (2015) - [c31]David J. Pearce:
Integer Range Analysis for Whiley on Embedded Systems. ISORC Workshops 2015: 26-33 - [c30]David J. Pearce:
Some usability hypotheses for verification. PLATEAU@SPLASH 2015: 57-60 - [c29]Roman Klapaukh, David J. Pearce, Stuart Marshall:
Comparing Graph Layouts for Vertex Selection Tasks. OZCHI 2015: 557-565 - [c28]David J. Pearce:
The whiley rewrite language (WyRL). SLE 2015: 161-166 - 2014
- [c27]Roman Klapaukh, David J. Pearce, Stuart Marshall:
Towards a Vertex and Edge Label Aware Force Directed Layout Algorithm. ACSC 2014: 29-37 - [e3]David J. Pearce:
Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014. ACM 2014, ISBN 978-1-4503-2866-1 [contents] - [e2]Benoît Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju:
Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings. Lecture Notes in Computer Science 8706, Springer 2014, ISBN 978-3-319-11244-2 [contents] - 2013
- [c26]Constantine Dymnikov, David J. Pearce, Alex Potanin:
OwnKit: Inferring Modularly Checkable Ownership Annotations for Java. Australian Software Engineering Conference 2013: 181-190 - [c25]David J. Pearce:
A calculus for constraint-based flow typing. FTfJP@ECOOP 2013: 7:1-7:7 - [c24]David J. Pearce, Lindsay Groves:
Reflections on Verifying Software with Whiley. FTSCS 2013: 142-159 - [c23]David J. Pearce, Lindsay Groves:
Whiley: A Platform for Research in Software Verification. SLE 2013: 238-248 - [c22]David J. Pearce:
Sound and Complete Flow Typing with Unions, Intersections and Negations. VMCAI 2013: 335-354 - 2012
- [c21]Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black, David J. Pearce:
Patterns as objects in grace. DLS 2012: 17-28 - [c20]Stephen Nelson, David J. Pearce, James Noble:
Profiling Field Initialisation in Java. RV 2012: 292-307 - 2011
- [j7]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): 587-608 (2011) - [c19]David J. Pearce:
JPure: A Modular Purity System for Java. CC 2011: 104-123 - [c18]David J. Pearce, James Noble:
Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. Bytecode@ETAPS 2011: 47-59 - 2010
- [j6]David J. Pearce, Gary Haggard, Gordon F. Royle:
Edge-Selection Heuristics for Computing Tutte Polynomials. Chic. J. Theor. Comput. Sci. 2010 (2010) - [j5]Gary Haggard, David J. Pearce, Gordon F. Royle:
Computing Tutte Polynomials. ACM Trans. Math. Softw. 37(3): 24:1-24:17 (2010) - [c17]David J. Pearce, Paul H. J. Kelly:
A batch algorithm for maintaining a topological order. ACSC 2010: 79-88 - [c16]Stephen Nelson, David J. Pearce, James Noble:
Understanding the Impact of Collection Contracts on Design. TOOLS (48) 2010: 61-78 - [e1]Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip:
Relationships, Objects, Roles, and Queries in Modern Programming Languages, 11.04. - 16.04.2010. Dagstuhl Seminar Proceedings 10152, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [i2]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 - [i1]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
2000 – 2009
- 2009
- [c15]David J. Pearce, Gary Haggard, Gordon F. Royle:
Edge-Selection Heuristics for Computing Tutte Polynomials. CATS 2009: 151-159 - 2008
- [c14]Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov:
Java Bytecode Verification for @NonNull Types. CC 2008: 229-244 - [c13]Darren Willis, David J. Pearce, James Noble:
Caching and incrementalisation in the java query language. OOPSLA 2008: 1-18 - [c12]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: 855-856 - [c11]Bennett Thompson, David J. Pearce, Craig Anslow, Gary Haggard:
Visualizing the computation tree of the Tutte Polynomial. SOFTVIS 2008: 211-212 - 2007
- [j4]David J. Pearce, Matthew Webster, Robert F. Berry, Paul H. J. Kelly:
Profiling with AspectJ. Softw. Pract. Exp. 37(7): 747-777 (2007) - [j3]David J. Pearce, Paul H. J. Kelly, Chris Hankin:
Efficient field-sensitive pointer analysis of C. ACM Trans. Program. Lang. Syst. 30(1): 4 (2007) - [c10]James Noble, Arno Schmidmeier, David J. Pearce, Andrew P. Black:
Patterns of Aspect-Oriented Design. EuroPLoP 2007: 769-796 - 2006
- [j2]David J. Pearce, Paul H. J. Kelly:
A dynamic topological sort algorithm for directed acyclic graphs. ACM J. Exp. Algorithmics 11 (2006) - [c9]David J. Pearce, James Noble:
Relationship aspects. AOSD 2006: 75-86 - [c8]Darren Willis, David J. Pearce, James Noble:
Efficient Object Querying for Java. ECOOP 2006: 28-49 - [c7]David J. Pearce, James Noble:
Relationship Aspect Patterns. EuroPLoP 2006: 531-546 - 2005
- [b1]David James Pearce:
Some directed graph algorithms and their application to pointer analysis. Imperial College London, UK, 2005 - 2004
- [j1]David J. Pearce, Paul H. J. Kelly, Chris Hankin:
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. Softw. Qual. J. 12(4): 311-337 (2004) - [c6]Dong-U Lee, Oskar Mencer, David J. Pearce, Wayne Luk:
Automating Optimized Table-with-Polynomial Function Evaluation for FPGAs. FPL 2004: 364-373 - [c5]David J. Pearce, Paul H. J. Kelly, Chris Hankin:
Efficient field-sensitive pointer analysis for C. PASTE 2004: 37-42 - [c4]David J. Pearce, Paul H. J. Kelly:
A Dynamic Algorithm for Topologically Sorting Directed Acyclic Graphs. WEA 2004: 383-398 - 2003
- [c3]Oskar Mencer, David J. Pearce, Lee W. Howes, Wayne Luk:
Design space exploration with A Stream Compiler. FPT 2003: 270-277 - [c2]David J. Pearce, Paul H. J. Kelly, Chris Hankin:
Online Cycle Detection and Difference Propagation for Pointer Analysis. SCAM 2003: 3-12 - 2002
- [c1]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: 220-226
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
