Sumit Gulwani. Programming by examples: applications, algorithms, and ambiguity resolution. In Wim Vanhoof, Brigitte Pientka, editors, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. pages 2, ACM, 2017. [doi]
Abstract is missing.