Exploratory Program Synthesis

Informations projet

EXPLOSYN

N° de convention de subvention: 101117232

DOI

10.3030/101117232

Date de signature de la CE 3 Novembre 2023

Date de début 1 Decembre 2023

Date de fin 30 Novembre 2028

Financé au titre de

• European Research Council (ERC)

Coût total

€ 1 500 000,00

Contribution de l’UE

€ 1 500 000,00

Coordonné par

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY
Israel

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Publications

Conference proceedings (2)

Debugging into Existence with Program Synthesis

Auteurs: Guy Frankel, Shay Segal, Hila Peleg
Publié dans: 2025 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2025
Éditeur: IEEE
DOI: 10.1109/VL-HCC65237.2025.00021

ScooPy: Enhancing Program Synthesis with Nested Example Specifications

Auteurs: Tomer Katz, Hila Peleg
Publié dans: Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, 2025
Éditeur: ACM
DOI: 10.1145/3759429.3762619