Sotabase

Career

· Researcher, Software Systems Laboratory, Columbia University

Publications (10)

Adapting proof automation to adapt proofs
Certified Programs and Proofs · 2018
29
cited
Proof repair across type equivalences
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2020
28
cited
Ornaments for Proof Reuse in Coq
International Conference on Interactive Theorem Proving · 2019
21
cited
Domain-Specific Symbolic Compilation
Summit on Advances in Programming Languages · 2017
3
cited
2 : 2 Domain-Specific Symbolic Compilation
2017
26 : 2 Ornaments for Proof Reuse in Coq list
2019
Automated Program Verification and Synthesis through Domain-Specific Symbolic Compilation
2017
CodeStats : Big Stats for Big Code
2018
CSE 599 i : Online and Adaptive Machine Learning Winter 2018 Lecture 19 : Monte Carlo Tree Search
2018
Synthesis of Parallel Tree Programs with Domain-Specific Symbolic Compilation
2017
Sotabase
Nate Yazdani | Researcher Profile | Sotabase | Sotabase