Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On the fly synthesis of edit suggestions., , , , , , , and . Proc. ACM Program. Lang., 3 (OOPSLA): 143:1-143:29 (2019)Semantic programming by example with pre-trained models., , and . Proc. ACM Program. Lang., 5 (OOPSLA): 1-25 (2021)A practical framework for constructing structured drawings., , , and . IUI, page 311-316. ACM, (2014)Recursive Program Synthesis., , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 934-950. Springer, (2013)CoWrangler: Recommender System for Data-Wrangling Scripts., , , , , , , , and . SIGMOD Conference Companion, page 147-150. ACM, (2023)Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference., and . SIGMOD Conference, page 1967-1978. ACM, (2020)AI-assisted programming: applications, user experiences, and neuro-symbolic techniques (keynote).. ESEC/SIGSOFT FSE, page 1. ACM, (2022)NL2Viz: natural language to visualization via constrained syntax-guided synthesis., , , , , , , , , and . ESEC/SIGSOFT FSE, page 972-983. ACM, (2022)EmFORE: Learning Email Folder Classification Rules by Demonstration., , , , and . AAAI, page 23835-23837. AAAI Press, (2024)Automatically Generating Algebra Problems., , and . AAAI, page 1620-1628. AAAI Press, (2012)