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

BIGCODE

Financiado

Cerrado

Learning from Big Code Probabilistic Models Analysis and Synthesis

The goal of this proposal is to fundamentally change the way we build and reason about software. We aim to develop new kinds of statistical programming systems that provide probabilistically likely solutions to tasks that are diff... ver más

31/03/2021

ETH Zürich

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH No se ha especificado una descripción o un objeto social para esta compañía.

Fecha límite participación Sin fecha límite de participación.

Ver 2 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2021-03-31

ERC-StG-2015: ERC Starting Grant

I+D

Cerrada hace 9 años

0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

2 Participantes

ETH Zürich

1.50M€ | Lider

ABAGREEN

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

TIN2017-90773-REDT RED DE EXCELENCIA EN TRATAMIENTO INTELIGENTE DE DATOS Y GENE... 10K€ Cerrado

FASTPARSE Fast Natural Language Parsing for Large Scale NLP 1M€ Cerrado

HERRAMIENTA DE INTELIGENCIA ARTIFICIAL PROCE... HERRAMIENTA DE INTELIGENCIA ARTIFICIAL PROCESAMIENTO DE LEN... 819K€ Cerrado

IMTRAP Integration of Machine Translation Paradigms 173K€ Cerrado

ExplainYourself Explainable and Robust Automatic Fact Checking 1M€ Cerrado

RTI2018-102285-A-I00 APRENDIZAJE PROFUNDO MULTIMODAL ESTRUCTURADO 28K€ Cerrado

Duración del proyecto: 61 meses Fecha Inicio: 2016-02-18
Fecha Fin: 2021-03-31

Líder del proyecto

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH No se ha especificado una descripción o un objeto social para esta compañía.

Presupuesto del proyecto 2M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto The goal of this proposal is to fundamentally change the way we build and reason about software. We aim to develop new kinds of statistical programming systems that provide probabilistically likely solutions to tasks that are difficult or impossible to solve with traditional approaches. These statistical programming systems will be based on probabilistic models of massive codebases (also known as ``Big Code'') built via a combination of advanced programming languages and powerful machine learning and natural language processing techniques. To solve a particular challenge, a statistical programming system will query a probabilistic model, compute the most likely predictions, and present those to the developer. Based on probabilistic models of ``Big Code'', we propose to investigate new statistical techniques in the context of three fundamental research directions: i) statistical program synthesis where we develop techniques that automatically synthesize and predict new programs, ii) statistical prediction of program properties where we develop new techniques that can predict important facts (e.g., types) about programs, and iii) statistical translation of programs where we investigate new techniques for statistical translation of programs (e.g., from one programming language to another, or to a natural language). We believe the research direction outlined in this interdisciplinary proposal opens a new and exciting area of computer science. This area will combine sophisticated statistical learning and advanced programming language techniques for building the next-generation statistical programming systems. We expect the results of this proposal to have an immediate impact upon millions of developers worldwide, triggering a paradigm shift in the way tomorrow's software is built, as well as a long-lasting impact on scientific fields such as machine learning, natural language processing, programming languages and software engineering.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores