Dan Gohman

Artificial Intelligence · 2017

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 Dan Gohman trusts

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

  1. Alon Zakai (in Artificial Intelligence)

Papers from Dan Gohman's perspective

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

  1. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
  2. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (International Conference on Compiler Construction)
  3. LLVM: a compilation framework for lifelong program analysis & transformation
  4. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
  5. CCured: type-safe retrofitting of legacy code (ACM-SIGACT Symposium on Principles of Programming Languages)
  6. Emscripten: an LLVM-to-JavaScript compiler (OOPSLA Companion)
  7. Native Client: A Sandbox for Portable, Untrusted x86 Native Code (IEEE Symposium on Security and Privacy)
  8. Proof carrying code
  9. Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors (USENIX Security Symposium)
  10. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)

Their papers