Mehrdad Afshari

Artificial Intelligence · 2014

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 1 researcher here, as inferred from the citation graph.

Subfields

Whom Mehrdad Afshari trusts overall

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

  1. Xavier Leroy
  2. Ross Tate

Who trusts Mehrdad Afshari overall

  1. Junjie Wang
  2. Jie M. Zhang
  3. Yinlin Deng
  4. Yuting Chen
  5. Tsong Yueh Chen

Papers from Mehrdad Afshari's perspective

Ordered by how strongly the researchers Mehrdad Afshari trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Formal certification of a compiler back-end or: programming a compiler with a proof assistant (ACM-SIGACT Symposium on Principles of Programming Languages)
  2. A Formally Verified Compiler Back-end (Journal of automated reasoning)
  3. Finding and understanding bugs in C compilers
  4. Equality saturation: a new approach to optimization
  5. Fuzzing with Code Fragments (USENIX Security Symposium)
  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. Differential Testing for Software
  9. Translation
  10. Register allocation and spilling via graph coloring (SIGP)

Their papers