|
Research
[Page last updated on "febbraio 10, 2019, 09:33:03".]
In few words, I am working on the abstract interpretation based
static analysis of software and hardware systems:
in the beginning, my main target was the analysis of
(concurrent) (constraint) logic languages;
later on, the analysis of imperative, mainstream languages
came into focus.
In my research I am mainly trying to provide new contributions to:
- the design, implementation and evaluation of abstract domains;
- the design, implementation and evaluation of static analysis
and program verification tools.
These two topics are obviously closely related, since the analysis tools
use one or more abstract domains as underlying components.
For a better idea of what I mean, you can have a look at the list of my
publications.
New projects are being developed:
PPLite,
PHAVerLite.
Whenever possible, theoretical research should be coupled
with a good experimental evaluation of the results achieved.
This applies to all fields of science and, in particular,
to computer science.
That is why I have collaborated (sometimes I am still collaborating)
to the following research projects:
From 2011 to 2015, I partecipated to the creation and development
of BUGSENG,
a spin-off of the University of Parma.
BUGSENG produces tools and provides services
for automated software analysis, verification and testing;
it also distributes the Parma Polyhedra Library.
My research work is - or has been - or will be - partially supported by:
-
AIDA - Abstract Interpretation: Design and Applications.
Collaborative MURST Project between the universities of
Bologna, Padova, Parma, Pisa, Udine, Verona, Venezia.
-
CoVer: Constraint-Based Verification of Reactive Systems.
Collaborative MURST Project between the universities of
Bologna, Genova, Padova, Parma, Udine, Verona.
-
COFIN'01: Automatic Aggregate - and Number-Reasoning
for Computing: from Decision Algorithms to Constraint Programming
with Multisets, Sets, and Maps.
Collaborative MURST Project between the universities of
Catania, L'Aquila e Parma.
-
Advanced Development Environments for Logic Programs.
Integrated Action Italy-Spain 2001-2002.
-
COFIN'00: Abstract Interpretation, type systems and
control-flow analysis.
Collaborative MURST Project between the universities of
Pisa, Torino, Venezia and Verona.
-
Certificazione automatica di programmi mediante interpretazione
astratta.
Collaborative MURST Project between the universities of
Parma, Pisa, Udine, Venezia and Verona.
-
Software Support for Constraint Logic programming.
Collaborative EPSRC project GR/M05645 between
the University of Leeds and the University of Kent at Canterbury.
- Gruppo Nazionale per il Calcolo Scientifico (GNCS)
of the Istituto Nazionale di Alta Matematica
.
|