David J. Pearce

Orcid: 0000-0003-4535-9677

Affiliations:
  • Victoria University of Wellington, New Zealand


According to our database1, David J. Pearce authored at least 60 papers between 2002 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny.
Proceedings of the Formal Methods - 25th International Symposium, 2023

On Leveraging Tests to Infer Nullable Annotations.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022
Verifying Whiley Programs with Boogie.
J. Autom. Reason., 2022

On the Termination of Borrow Checking in Featherweight Rust.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust.
ACM Trans. Program. Lang. Syst., 2021

2020
Editorial for GPCE&SLE2018 Special Issue.
J. Comput. Lang., 2020

Putting the semantics into semantic versioning.
Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

2019
On declarative rewriting for sound and complete union, intersection and negation types.
J. Comput. Lang., 2019

Dependency versioning in the wild.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

2018
An Introduction to Software Verification with Whiley.
Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018

Towards compilation of an imperative language for FPGAs.
Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2018

A Symmetry Metric for Graphs and Line Diagrams.
Proceedings of the Diagrammatic Representation and Inference, 2018

2017
Contracts in the Wild: A Study of Java Programs (Artifact).
Dagstuhl Artifacts Ser., 2017

Array programming in Whiley.
Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, 2017

Making Whiley Boogie!
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Rewriting for sound and complete union, intersection and negation types.
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

Contracts in the Wild: A Study of Java Programs.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016
A space-efficient algorithm for finding strongly connected components.
Inf. Process. Lett., 2016

A Mechanical Soundness Proof for Subtyping Over Recursive Types.
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

2015
Designing a verifying compiler: Lessons learned from developing Whiley.
Sci. Comput. Program., 2015

Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014).
Comput. Lang. Syst. Struct., 2015

The whiley rewrite language (WyRL).
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Comparing Graph Layouts for Vertex Selection Tasks.
Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction, 2015

Some usability hypotheses for verification.
Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools, 2015

Integer Range Analysis for Whiley on Embedded Systems.
Proceedings of the 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2015

2014
Towards a Vertex and Edge Label Aware Force Directed Layout Algorithm.
Proceedings of the Thirty-Seventh Australasian Computer Science Conference, 2014

2013
Sound and Complete Flow Typing with Unions, Intersections and Negations.
Proceedings of the Verification, 2013

Whiley: A Platform for Research in Software Verification.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

Reflections on Verifying Software with Whiley.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

A calculus for constraint-based flow typing.
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013

OwnKit: Inferring Modularly Checkable Ownership Annotations for Java.
Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012
Profiling Field Initialisation in Java.
Proceedings of the Runtime Verification, Third International Conference, 2012

Patterns as objects in grace.
Proceedings of the 8th Symposium on Dynamic Languages, 2012

2011
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types.
Sci. Comput. Program., 2011

Implementing a Language with Flow-Sensitive and Structural Typing on the JVM.
Proceedings of the Sixth Workshop on Bytecode Semantics, 2011

JPure: A Modular Purity System for Java.
Proceedings of the Compiler Construction - 20th International Conference, 2011

2010
Computing Tutte Polynomials.
ACM Trans. Math. Softw., 2010

Edge-Selection Heuristics for Computing Tutte Polynomials.
Chic. J. Theor. Comput. Sci., 2010

Understanding the Impact of Collection Contracts on Design.
Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages.
Proceedings of the Relationships, Objects, 2010

10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages.
Proceedings of the Relationships, Objects, 2010

A batch algorithm for maintaining a topological order.
Proceedings of the Computer Science 2010, 2010

2008
Visualizing the computation tree of the Tutte Polynomial.
Proceedings of the ACM 2008 Symposium on Software Visualization, 2008

Caching and incrementalisation in the java query language.
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Relationships and associations in object-oriented languages.
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Java Bytecode Verification for @NonNull Types.
Proceedings of the Compiler Construction, 17th International Conference, 2008

2007
Efficient field-sensitive pointer analysis of C.
ACM Trans. Program. Lang. Syst., 2007

Profiling with AspectJ.
Softw. Pract. Exp., 2007

Patterns of Aspect-Oriented Design.
Proceedings of the 12th European Conference on Pattern Languages of Programs (EuroPLoP '2007), 2007

2006
A dynamic topological sort algorithm for directed acyclic graphs.
ACM J. Exp. Algorithmics, 2006

Relationship Aspect Patterns.
Proceedings of the EuroPLoP' 2006, 2006

Efficient Object Querying for Java.
Proceedings of the ECOOP 2006, 2006

Relationship aspects.
Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

2005
Some directed graph algorithms and their application to pointer analysis.
PhD thesis, 2005

2004
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis.
Softw. Qual. J., 2004

A Dynamic Algorithm for Topologically Sorting Directed Acyclic Graphs.
Proceedings of the Experimental and Efficient Algorithms, Third International Workshop, 2004

Automating Optimized Table-with-Polynomial Function Evaluation for FPGAs.
Proceedings of the Field Programmable Logic and Application, 2004

2003
Online Cycle Detection and Difference Propagation for Pointer Analysis.
Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 2003

Design space exploration with A Stream Compiler.
Proceedings of the 2003 IEEE International Conference on Field-Programmable Technology, 2003

2002
GILK: A Dynamic Instrumentation Tool for the Linux Kernel.
Proceedings of the Computer Performance Evaluation, 2002


  Loading...