Seguir
David J. Pearce
David J. Pearce
ConsenSys
Dirección de correo verificada de consensys.net - Página principal
Título
Citado por
Citado por
Año
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
2362007
A dynamic topological sort algorithm for directed acyclic graphs
DJ Pearce, PHJ Kelly
Journal of Experimental Algorithmics (JEA) 11, 1.7-es, 2007
1242007
Relationship aspects
DJ Pearce, J Noble
Proceedings of the 5th international conference on Aspect-oriented software …, 2006
932006
Profiling with AspectJ
DJ Pearce, M Webster, R Berry, PHJ Kelly
Software: Practice and Experience 37 (7), 747-777, 2007
892007
Efficient object querying for java
D Willis, DJ Pearce, J Noble
ECOOP 2006–Object-Oriented Programming: 20th European Conference, Nantes …, 2006
752006
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
662003
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
642019
JPure: a modular purity system for Java
DJ Pearce
International Conference on Compiler Construction, 104-123, 2011
622011
Computing tutte polynomials
G Haggard, DJ Pearce, G Royle
ACM Transactions on Mathematical Software (TOMS) 37 (3), 1-17, 2010
612010
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
Caching and incrementalisation in the Java Query Language
D Willis, DJ Pearce, J Noble
ACM Conference on Object-Oriented Programming, Systems, Languages and …, 2008
552008
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
492002
Online cycle detection and difference propagation: Applications to pointer analysis
DJ Pearce, PHJ Kelly, C Hankin
Software Quality Journal 12, 311-337, 2004
482004
Whiley: a platform for research in software verification
DJ Pearce, L Groves
International Conference on Software Language Engineering, 238-248, 2013
472013
Sound and complete flow typing with unions, intersections and negations
DJ Pearce
International Conference on Verification, Model Checking, and Abstract …, 2013
432013
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
412008
AspectJ for multilevel security
R Ramachandran, DJ Pearce, I Welch
ACP4IS 6 (20), 13-17, 2006
402006
An improved algorithm for finding the strongly connected components of a directed graph
DJ Pearce
Victoria University, Wellington, NZ, Tech. Rep, 2005
382005
A dynamic algorithm for topologically sorting directed acyclic graphs
DJ Pearce, PHJ Kelly
International Workshop on Experimental and Efficient Algorithms, 383-398, 2004
372004
Putting the semantics into semantic versioning
P Lam, J Dietrich, DJ Pearce
Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020
322020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20