Program Synthesis Using Example Propagation (HATRA 2022 - Human Aspects of Types and Reasoning Assistants)

Mon 5 - Sat 10 December 2022 Auckland, New Zealand

Who

Niek Mulleners, Johan Jeuring, Bastiaan Heeren

Track

HATRA 2022 Human Aspects of Types and Reasoning Assistants

Time Zone

The program is currently displayed in (GMT+13:00) Auckland, Wellington.

Use conference time zone: (GMT+13:00) Auckland, WellingtonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 7 Dec 2022 09:00 - 09:30 at Seminar Room G145 - Remote Talks Chair(s): Cyrus Omar

Abstract

We develop a program synthesizer for a statically-typed functional programming language with algebraic data types. It synthesizes expressions based on their types and example constraints. A programmer can provide a set of functions to guide the synthesis. Programs are generated in a top-down fashion, using refinement steps that preserve types and example constraints.

Link to Publication

https://doi.org/10.48550/arXiv.2210.13873

Niek Mulleners

Utrecht University

Netherlands

Johan Jeuring

Utrecht University

Bastiaan Heeren

Open University of the Netherlands, Netherlands