Software Synthesis

OVERVIEW

Program Synthesis refers to techniques and approaches that automatically generate a program based on a specification described by the programmer or end-user. In this research project, we aim to find ways to improve programmers’ productivity in producing software while preserving the quality of the code.

To achieve the aforementioned goal, we designed an approach that mines a repository of code, identifies frameworks’ APIs used in programs, and creates API usage models. This approach is called SpecMiner.

 

Program Synthesis refers to techniques and approaches that automatically generate a program based on a specification described by the programmer or end-user. In this research project, we aim to find ways to improve programmers’ productivity in producing software while preserving the quality of the code.

To achieve the aforementioned goal, we designed an approach that mines a repository of code, identifies frameworks’ APIs used in programs, and creates API usage models. This approach is called SpecMiner.