Byron Cook

Artificial Intelligence · 2004–2016

A researcher in the Science corpus: 4 papers; trusts 6 researchers and is trusted by 8 researchers here, as inferred from the citation graph.

Subfields

Whom Byron Cook trusts overall

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

  1. Thomas Ball
  2. Andreas Podelski
  3. Manuvir Das
  4. Sriram K. Rajamani
  5. Andrey Rybalchenko
  6. Rupak Majumdar

Who trusts Byron Cook overall

  1. Ranjit Jhala
  2. Sumit Gulwani
  3. Siddharth Srivastava
  4. Rupak Majumdar
  5. Neil Immerman
  6. Krishna K. Mehra

Papers from Byron Cook's perspective

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

  1. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  2. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. The SLAM project: debugging system software via static analysis
  5. Bebop: A Symbolic Model Checker for Boolean Programs (SPIN)
  6. Unification-based pointer analysis with directional assignments (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  8. Automatically validating temporal safety properties of interfaces (SPIN)
  9. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  10. Simplify: a theorem prover for program checking (JACM)

Their papers