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 | 126 | 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 |
Relationship aspects DJ Pearce, J Noble Proceedings of the 5th international conference on Aspect-oriented software …, 2006 | 94 | 2006 |
Profiling with AspectJ DJ Pearce, M Webster, R Berry, PHJ Kelly Software: Practice and Experience 37 (7), 747-777, 2007 | 93 | 2007 |
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 | 82 | 2019 |
Efficient object querying for java D Willis, DJ Pearce, J Noble European Conference on Object-Oriented Programming, 28-49, 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 | 61 | 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 | 59 | 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 | 50 | 2002 |
Putting the semantics into semantic versioning P Lam, J Dietrich, DJ Pearce Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020 | 49 | 2020 |
Whiley: a platform for research in software verification DJ Pearce, L Groves International Conference on Software Language Engineering, 238-248, 2013 | 46 | 2013 |
Sound and complete flow typing with unions, intersections and negations DJ Pearce International Conference on Verification, Model Checking, and Abstract …, 2013 | 46 | 2013 |
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 | 42 | 2021 |
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 | 40 | 2008 |
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 |