David J. Pearce

Cited by

	All	Since 2019
Citations	1924	613
h-index	24	13
i10-index	41	18

140

105

20042005200620072008200920102011201220132014201520162017201820192020202120222023202417 27 41 98 112 115 91 112 94 108 98 109 93 91 60 91 74 93 133 102 116

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
Uli HarderResearch Associate, Department of Computing at Imperial College LondonVerified email at doc.ic.ac.uk
Patrick LamAssociate Professor, University of WaterlooVerified email at uwaterloo.ca
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	244	2007
A dynamic topological sort algorithm for directed acyclic graphs DJ Pearce, PHJ Kelly Journal of Experimental Algorithmics (JEA) 11, 1.7-es, 2007	125	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
Efficient object querying for java D Willis, DJ Pearce, J Noble ECOOP 2006–Object-Oriented Programming: 20th European Conference, Nantes …, 2006	76	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	74	2019
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	57	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
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
Putting the semantics into semantic versioning P Lam, J Dietrich, DJ Pearce Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020	45	2020
Sound and complete flow typing with unions, intersections and negations DJ Pearce International Conference on Verification, Model Checking, and Abstract …, 2013	45	2013
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
AspectJ for multilevel security R Ramachandran, DJ Pearce, I Welch ACP4IS 6 (20), 13-17, 2006	40	2006
An improved algorithm for finding the strongly connected components of a directed graph DJ Pearce Victoria University, Wellington, NZ, Tech. Rep, 2005	40	2005
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	37	2021
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