2018

  1. Toman, J., & Yazdani, N. (2018). CodeStats: Big Stats for Big Code (No. UW-CSE-2018-01-01). University of Washington. [PDF]
  2. Ringer, T., Yazdani, N., Leo, J., & Grossman, D. (2018). Adapting Proof Automation to Adapt Proofs. In Proceedings of the 7th ACM SIGPLAN Conference on Certified Programs and Proofs. ACM. [PDF]

2017

  1. Bodik, R., Chandra, K., Phothilimthana, P. M., & Yazdani, N. (2017). Domain-Specific Symbolic Compilation. 2nd Summit on Advances in Programming Languages. [PDF]