Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

EXPLOSYN

Financiado

Exploratory Program Synthesis

Our goal is to create Program Synthesis that can be used during Exploratory Programming to boost productivity and reliability when programmers write code. Program synthesis generates code for programmers so they can focus on the p... ver más

30/11/2028

TECHNION ISRAEL I...

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

TECHNION ISRAEL INSTITUTE OF TECHNOLOGY No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2023-11-03

ERC-2023-STG: ERC STARTING GRANTS Scope:Objectives

I+D

Cerrada hace 2 años

0% 100% 100%

1 Participantes

TECHNION ISRAEL INSTITUTE O...

1.50M€ | Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

INC10-0038 Algoritmos IA aplicados a búsqueda facetada,generación de co... 124K€ Cerrado

TIN2015-71841-REDT RED DE EXCELENCIA EN INGENIERIA DE SOFTWARE BASADA EN BUSQUE... 20K€ Cerrado

PRE2019-089558 SOLUCIONES EXPLICABLES Y PRECISAS PARA PROBLEMAS COMPLEJOS M... 98K€ Cerrado

TIN2017-87610-R RAZONAMIENTO AUTOMATICO, EJECUCION DE MODELOS Y ANALISIS DE... 161K€ Cerrado

BES-2014-067610 UNA NUEVA HERRAMIENTA PARA LA COMPUTACION INTELIGENTE: FUNCI... 88K€ Cerrado

IJC2019-040489-I Soft Computing Applied to Complex and Hard Problems 93K€ Cerrado

Duración del proyecto: 60 meses Fecha Inicio: 2023-11-03
Fecha Fin: 2028-11-30

Líder del proyecto

TECHNION ISRAEL INSTITUTE OF TECHNOLOGY No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 2M€

Descripción del proyecto Our goal is to create Program Synthesis that can be used during Exploratory Programming to boost productivity and reliability when programmers write code. 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. User studies we conducted to evaluate previous synthesis tools highlighted the chasm between what programmers know before writing code and the specifications program synthesis needs. We will develop Exploratory Program Synthesis: tools that can support the programmer even when their initial specification of the task is lacking. Exploratory Program Synthesis will hinge on finding non-disruptive ways for the programmer to use synthesis while still using specifications so that results retain a notion of correctness. This will require a better understanding of both exploratory programming and existing user-centric challenges in program synthesis, and will produce new synthesis interaction models backed by new synthesis algorithms. The conceptual leap is finding ways for programmers to interact with synthesis that are designed for the needs of both programmer and synthesizer by better understanding both, forming an interface between the two that is mutually beneficial. Exploratory Program Synthesis will revolutionize programming by letting the wealth of synthesis research be integrated into programmers' day-to-day work, allowing programmers to generate code that is attuned to their work trajectory. The algorithms and interaction models developed in this research will significantly improve programmers' ability to write correct code quickly.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores