Sledovat
David J. Pearce
David J. Pearce
ConsenSys
E-mailová adresa ověřena na: consensys.net - Domovská stránka
Název
Citace
Citace
Rok
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
2452007
A dynamic topological sort algorithm for directed acyclic graphs
DJ Pearce, PHJ Kelly
Journal of Experimental Algorithmics (JEA) 11, 1.7-es, 2007
1252007
Online cycle detection and difference propagation: Applications to pointer analysis
DJ Pearce, PHJ Kelly, C Hankin
Software Quality Journal 12, 311-337, 2004
1132004
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
932007
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
802019
Efficient object querying for java
D Willis, DJ Pearce, J Noble
European Conference on Object-Oriented Programming, 28-49, 2006
772006
JPure: a modular purity system for Java
DJ Pearce
International Conference on Compiler Construction, 104-123, 2011
652011
Computing tutte polynomials
G Haggard, DJ Pearce, G Royle
ACM Transactions on Mathematical Software (TOMS) 37 (3), 1-17, 2010
612010
Caching and incrementalisation in the Java Query Language
D Willis, DJ Pearce, J Noble
ACM Conference on Object-Oriented Programming, Systems, Languages and …, 2008
592008
Design space exploration with a stream compiler
O Mencer, DJ Pearce, LW Howes, W Luk
Proceedings. 2003 IEEE International Conference on Field-Programmable …, 2003
552003
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
502002
Putting the semantics into semantic versioning
P Lam, J Dietrich, DJ Pearce
Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020
492020
Whiley: a platform for research in software verification
DJ Pearce, L Groves
International Conference on Software Language Engineering, 238-248, 2013
462013
Sound and complete flow typing with unions, intersections and negations
DJ Pearce
International Conference on Verification, Model Checking, and Abstract …, 2013
462013
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
422021
An improved algorithm for finding the strongly connected components of a directed graph
DJ Pearce
Victoria University, Wellington, NZ, Tech. Rep, 2005
422005
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
402008
AspectJ for multilevel security
R Ramachandran, DJ Pearce, I Welch
ACP4IS 6 (20), 13-17, 2006
402006
A dynamic algorithm for topologically sorting directed acyclic graphs
DJ Pearce, PHJ Kelly
International Workshop on Experimental and Efficient Algorithms, 383-398, 2004
372004
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20