GPCE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Sun 15 Nov 2020 09:40 - 10:00 at SPLASH-III - Chair(s): Juan de Lara, Jeff Gray, Laurence Tratt
Sun 15 Nov 2020 21:40 - 22:00 at SPLASH-III - Chair(s): Laurence Tratt, Jeff Gray, Juan de Lara

This paper is concerned with synthesizing programs based on black-box oracles: we are interested in the case where there exists an executable implementation of a component or library, but its internal structure is unknown. We are provided with just an API or function signature, and aim to synthesize a program with equivalent behavior.

To attack this problem, we detail Presyn: a program synthesizer designed for flexible interoperation with existing programs and compiler toolchains. Presyn uses high-level imperative control-flow structures and a pair of cooperating predictive models to efficiently narrow the space of potential programs. These models can be trained effectively on small corpora of synthesized examples.

We evaluate Presyn against five leading program synthesizers on a collection of 112 synthesis benchmarks collated from previous studies and real-world software libraries. We show that Presyn is able to synthesize a wider range of programs than each of them with less human input. We demonstrate the application of our approach to real-world code and software engineering problems with two case studies: accelerator library porting and detection of duplicated library reimplementations.

Conference Day
Sun 15 Nov

Displayed time zone: Central Time (US & Canada) change

09:40 - 10:20
SLE / GPCE at SPLASH-III +12h
Chair(s): Juan de LaraAutonomous University of Madrid, Jeff GrayUniversity of Alabama, Laurence TrattKing's College London
09:40
20m
Talk
Modeling Black-Box Components with Probabilistic SynthesisBest Paper Award
GPCE
Bruce CollieUniversity of Edinburgh, Jackson WoodruffUniversity of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh
Link to publication DOI Media Attached
10:00
20m
Talk
Gradually Typing Strategies
SLE
Jeff SmitsDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print Media Attached
21:40 - 22:20
SLE / GPCE at SPLASH-III
Chair(s): Laurence TrattKing's College London, Jeff GrayUniversity of Alabama, Juan de LaraAutonomous University of Madrid
21:40
20m
Talk
Modeling Black-Box Components with Probabilistic SynthesisBest Paper Award
GPCE
Bruce CollieUniversity of Edinburgh, Jackson WoodruffUniversity of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh
Link to publication DOI Media Attached
22:00
20m
Talk
Gradually Typing Strategies
SLE
Jeff SmitsDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print Media Attached