Adam Chlipala

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 Adam Chlipala trusts overall

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

  1. Xavier Leroy

Papers from Adam Chlipala's perspective

Ordered by how strongly the researchers Adam Chlipala 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. Formal certification of a compiler back-end or: programming a compiler with a proof assistant (ACM-SIGACT Symposium on Principles of Programming Languages)
  8. Translation
  9. Register allocation and spilling via graph coloring (SIGP)
  10. Foundational proof-carrying code (Proceedings 16th Annual IEEE Symposium on Logic in Computer Science)

Their papers