J. Saxe

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 J. Saxe trusts overall

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

  1. Greg Nelson
  2. Donald Ervin Knuth
  3. Joao Marques-Silva

Who trusts J. Saxe overall

  1. Bruno Dutertre
  2. Leonardo de Moura
  3. Tim King
  4. Cormac Flanagan
  5. Sven Verdoolaege
  6. Mike Barnett
  7. Clark W. Barrett

Papers from J. Saxe's perspective

Ordered by how strongly the researchers J. Saxe 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. Houdini, an Annotation Assistant for ESC/Java (FME)
  10. Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)

Their papers