May 24, 2021
2021
Our paper on Cyclic Program Synthesis has received PLDI 2021 Distinguished Paper Award!