Hao Chen

Conference on Computer and Communications Security · with Wagner · 2002

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

Whom Hao Chen trusts overall

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

  1. Thomas Ball
  2. Sriram K. Rajamani
  3. John E. Hopcroft
  4. Dawson R. Engler
  5. David A. Wagner
  6. Jeffrey D. Ullman
  7. B. Chelf
  8. Jeffrey S. Foster
  9. Andy Chou
  10. Eric A. Brewer

Who trusts Hao Chen overall

  1. Yao-Wen Huang
  2. Rajeev Alur
  3. Gaurav S. Kc
  4. Manuel Egele
  5. Stephan Neuhaus
  6. Parthasarathy Madhusudan
  7. Mihai Christodorescu
  8. Angelos Dennis Keromytis
  9. Kousha Etessami
  10. Thomas Zimmermann

Papers from Hao Chen's perspective

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

  1. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  2. Automatically validating temporal safety properties of interfaces (SPIN)
  3. The SLAM project: debugging system software via static analysis
  4. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  5. Introduction to Automata Theory, Languages and Computation
  6. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Bebop: A Symbolic Model Checker for Boolean Programs (SPIN)
  8. CCured: type-safe retrofitting of legacy code (ACM-SIGACT Symposium on Principles of Programming Languages)
  9. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)
  10. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)

Their papers