Derek L. Schuff

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 Derek L. Schuff trusts overall

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

  1. Alon Zakai

Papers from Derek L. Schuff's perspective

Ordered by how strongly the researchers Derek L. Schuff 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. Native Client: A Sandbox for Portable, Untrusted x86 Native Code (IEEE Symposium on Security and Privacy)
  7. Emscripten: an LLVM-to-JavaScript compiler (OOPSLA Companion)
  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