[PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Acknowledge the contribution of HiPEAC.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Apr  9 21:23:41 2009 +0200

Acknowledge the contribution of HiPEAC.

---

 CREDITS |   45 ++++++++++++++++++++++++++++-----------------
 1 files changed, 28 insertions(+), 17 deletions(-)

diff --git a/CREDITS b/CREDITS
index 1771859..5004e43 100644
--- a/CREDITS
+++ b/CREDITS
@@ -292,9 +292,16 @@ We are grateful for the following contributions:
   architectures.  Many thanks to Thibaut Varene [50] and the PA-RISC
   Linux community [51] for their kind assistance.
 
-- INRIA [52] is supporting Abramo Bagnara from January 1st to May 31st,
+- HiPEAC [52] sponsored the participation of Roberto Bagnara to the
+  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
+  to Albert Cohen [57] for this sponsorship.
+
+- INRIA [56] is supporting Abramo Bagnara from January 1st to May 31st,
   2009, to work on the PPL and its development infrastructure.
-  Many thanks go, in particular, to Albert Cohen [53].
+  Many thanks go, in particular, to Albert Cohen [57].
 
 
 Some of our research work has been partly supported by the following
@@ -304,31 +311,31 @@ projects and organizations:
   ``Pure and Applied Mathematics'';
 
 - MURST project ``Automatic Program Certification by Abstract
-  Interpretation'' [54];
+  Interpretation'' [58];
 
 - MURST project ``Abstract Interpretation, Type Systems and Control-Flow
   Analysis'';
 
 - MURST project ``Automatic Aggregate- and Number-Reasoning for Computing:
   from Decision Algorithms to Constraint Programming with Multisets, Sets,
-  and Maps'' [55];
+  and Maps'' [59];
 
-- MURST project ``Constraint Based Verification of Reactive Systems'' [56];
+- MURST project ``Constraint Based Verification of Reactive Systems'' [60];
 
 - MURST project ``AIDA - Abstract Interpretation: Design and
-  Applications'' [57];
+  Applications'' [61];
 
 - 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'' [58];
+  ``Numerical Domains for Software Analysis'' [62];
 
 - Royal Society International Outgoing Short Visit 2007/R4
-  ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [59];
+  ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [63];
 
 - EPSRC (UK) project EP/G025177/1
-  ``Geometric Abstractions for Scalable Program Analyzers'' [59].
+  ``Geometric Abstractions for Scalable Program Analyzers'' [63].
 
 --------
 
@@ -383,11 +390,15 @@ projects and organizations:
 [49] http://www.esiee.fr/
 [50] http://www.parisc-linux.org/~varenet/
 [51] http://www.parisc-linux.org/
-[52] http://www.inria.fr/
-[53] http://www-rocq.inria.fr/~acohen/
-[54] http://theory.sci.univr.it/p40/
-[55] http://www.cs.unipr.it/Projects/COFIN01
-[56] http://www.disi.unige.it/person/DelzannoG/cover/
-[57] http://www.cs.unipr.it/Projects/AIDA/
-[58] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html
-[59] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html
+[52] http://www.hipeac.net/
+[53] http://gcc.gnu.org/wiki/Graphite_Workshop_Nov08
+[54] http://gcc.gnu.org/wiki/Graphite
+[55] http://gcc.gnu.org/
+[56] http://www.inria.fr/
+[57] http://www-rocq.inria.fr/~acohen/
+[58] http://theory.sci.univr.it/p40/
+[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