Ricerca di contatti, progetti,
corsi e pubblicazioni

FAN - Foundations of dynamic program Analysis

Persone

 

Binder W.

(Responsabile)

Gross C.

(Co-responsabile)

Hauswirth M.

(Co-responsabile)

Bulej L.

(Collaboratore)

Mastrangelo L.

(Collaboratore)

Sarimbekov A.

(Collaboratore)

Vitasek M.

(Collaboratore)

Zheng Y.

(Collaboratore)

Abstract

As software systems grow in complexity and execution platforms become more and more sophisticated, it becomes harder and harder for a software engineer to understand, tune, or debug programs. Existing program analysis tools offer limited support, in part because there is a big gap between the abstractions provided by tools and the abstractions employed by software engineers. In this project, we explore a new approach to developing program analysis tools with considerably less programming effort. Our research will address the question: Can we raise the abstraction level for writing dynamic analysis tools, allowing software engineers to rapidly develop custom analysis tools, impairing neither expressiveness nor tool performance?

Informazioni aggiuntive

Acronimo
FAN
Data d'inizio
01.04.2012
Data di fine
30.09.2015
Durata
42 Mesi
Enti finanziatori
SNSF
Stato
Concluso
Categoria
Swiss National Science Foundation / Sinergia