PADECL
Advanced Program Analysis Using Declarative Languages
| Coordinatore | NATIONAL AND KAPODISTRIAN UNIVERSITY OF ATHENS
Organization address
address: CHRISTOU LADA 6 contact info |
| Nazionalità Coordinatore | Greece [EL] |
| Totale costo | 100˙000 € |
| EC contributo | 100˙000 € |
| Programma | FP7-PEOPLE
Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) |
| Code Call | FP7-PEOPLE-2009-RG |
| Funding Scheme | MC-IRG |
| Anno di inizio | 2010 |
| Periodo (anno-mese-giorno) | 2010-12-01 - 2014-11-30 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
NATIONAL AND KAPODISTRIAN UNIVERSITY OF ATHENS
Organization address
address: CHRISTOU LADA 6 contact info |
EL (ATHENS) | coordinator | 100˙000.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
'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.'
Introduzione (Teaser)
Analysing computer programs is a highly complex activity in computer science research. An EU-funded project has improved the means for developing faster, more accurate and better performing software.