David J. Pearce

69 papers A 5B 12C 3Misc 3Journal 19Unranked 25

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