Andreas Rossberg

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 Andreas Rossberg trusts overall

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

  1. Alon Zakai
  2. Chris Lattner
  3. George C. Necula

Who trusts Andreas Rossberg overall

  1. Simon Shillaker
  2. Jason Teutsch

Papers from Andreas Rossberg's perspective

Ordered by how strongly the researchers Andreas Rossberg 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