David J. Pearce
David J. Pearce
School of Engineering and Computer Science, Victoria University of Wellington
Verified email at ecs.vuw.ac.nz - Homepage
TitleCited byYear
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
1862007
Relationship aspects
DJ Pearce, J Noble
Proceedings of the 5th international conference on Aspect-oriented software …, 2006
922006
A dynamic topological sort algorithm for directed acyclic graphs
DJ Pearce, PHJ Kelly
Journal of Experimental Algorithmics (JEA) 11, 1.7-es, 2007
872007
Profiling with AspectJ
DJ Pearce, M Webster, R Berry, PHJ Kelly
Software: Practice and Experience 37 (7), 747-777, 2007
792007
Efficient object querying for java
D Willis, DJ Pearce, J Noble
European Conference on Object-Oriented Programming, 28-49, 2006
672006
Design space exploration with a stream compiler
O Mencer, DJ Pearce, LW Howes, W Luk
Proceedings. 2003 IEEE International Conference on Field-Programmable …, 2003
542003
Computing tutte polynomials
G Haggard, DJ Pearce, G Royle
ACM Transactions on Mathematical Software (TOMS) 37 (3), 1-17, 2010
532010
JPure: a modular purity system for Java
DJ Pearce
International Conference on Compiler Construction, 104-123, 2011
492011
Caching and incrementalisation in the Java Query Language
D Willis, DJ Pearce, J Noble
ACM Conference on Object-Oriented Programming, Systems, Languages and …, 2008
492008
Online cycle detection and difference propagation for pointer analysis
DJ Pearce, PHJ Kelly, C Hankin
Proceedings Third IEEE International Workshop on Source Code Analysis and …, 2003
492003
GILK: A dynamic instrumentation tool for the linux kernel
DJ Pearce, PHJ Kelly, T Field, U Harder
International Conference on Modelling Techniques and Tools for Computer …, 2002
432002
Online cycle detection and difference propagation: Applications to pointer analysis
DJ Pearce, PHJ Kelly, C Hankin
Software Quality Journal 12 (4), 311-337, 2004
382004
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
342008
AspectJ for multilevel security
R Ramachandran, DJ Pearce, I Welch
Proceedings of the Fifth AOSD Workshop on Aspects, Components, and Patterns …, 2006
342006
A dynamic algorithm for topologically sorting directed acyclic graphs
DJ Pearce, PHJ Kelly
International Workshop on Experimental and Efficient Algorithms, 383-398, 2004
312004
Sound and complete flow typing with unions, intersections and negations
DJ Pearce
International Conference on Verification, Model Checking, and Abstract …, 2013
262013
Whiley: a platform for research in software verification
DJ Pearce, L Groves
International Conference on Software Language Engineering, 238-248, 2013
252013
Patterns as objects in Grace
M Homer, J Noble, KB Bruce, AP Black, DJ Pearce
ACM SIGPLAN Notices 48 (2), 17-28, 2012
242012
Balloon types for safe parallelisation over arbitrary object graphs
M Servetto, DJ Pearce, L Groves, A Potanin
Proceedings of the Workshop on Determinism and Correctness in Parallel …, 2013
202013
Patterns of Aspect-Oriented Design.
J Noble, A Schmidmeier, DJ Pearce, AP Black
EuroPLoP, 769-796, 2007
202007
The system can't perform the operation now. Try again later.
Articles 1–20