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
2122007
A dynamic topological sort algorithm for directed acyclic graphs
DJ Pearce, PHJ Kelly
Journal of Experimental Algorithmics (JEA) 11, 1.7-es, 2007
1122007
Relationship aspects
DJ Pearce, J Noble
Proceedings of the 5th international conference on Aspect-oriented software …, 2006
942006
Profiling with AspectJ
DJ Pearce, M Webster, R Berry, PHJ Kelly
Software: Practice and Experience 37 (7), 747-777, 2007
882007
Efficient object querying for Java
D Willis, DJ Pearce, J Noble
European Conference on Object-Oriented Programming, 28-49, 2006
762006
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
592003
Designing a verifying compiler: Lessons learned from developing whiley
DJ Pearce, L Groves
Science of Computer Programming 113, 191-220, 2015
562015
Caching and incrementalisation in the Java Query Language
D Willis, DJ Pearce, J Noble
ACM Conference on Object-Oriented Programming, Systems, Languages and …, 2008
562008
Design space exploration with a stream compiler
O Mencer, DJ Pearce, LW Howes, W Luk
Proceedings. 2003 IEEE International Conference on Field-Programmable …, 2003
562003
JPure: a modular purity system for Java
DJ Pearce
International Conference on Compiler Construction, 104-123, 2011
552011
Computing tutte polynomials
G Haggard, DJ Pearce, G Royle
ACM Transactions on Mathematical Software (TOMS) 37 (3), 1-17, 2010
552010
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
512002
Online cycle detection and difference propagation: Applications to pointer analysis
DJ Pearce, PHJ Kelly, C Hankin
Software Quality Journal 12 (4), 311-337, 2004
452004
Integer range analysis for Whiley on embedded systems
DJ Pearce
2015 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2015
402015
AspectJ for multilevel security
R Ramachandran, DJ Pearce, I Welch
ACP4IS 6 (20), 13-17, 2006
402006
Whiley: a platform for research in software verification
DJ Pearce, L Groves
International Conference on Software Language Engineering, 238-248, 2013
392013
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
382008
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
352019
A dynamic algorithm for topologically sorting directed acyclic graphs
DJ Pearce, PHJ Kelly
International Workshop on Experimental and Efficient Algorithms, 383-398, 2004
352004
Sound and complete flow typing with unions, intersections and negations
DJ Pearce
International Conference on Verification, Model Checking, and Abstract …, 2013
342013
The system can't perform the operation now. Try again later.
Articles 1–20