Module: ppl/ppl Branch: ppl-0_10-branch Commit: a786a3fa3e3f0d6b0522dd9dbe16c4a2066faac6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a786a3fa3e3f0...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 9 21:41:10 2009 +0200

Mentioned the AIDA 2007 project.

---

CREDITS | 16 ++++++++++------ 1 files changed, 10 insertions(+), 6 deletions(-)

diff --git a/CREDITS b/CREDITS index 5004e43..7316d9b 100644 --- a/CREDITS +++ b/CREDITS @@ -293,7 +293,7 @@ We are grateful for the following contributions: Linux community [51] for their kind assistance.

- HiPEAC [52] sponsored the participation of Roberto Bagnara to the - Graphite Workshop [53. This was very helpful to discuss the needs + Graphite Workshop [53]. This was very helpful to discuss the needs of Graphite [54] (a framework for high-level loop optimizations on the polyhedral model) and, more generally, of GCC [55] in terms of numerical abstractions and how the PPL can help. Special thanks go @@ -325,17 +325,20 @@ projects and organizations: - MURST project ``AIDA - Abstract Interpretation: Design and Applications'' [61];

+- PRIN project ``AIDA 2007 - Abstract Interpretation: Design and + Applications'' [62]; + - Royal Society Joint project 2004/R1-EU (UK-Italy) ``Automatic Detection of Unstable Numerical Computations'';

- EPSRC (UK) project EP/C520726/1 - ``Numerical Domains for Software Analysis'' [62]; + ``Numerical Domains for Software Analysis'' [63];

- Royal Society International Outgoing Short Visit 2007/R4 - ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [63]; + ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [64];

- EPSRC (UK) project EP/G025177/1 - ``Geometric Abstractions for Scalable Program Analyzers'' [63]. + ``Geometric Abstractions for Scalable Program Analyzers'' [64].

--------

@@ -400,5 +403,6 @@ projects and organizations: [59] http://www.cs.unipr.it/Projects/COFIN01 [60] http://www.disi.unige.it/person/DelzannoG/cover/ [61] http://www.cs.unipr.it/Projects/AIDA/ -[62] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html -[63] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html +[62] http://www.cs.unipr.it/Projects/AIDA2007/ +[63] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html +[64] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html