research
∙
04/06/2023
ImageEye: Batch Image Processing Using Program Synthesis
This paper presents a new synthesis-based approach for batch image proce...
share
research
∙
09/02/2022
Type-Directed Synthesis of Visualizations from Natural Language Queries
We propose a new technique based on program synthesis for automatically ...
research
∙
11/03/2020
Exempla Gratis (E.G.): Code Examples for Free
Modern software engineering often involves using many existing APIs, bot...
research
∙
12/10/2019
Usability Methods for Designing Programming Languages for Software Engineers
Programming language design requires making many usability-related desig...
research
∙
12/10/2019