Module: ppl/ppl Branch: master Commit: 8e4bc90a2bcaef22c139f0bd18b16f89e8885841 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e4bc90a2bcae...
Author: Roberto Bagnara bagnara@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