Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Sun 18 Aug 2019 16:00 - 16:20 at Aurora Borealis - Generic Programming and Synthesis Chair(s): Edwin Brady

Effective program synthesis requires a way to minimise the number of candidate programs being searched. A type signature, for example, places some small restrictions on the structure of potential candidates. We introduce and motivate a distilled program synthesis problem where a type signature is the only machine-readable information available, but does not sufficiently minimise the search space. To address this, we develop a system of property relations that can be used to flexibly encode and query information that was not previously available to the synthesiser. Our experience using these tools has been positive: by encoding simple properties and by using a minimal set of synthesis primitives, we have been able to synthesise complex programs in novel contexts.

Sun 18 Aug

tyde-2019-papers
15:20 - 16:40: TyDe 2019 - Generic Programming and Synthesis at Aurora Borealis
Chair(s): Edwin BradyUniversity of St. Andrews, UK
tyde-2019-papers15:20 - 15:40
Talk
Cas van der RestUtrecht University, Wouter SwierstraUtrecht University, Netherlands, Manuel ChakravartyTweag I/O & IOHK
Pre-print
tyde-2019-papers15:40 - 16:00
Talk
Guillaume AllaisUniversity of Strathclyde
Link to publication
tyde-2019-papers16:00 - 16:20
Talk
Bruce CollieUniversity of Edinburgh, Michael O'BoyleUniversity of Edinburgh
Pre-print
tyde-2019-papers16:20 - 16:40
Talk
Peter-Michael OseraGrinnell College
Link to publication