Skip to main content
Go to the home page of the European Commission (opens in new window)
English en
CORDIS - EU research results
CORDIS

Exploratory Program Synthesis

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Publications

Debugging into Existence with Program Synthesis (opens in new window)

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

ScooPy: Enhancing Program Synthesis with Nested Example Specifications (opens in new window)

Author(s): Tomer Katz, Hila Peleg
Published in: Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, 2025
Publisher: ACM
DOI: 10.1145/3759429.3762619

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0