Follow
Yasunari Watanabe
Yasunari Watanabe
Verified email at comp.nus.edu.sg - Homepage
Title
Cited by
Cited by
Year
Certifying the synthesis of heap-manipulating programs
Y Watanabe, K Gopinathan, G PÓrlea, N Polikarpova, I Sergey
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021
112021
A Framework For Certified Program Synthesis
Y Watanabe
National University of Singapore, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–2