| 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 | 245 | 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 |
| 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 | 77 | 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 | 75 | 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 | 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 |
| 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 |
| Putting the semantics into semantic versioning P Lam, J Dietrich, DJ Pearce Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020 | 47 | 2020 |
| 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 | 45 | 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 |
| AspectJ for multilevel security R Ramachandran, DJ Pearce, I Welch ACP4IS 6 (20), 13-17, 2006 | 40 | 2006 |
| 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 | 39 | 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 |
James NobleCreative Research & Programmingacm.org의 이메일 확인됨