2008 |
15 | EE | Chris Male,
David J. Pearce,
Alex Potanin,
Constantine Dymnikov:
Java Bytecode Verification for @NonNull Types.
CC 2008: 229-244 |
14 | EE | Darren Willis,
David J. Pearce,
James Noble:
Caching and incrementalisation in the java query language.
OOPSLA 2008: 1-18 |
13 | EE | Stephen Nelson,
Stephanie Balzer,
Gavin M. Bierman,
Erik Meijer,
James Noble,
David J. Pearce,
Jiri Soukup,
Frank Tip:
Relationships and associations in object-oriented languages.
OOPSLA Companion 2008: 855-856 |
12 | EE | Bennett Thompson,
David J. Pearce,
Craig Anslow,
Gary Haggard:
Visualizing the computation tree of the Tutte Polynomial.
SOFTVIS 2008: 211-212 |
2007 |
11 | EE | David J. Pearce,
Paul H. J. Kelly,
Chris Hankin:
Efficient field-sensitive pointer analysis of C.
ACM Trans. Program. Lang. Syst. 30(1): (2007) |
10 | EE | David J. Pearce,
Matthew Webster,
Robert Berry,
Paul H. J. Kelly:
Profiling with AspectJ.
Softw., Pract. Exper. 37(7): 747-777 (2007) |
2006 |
9 | EE | David J. Pearce,
James Noble:
Relationship aspects.
AOSD 2006: 75-86 |
8 | EE | Darren Willis,
David J. Pearce,
James Noble:
Efficient Object Querying for Java.
ECOOP 2006: 28-49 |
7 | EE | David J. Pearce,
Paul H. J. Kelly:
A dynamic topological sort algorithm for directed acyclic graphs.
ACM Journal of Experimental Algorithmics 11: (2006) |
2004 |
6 | EE | Dong-U Lee,
Oskar Mencer,
David J. Pearce,
Wayne Luk:
Automating Optimized Table-with-Polynomial Function Evaluation for FPGAs.
FPL 2004: 364-373 |
5 | EE | David J. Pearce,
Paul H. J. Kelly,
Chris Hankin:
Efficient field-sensitive pointer analysis for C.
PASTE 2004: 37-42 |
4 | EE | David J. Pearce,
Paul H. J. Kelly:
A Dynamic Algorithm for Topologically Sorting Directed Acyclic Graphs.
WEA 2004: 383-398 |
3 | EE | David J. Pearce,
Paul H. J. Kelly,
Chris Hankin:
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis.
Software Quality Journal 12(4): 311-337 (2004) |
2003 |
2 | EE | David J. Pearce,
Paul H. J. Kelly,
Chris Hankin:
Online Cycle Detection and Difference Propagation for Pointer Analysis.
SCAM 2003: 3-12 |
2002 |
1 | EE | David J. Pearce,
Paul H. J. Kelly,
Tony Field,
Uli Harder:
GILK: A Dynamic Instrumentation Tool for the Linux Kernel.
Computer Performance Evaluation / TOOLS 2002: 220-226 |