Follow
David J. Pearce
David J. Pearce
ConsenSys
Verified email at consensys.net - Homepage
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
2462007
A dynamic topological sort algorithm for directed acyclic graphs
DJ Pearce, PHJ Kelly
Journal of Experimental Algorithmics (JEA) 11, 1.7-es, 2007
1262007
Online cycle detection and difference propagation: Applications to pointer analysis
DJ Pearce, PHJ Kelly, C Hankin
Software Quality Journal 12, 311-337, 2004
1132004
Profiling with AspectJ
DJ Pearce, M Webster, R Berry, PHJ Kelly
Software: Practice and Experience 37 (7), 747-777, 2007
942007
Relationship aspects
DJ Pearce, J Noble
Proceedings of the 5th international conference on Aspect-oriented software …, 2006
932006
Efficient object querying for java
D Willis, DJ Pearce, J Noble
ECOOP 2006–Object-Oriented Programming: 20th European Conference, Nantes …, 2006
772006
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
752019
JPure: a modular purity system for Java
DJ Pearce
International Conference on Compiler Construction, 104-123, 2011
652011
Computing tutte polynomials
G Haggard, DJ Pearce, G Royle
ACM Transactions on Mathematical Software (TOMS) 37 (3), 1-17, 2010
632010
Caching and incrementalisation in the Java Query Language
D Willis, DJ Pearce, J Noble
ACM Conference on Object-Oriented Programming, Systems, Languages and …, 2008
582008
Design space exploration with a stream compiler
O Mencer, DJ Pearce, LW Howes, W Luk
Proceedings. 2003 IEEE International Conference on Field-Programmable …, 2003
552003
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
492002
Putting the semantics into semantic versioning
P Lam, J Dietrich, DJ Pearce
Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020
472020
Whiley: a platform for research in software verification
DJ Pearce, L Groves
International Conference on Software Language Engineering, 238-248, 2013
472013
Sound and complete flow typing with unions, intersections and negations
DJ Pearce
International Conference on Verification, Model Checking, and Abstract …, 2013
452013
An improved algorithm for finding the strongly connected components of a directed graph
DJ Pearce
Victoria University, Wellington, NZ, Tech. Rep, 2005
422005
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
412008
AspectJ for multilevel security
R Ramachandran, DJ Pearce, I Welch
ACP4IS 6 (20), 13-17, 2006
402006
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
392021
A dynamic algorithm for topologically sorting directed acyclic graphs
DJ Pearce, PHJ Kelly
International Workshop on Experimental and Efficient Algorithms, 383-398, 2004
372004
The system can't perform the operation now. Try again later.
Articles 1–20