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

PADECL

Financiado

Cerrado

Advanced Program Analysis Using Declarative Languages

Analyzing programs automatically is an activity in the heart of Computer Science research. Program analysis is fundamentally very hard, as most involved analyses are either undecidable (i.e., mathematically impossible) or intracta... ver más

30/11/2014

UOA

100K€

Presupuesto del proyecto: 100K€

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 FP7 notifico la concesión del proyecto el día 2014-11-30 No tenemos la información de la convocatoria

0% 100% 100%

Información adicional privada

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

1 Participantes

UOA

0.00€ | 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

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

A-B-C-Deep Algorithmic Bias Control in Deep learning 2M€ Cerrado

PID2021-128045OA-I00 APRENDIZAJE PROFUNDO ETICO 56K€ Cerrado

SOLUCIÓN BASADA EN EL MACHINE LEARNING PARA E... SOLUCIÓN BASADA EN EL MACHINE LEARNING PARA EL ANÁLISIS DE D... 338K€ Cerrado

SLING Efficient algorithms for sustainable machine learning 2M€ Cerrado

REAL Reliable and cost effective large scale machine learning 1M€ Cerrado

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 100K€

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

Descripción del proyecto Analyzing programs automatically is an activity in the heart of Computer Science research. Program analysis is fundamentally very hard, as most involved analyses are either undecidable (i.e., mathematically impossible) or intractable (i.e., requiring an astronomically long time to complete). As a result, analyses have high complexity due to their need to achieve efficiency. We propose to implement advanced program analysis algorithms using purely declarative specifications. Such declarative specifications are much easier and more succinct than typical implementations of program analyses, since they concentrate on what the analysis needs to compute and not on how it does so. In our past work we have shown that declarative specifications of points-to analyses not only are easy to define, but also admit aggressive optimization. As a result of our optimization methodology, our work has demonstrated very large (often more than 10x) performance improvements compared to traditional imperative or semi-declarative implementations of points-to analyses. In the proposed work, we plan to employ similar declarative specifications for higher-level analyses than mere points-to analysis and to languages with different features and characteristics. Specifically, we intend to declaratively specify program analyses that are necessary for security (e.g., information leakage analyses), for error detection (e.g., race or deadlock detection in multi-threaded programs), and for optimization (e.g., cast check removal). We also plan to explore languages such as JavaScript (which has strong functional features) in addition to more standard languages like Java. With this work the applicant will transfer his expertise in program analysis to the host institution. Additionally, the proposed work will reintegrate in Europe an applicant with substantial academic experience at multiple US institutions, directly enhancing European scientific excellence.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores