Daniel Ziegler

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 Daniel Ziegler trusts overall

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

  1. Xavier Leroy

Papers from Daniel Ziegler's perspective

Ordered by how strongly the researchers Daniel Ziegler 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. Formal certification of a compiler back-end or: programming a compiler with a proof assistant (ACM-SIGACT Symposium on Principles of Programming Languages)
  9. Translation
  10. Register allocation and spilling via graph coloring (SIGP)

Their papers