Nathaniel Yazdani

201720182019202020212022202320241 4 7 12 9 12 27 8

Public access

3 articles

0 articles

available

not available

Based on funding mandates

Talia RingerAssistant Professor, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Dan GrossmanComputer Science, University of WashingtonVerified email at cs.washington.edu
Phitchaya Mangpo PhothilimthanaGoogle DeepMindVerified email at google.com
Rastislav BodikUniversity of WashingtonVerified email at cs.washington.edu

Nathaniel Yazdani

Verified email at ccs.neu.edu - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Adapting proof automation to adapt proofs T Ringer, N Yazdani, J Leo, D Grossman Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018	35	2018
Proof repair across type equivalences T Ringer, RD Porter, N Yazdani, J Leo, D Grossman Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021	21	2021
Ornaments for proof reuse in Coq T Ringer, N Yazdani, J Leo, D Grossman 10th International Conference on Interactive Theorem Proving (ITP 2019), 2019	17	2019
Domain-specific symbolic compilation R Bodik, K Chandra, PM Phothilimthana, N Yazdani 2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017	7	2017
CodeStats: Big Stats for Big Code J TOMAN, N YAZDANI

The system can't perform the operation now. Try again later.

Articles 1–5

Citations per year