Tej Chajed

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 Tej Chajed trusts overall

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

  1. Xavier Leroy

Papers from Tej Chajed's perspective

Ordered by how strongly the researchers Tej Chajed 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