Guoqiang Zhang Shen, X., Zhang, G., Dea, I., Andow, S., Arroyo-Fang, E., Gafter, N., … Yang, S. (2021). Coarsening Optimization for Differentiable Programming. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 5(OOPSLA). https://doi.org/10.1145/3485507 Zhang, G., Xu, Y., Shen, X., & Dillig, I. (2021). UDF to SQL Translation through Compositional Lazy Inductive Synthesis. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 5(OOPSLA). https://doi.org/10.1145/3485489