Haogang Chen

Artificial Intelligence · 2015

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

Subfields

Whom Haogang Chen trusts overall

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

  1. Xavier Leroy
  2. Gerwin Klein

Papers from Haogang Chen's perspective

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

  1. A Formally Verified Compiler Back-end (Journal of automated reasoning)
  2. Formal verification of a realistic compiler
  3. seL4: formal verification of an OS kernel
  4. Using model checking to find serious file system errors (TOCS)
  5. Verdi: a framework for implementing and formally verifying distributed systems (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Translation validation for an optimizing compiler (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
  8. A machine-checked model for a Java-like language, virtual machine, and compiler (TOPL)
  9. Formal certification of a compiler back-end or: programming a compiler with a proof assistant (ACM-SIGACT Symposium on Principles of Programming Languages)
  10. Translation

Their papers