2021

  • Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, and Dan Grossman. 2021. Proof Repair Across Type Equivalences. In Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021), ACM. [PDF]

2019

  • Talia Ringer, Nathaniel Yazdani, John Leo, and Dan Grossman. 2019. Ornaments for Proof Reuse in Coq. In Proceedings of the 10th International Conference on Interactive Theorem Proving (ITP 2019), LIPIcs. DOI: https://doi.org/10.4230/LIPIcs.ITP.2019.26 [PDF]

2018

  • 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. DOI: https://doi.org/10.1145/3167094 [PDF]
  • John Toman and Nathaniel Yazdani. 2018. CodeStats: Big Stats for Big Code. University of Washington. [PDF]

2017

  • Rastislav Bodik, Kartik Chandra, Phitchaya Mangpo Phothilimthana, and Nathaniel Yazdani. 2017. Domain-Specific Symbolic Compilation. In 2nd Summit on Advances in Programming Languages (SNAPL 2017), LIPIcs. DOI: https://doi.org/10.4230/LIPIcs.SNAPL.2017.2 [PDF]