1. John Toman and Nathaniel Yazdani. 2018. CodeStats: Big Stats for Big Code, University of Washington. [PDF]
  2. Talia Ringer, Nathaniel Yazdani, John Leo, and Dan Grossman. 2018. Adapting Proof Automation to Adapt Proofs. In Proceedings of the 7th ACM SIGPLAN Conference on Certified Programs and Proofs. CPP 2018. ACM. [PDF]


  1. Rastislav Bodik, Kartik Chandra, Phitchaya Mangpo Phothilimthana, and Nathaniel Yazdani. 2017. Domain-Specific Symbolic Compilation. In 2nd Summit on Advances in Programming Languages. [PDF]