POPL’17 paper accepted

with No Comments

Our paper called “Component-Based Synthesis for Complex APIs” is accepted to POPLĀ 2017 in Paris! Here is the abstract: Component-based approaches to program synthesis assemble programs from a database of existing components, such as methods provided by an API. In this … Read More