Andy Chou

Computational Theory and Mathematics · 2000–2010

A researcher in the Science corpus: 5 papers; trusts 3 researchers and is trusted by 34 researchers here, as inferred from the citation graph.

Subfields

Whom Andy Chou trusts overall

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

  1. Dawson R. Engler
  2. B. Chelf

Who trusts Andy Chou overall

  1. Zhenmin Li
  2. Shan Lu
  3. Gogul Balakrishnan
  4. Michael M. Swift
  5. Dawson R. Engler
  6. Yuanyuan Zhou
  7. Samuel T. King
  8. Thomas W. Reps
  9. Thomas Ball
  10. Manuvir Das

Papers from Andy Chou's perspective

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

  1. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Journal of Graph Algorithms and Applications Many-to-one Boundary Labeling
  5. Bebop: A Symbolic Model Checker for Boolean Programs (SPIN)
  6. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  7. A personal communication
  8. Houdini, an Annotation Assistant for ESC/Java (FME)
  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. Automatically validating temporal safety properties of interfaces (SPIN)

Their papers