Alon Zakai

Artificial Intelligence · 2011–2017

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

Subfields

Whom Alon Zakai trusts overall

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

  1. S. Lindley
  2. Philip Wadler

Who trusts Alon Zakai overall

  1. Andreas Haas
  2. Andreas Rossberg
  3. Derek L. Schuff

Papers from Alon Zakai's perspective

Ordered by how strongly the researchers Alon Zakai 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. Links: Web Programming Without Tiers (Formal Methods for Components and Objects)
  7. Emscripten: an LLVM-to-JavaScript compiler (OOPSLA Companion)
  8. Native Client: A Sandbox for Portable, Untrusted x86 Native Code (IEEE Symposium on Security and Privacy)
  9. Proof carrying code
  10. Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors (USENIX Security Symposium)

Their papers