Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan. Synthesis of loop-free programs. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 62-73, ACM, 2011. [doi]
Abstract is missing.