Exploratory Program Synthesis

Informazioni relative al progetto

EXPLOSYN

ID dell’accordo di sovvenzione: 101117232

DOI

10.3030/101117232

Data della firma CE 3 Novembre 2023

Data di avvio 1 Dicembre 2023

Data di completamento 30 Novembre 2028

Finanziato da

• European Research Council (ERC)

Costo totale

€ 1 500 000,00

Contributo UE

€ 1 500 000,00

Coordinato da

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY
Israel

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Pubblicazioni

Conference proceedings (2)

Debugging into Existence with Program Synthesis

Autori: Guy Frankel, Shay Segal, Hila Peleg
Pubblicato in: 2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2025
Editore: IEEE
DOI: 10.1109/VL-HCC65237.2025.00021

ScooPy: Enhancing Program Synthesis with Nested Example Specifications

Autori: Tomer Katz, Hila Peleg
Pubblicato in: Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, 2025
Editore: ACM
DOI: 10.1145/3759429.3762619