Nathaniel Yazdani

According to our database, Nathaniel Yazdani authored at least 4 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Proof repair across type equivalences.

Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2019

Ornaments for Proof Reuse in Coq.

Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

Adapting proof automation to adapt proofs.

Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

Domain-Specific Symbolic Compilation.

Rastislav Bodík, Kartik Chandra, Phitchaya Mangpo Phothilimthana, Nathaniel Yazdani

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017