[PPL-devel] [GIT] ppl/ppl(master): Mentioned the AIDA 2007 project.
Roberto Bagnara
bagnara at cs.unipr.it
Thu Apr 9 21:42:34 CEST 2009
Module: ppl/ppl
Branch: master
Commit: a786a3fa3e3f0d6b0522dd9dbe16c4a2066faac6
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a786a3fa3e3f0d6b0522dd9dbe16c4a2066faac6
Author: Roberto Bagnara <bagnara at 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
More information about the PPL-devel
mailing list