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

PINDESYM

Financiado

Cerrado

Program Intelligence, Declaratively and Symbolically

The automatic understanding of programs, in insightful, high-level terms, has long been a dream of computer science. The area of static program analysis has made significant progress in such understanding by algorithmically modeli... ver más

31/12/2028

UOA

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

ETHNIKO KAI KAPODISTRIAKO PANEPISTIMIO ATHINO... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

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

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2024-01-01

ERC-2022-ADG: ERC ADVANCED GRANTS Scope:Objectives

I+D

Cerrada hace 2 años

0% 100%

Información adicional privada

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

Participantes

UOA

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

SPADE Sophisticated Program Analysis Declaratively 1M€ Cerrado

VERLAN Verification and Language Theory 176K€ Cerrado

RACE Reasoning About Computational Economies 2M€ Cerrado

SymSim Symmetry and Similarity 2M€ Cerrado

DESARROLLO DE UN NUEVO LENGUAJE DE DOMINIO ES... DESARROLLO DE UN NUEVO LENGUAJE DE DOMINIO ESPECÍFICO PARA L... 610K€ Cerrado

MCUNLEASH Model Checking Unleashed 1M€ Cerrado

Duración del proyecto: 59 meses Fecha Inicio: 2024-01-01
Fecha Fin: 2028-12-31

Líder del proyecto

ETHNIKO KAI KAPODISTRIAKO PANEPISTIMIO ATHINO... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 2M€

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

Descripción del proyecto The automatic understanding of programs, in insightful, high-level terms, has long been a dream of computer science. The area of static program analysis has made significant progress in such understanding by algorithmically modeling all possible program behaviors. In this setting, declarative program analysis has recently demonstrated great success in capturing powerful algorithms efficiently and elegantly, in a form that bridges mathematical logic and intuitive human understanding.The PI’s research has established a world-leading program in declarative program analysis, with multiple independent signs of high recognition. However, the dream of automatic deep program understanding remains elusive: static analysis tools are still reliant on significant human insights and extensive customization for the analysis domain. Is there hope for a giant step forward? The PINDESYM approach posits that two emerging breakthroughs offer excellent promise to take declarative program analysis to a next level, capable of realizing the dream of automatic program understanding. The first is the idea of combining a declarative system (e.g., a Datalog fixpoint engine) and a symbolic reasoning system, such as an SMT solver or algebraic rewrite system. The second is the seamless integration of a machine learning approach, over large amounts of data (from past code bases), in the declarative inference process.The PINDESYM project will leverage symbolic reasoning and learning approaches to greatly advanceprogram analysis. The challenge is dual: not only to invent powerful new techniques and algorithms, but also to capture all the diversity in symbolic, value-flow, and learning-based reasoning in a single, unified, reusable, and extensible analysis framework—a true deep program understanding engine, far beyond current approaches.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores