David J. Pearce

Cited by

	All	Since 2020
Citations	1954	547
h-index	24	13
i10-index	41	15

140

105

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202517 27 41 98 112 115 91 113 97 112 92 110 93 91 62 89 74 93 134 105 134 6

Co-authors

James NobleCreative Research & ProgrammingVerified email at acm.org
Paul KellyProfessor of Software Technology, Imperial College LondonVerified email at imperial.ac.uk
Stephen NelsonPhD Student, Victoria University of Wellington, New ZealandVerified email at ecs.vuw.ac.nz
Jens DietrichVictoria University of WellingtonVerified email at vuw.ac.nz
Chris HankinProfessor of Computing Science, Imperial College LondonVerified email at imperial.ac.uk
Alex PotaninAssociate Professor, Australian National UniversityVerified email at anu.edu.au
Wayne LukProfessor of Computer Engineering, Imperial College LondonVerified email at imperial.ac.uk
Oskar MencerVerified email at groq.com
Andrew P. BlackPortland State UniversityVerified email at pdx.edu
Mark UttingThe University of QueenslandVerified email at uq.edu.au
Robert BerryEmeritus Professor, Aston UniversityVerified email at aston.ac.uk
Kamil JezekUniversity of West Bohemia, Department of Computer Science and Engineering, Pilsen, Czech RepublicVerified email at kiv.zcu.cz
Přemek BradaUniversity of West Bohemia, Pilsen, Czech RepublicVerified email at kiv.zcu.cz
Amjed TahirMassey UniversityVerified email at massey.ac.nz
Kelly BlincoeUniversity of AucklandVerified email at auckland.ac.nz
Michael HomerVictoria University of WellingtonVerified email at ecs.vuw.ac.nz
Lee HowesQualcommVerified email at qti.qualcomm.com
Patrick LamAssociate Professor, University of WaterlooVerified email at uwaterloo.ca
Uli HarderResearch Associate, Department of Computing at Imperial College LondonVerified email at doc.ic.ac.uk
Roman KlapaukhUniversity of MelbourneVerified email at unimelb.edu.au

David J. Pearce

ConsenSys

Verified email at consensys.net - Homepage

Programming Languages Static Analysis Program Analysis Compilers Type Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Efficient field-sensitive pointer analysis of C DJ Pearce, PHJ Kelly, C Hankin ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (1), 4-es, 2007	248	2007
A dynamic topological sort algorithm for directed acyclic graphs DJ Pearce, PHJ Kelly Journal of Experimental Algorithmics (JEA) 11, 1.7-es, 2007	127	2007
Online cycle detection and difference propagation: Applications to pointer analysis DJ Pearce, PHJ Kelly, C Hankin Software Quality Journal 12, 311-337, 2004	113	2004
Profiling with AspectJ DJ Pearce, M Webster, R Berry, PHJ Kelly Software: Practice and Experience 37 (7), 747-777, 2007	94	2007
Relationship aspects DJ Pearce, J Noble Proceedings of the 5th international conference on Aspect-oriented software …, 2006	93	2006
Dependency versioning in the wild J Dietrich, D Pearce, J Stringer, A Tahir, K Blincoe 2019 IEEE/ACM 16th International Conference on Mining Software Repositories …, 2019	79	2019
Efficient object querying for java D Willis, DJ Pearce, J Noble ECOOP 2006–Object-Oriented Programming: 20th European Conference, Nantes …, 2006	77	2006
JPure: a modular purity system for Java DJ Pearce International Conference on Compiler Construction, 104-123, 2011	65	2011
Computing tutte polynomials G Haggard, DJ Pearce, G Royle ACM Transactions on Mathematical Software (TOMS) 37 (3), 1-17, 2010	63	2010
Caching and incrementalisation in the Java Query Language D Willis, DJ Pearce, J Noble ACM Conference on Object-Oriented Programming, Systems, Languages and …, 2008	58	2008
Design space exploration with a stream compiler O Mencer, DJ Pearce, LW Howes, W Luk Proceedings. 2003 IEEE International Conference on Field-Programmable …, 2003	55	2003
Putting the semantics into semantic versioning P Lam, J Dietrich, DJ Pearce Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020	50	2020
GILK: A dynamic instrumentation tool for the linux kernel DJ Pearce, PHJ Kelly, T Field, U Harder Computer Performance Evaluation: Modelling Techniques and Tools: 12th …, 2002	49	2002
Whiley: a platform for research in software verification DJ Pearce, L Groves International Conference on Software Language Engineering, 238-248, 2013	47	2013
Sound and complete flow typing with unions, intersections and negations DJ Pearce International Conference on Verification, Model Checking, and Abstract …, 2013	46	2013
An improved algorithm for finding the strongly connected components of a directed graph DJ Pearce Victoria University, Wellington, NZ, Tech. Rep, 2005	42	2005
Java bytecode verification for @NonNull types C Male, DJ Pearce, A Potanin, C Dymnikov Proceedings of the Joint European Conferences on Theory and Practice of …, 2008	41	2008
A lightweight formalism for reference lifetimes and borrowing in Rust DJ Pearce ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (1), 1-73, 2021	40	2021
AspectJ for multilevel security R Ramachandran, DJ Pearce, I Welch ACP4IS 6 (20), 13-17, 2006	40	2006
A dynamic algorithm for topologically sorting directed acyclic graphs DJ Pearce, PHJ Kelly International Workshop on Experimental and Efficient Algorithms, 383-398, 2004	37	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors