David Detlefs

JACM · 2005

A researcher in the Science corpus: 1 paper; trusts 3 researchers and is trusted by 20 researchers here, as inferred from the citation graph.

Whom David Detlefs trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Greg Nelson
  2. Donald Ervin Knuth
  3. Joao Marques-Silva
  4. Rajeev Joshi
  5. Matthew W. Moskewicz
  6. Karem A. Sakallah

Who trusts David Detlefs overall

  1. Bruno Dutertre
  2. Leonardo de Moura
  3. Tim King
  4. Cormac Flanagan
  5. Sven Verdoolaege
  6. Mike Barnett
  7. Clark W. Barrett
  8. Vijay Victor D'Silva
  9. Davide Lorenzoli
  10. Daniel Kroening

Papers from David Detlefs's perspective

Ordered by how strongly the researchers David Detlefs trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  3. GRASP: A Search Algorithm for Propositional Satisfiability
  4. Denali: a goal-directed superoptimizer
  5. The Art of Computer Programming: Volume 3: Sorting and Searching
  6. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Automatically validating temporal safety properties of interfaces (SPIN)
  8. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  9. Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  10. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION

Their papers