Exploratory Program Synthesis

Informacje na temat projektu

EXPLOSYN

Identyfikator umowy o grant: 101117232

DOI

10.3030/101117232

Data podpisania przez KE 3 Listopada 2023

Data rozpoczęcia 1 Grudnia 2023

Data zakończenia 30 Listopada 2028

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 1 500 000,00

Wkład UE

€ 1 500 000,00

Koordynowany przez

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY
Israel

Periodic Reporting for period 1 - EXPLOSYN (Exploratory Program Synthesis)

Okres sprawozdawczy: 2023-12-01 do 2026-05-31

Podsumowanie kontekstu i ogólnych celów projektu

Program synthesis generates code for programmers so they can focus on the problem-solving aspects of their work. This often requires programmers to write a specification for the desired code, but this specification may not exist. Many aspects are initially undecided: implementation details, the division into subtasks, and at times even what the result should be.

This leads programmers to use Exploratory Programming: refining their understanding of the code by writing the code. Our overall goal in this proposed project is to develop synthesis tools
and techniques that can practically support programmers in the course of
their real-world tasks, many of which involve exploratory programming.

To do this, we must overcome three main obstructions in marrying synthesis with exploratory programming, which stem from the chasm between the iterative progression of exploratory programming and the single-step progression of program synthesis.

The expected impact of the EXPLOSYN project is the creating of tools that may be adapted by users, and a better understanding of how exploratory tasks are performed, which in itself can open the door to better tools.

Prace wykonane od początku projektu do końca okresu sprawozdawczego oraz najważniejsze dotychczasowe rezultaty

As planned, we have investigated extending several known exploratory workflows with program synthesis. We examined the shortcomings of “debugging into existence”, a development mechanism based on inspection within the debugger and of small-step live PBE, a workflow already synthesis enabled and exploratory by nature.
The insights gained about these workflows allowed us to develop DeSynt, a debugging into existence program synthesizer that overcomes the first-breakpoint gap in the original debugging into existence workflow and ScooPy, a live programming environment to allow iterative work on the same code with small-step PBE. Together these represent WP1of the proposal.

Innowacyjność oraz oczekiwany potencjalny wpływ (w tym dotychczasowe znaczenie społeczno-gospodarcze i szersze implikacje społeczne projektu)

DeSynt (Debugging into Existence with Program Synthesis) and its trigerless completions created an unexpected interaction model that sits in a portion of the design space previously thought to be necessarily empty. ScooPy advances the state of the art of Live Programming by Examples and takes Live Programming into an intersection with the field of software testing.