Keith H. Randall

2002

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

Whom Keith H. Randall trusts overall

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

  1. Greg Nelson

Who trusts Keith H. Randall overall

  1. Sumit Gulwani
  2. Arvind Seshadri
  3. Susmit Jha
  4. R. Vuduc

Papers from Keith H. Randall's perspective

Ordered by how strongly the researchers Keith H. Randall 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. Houdini, an Annotation Assistant for ESC/Java (FME)
  3. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. GRASP: A Search Algorithm for Propositional Satisfiability
  5. Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  6. Denali: a goal-directed superoptimizer
  7. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  8. The Art of Computer Programming: Volume 3: Sorting and Searching
  9. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  10. Automatically validating temporal safety properties of interfaces (SPIN)

Their papers