1. M. Chakravarty , G. Keller , and P. Zadarnowski . A Functional Perspective on SSA Optimisation Algorithms. ENTCS, 82(2) , 2004 . M. Chakravarty, G. Keller, and P. Zadarnowski. A Functional Perspective on SSA Optimisation Algorithms. ENTCS, 82(2), 2004.
2. Optimizing database-backed applications with query synthesis
3. C. Duta , D. Hirn , and T. Grust . Compiling ¶LSQL Away . In Proc. CIDR , 2020 . C. Duta, D. Hirn, and T. Grust. Compiling ¶LSQL Away. In Proc. CIDR, 2020.