[PPL-devel] [GIT] ppl/ppl(master): Acknowledge the contribution of AMD. Fixed mistaked of previous commit.
Roberto Bagnara
bagnara at cs.unipr.it
Thu Apr 9 20:47:14 CEST 2009
Module: ppl/ppl
Branch: master
Commit: 96604f4f9f42cee268d6ef6c9635e6c7f3f9940c
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96604f4f9f42cee268d6ef6c9635e6c7f3f9940c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 9 19:10:05 2009 +0200
Acknowledge the contribution of AMD. Fixed mistaked of previous commit.
---
CREDITS | 63 +++++++++++++++++++++++++++++++++++----------------------------
1 files changed, 35 insertions(+), 28 deletions(-)
diff --git a/CREDITS b/CREDITS
index fdfe9cd..18b7453 100644
--- a/CREDITS
+++ b/CREDITS
@@ -273,19 +273,24 @@ Organizations (and People Therein):
We are grateful for the following contributions:
-- The Computing Center of the University of Parma [46] allowed us to test
- the portability of the library on a variety of platforms. Fausto
- Pagani was especially helpful in this respect.
-
-- The GCC Compile Farm Project [47] managed by FSF France provided access
- to a number of machines that allowed us to test and improve the
- portability of the library. Special thanks go to Laurent Guerby
+- AMD Developer Central [46] has donated a bi-quad core machine with
+ the latest AMD Opteron 2384 "Shanghai" processors and 16GB of RAM.
+ This machine now hosts all the PPL data and services. Many thanks
+ to Christophe Harle and Sebastian Pop.
+
+- The Computing Center of the University of Parma [47] allowed us to
+ test the portability of the library on a variety of platforms.
+ Fausto Pagani was especially helpful in this respect.
+
+- The GCC Compile Farm Project [48] managed by FSF France provided
+ access to a number of machines that allowed us to test and improve
+ the portability of the library. Special thanks go to Laurent Guerby
for his kind assistance.
-- The test cluster provided by Hewlett Packard and hosted by ESIEE [48]
+- The test cluster provided by Hewlett Packard and hosted by ESIEE [49]
allowed us to complete the porting of the PPL to the IA64 and PA-RISC
- architectures. Many thanks to Thibaut Varene [49] and the PA-RISC
- Linux community [50] for their kind assistance.
+ architectures. Many thanks to Thibaut Varene [50] and the PA-RISC
+ Linux community [51] for their kind assistance.
Some of our research work has been partly supported by the following
@@ -295,31 +300,31 @@ projects and organizations:
``Pure and Applied Mathematics'';
- MURST project ``Automatic Program Certification by Abstract
- Interpretation'' [51];
+ Interpretation'' [52];
- 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'' [52];
+ and Maps'' [53];
-- MURST project ``Constraint Based Verification of Reactive Systems'' [53];
+- MURST project ``Constraint Based Verification of Reactive Systems'' [54];
- MURST project ``AIDA - Abstract Interpretation: Design and
- Applications'' [54];
+ Applications'' [55];
- 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'' [55];
+ ``Numerical Domains for Software Analysis'' [56];
- Royal Society International Outgoing Short Visit 2007/R4
- ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [56];
+ ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [57];
- EPSRC (UK) project EP/G025177/1
- ``Geometric Abstractions for Scalable Program Analyzers'' [56].
+ ``Geometric Abstractions for Scalable Program Analyzers'' [57].
--------
@@ -347,6 +352,7 @@ projects and organizations:
[22] http://www.cs.unipr.it/ppl/Documentation/chernikova.c
[23] http://www.cs.unipr.it/ppl/Documentation/bibliography#LeVerge92
[24] http://research.microsoft.com/~logozzo/
+[25] http://homepages.inf.ed.ac.uk/kwxm/
[26] http://www.math.unipr.it/~medori/
[27] http://www.univ-reunion.fr/~fred/
[28] http://www.cs.unipr.it/cTI/
@@ -367,14 +373,15 @@ projects and organizations:
[43] http://www.ncc.up.pt/~pbv/cgi/cost.cgi
[44] http://www.ncc.up.pt/~pbv/research/ppl/ghc.html
[45] http://wissrech.ins.uni-bonn.de/people/wildenhues.html
-[46] http://www.siti.unipr.it/
-[47] http://gcc.gnu.org/wiki/CompileFarm
-[48] http://www.esiee.fr/
-[49] http://www.parisc-linux.org/~varenet/
-[50] http://www.parisc-linux.org/
-[51] http://theory.sci.univr.it/p40/
-[52] http://www.cs.unipr.it/Projects/COFIN01
-[53] http://www.disi.unige.it/person/DelzannoG/cover/
-[54] http://www.cs.unipr.it/Projects/AIDA/
-[55] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html
-[56] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html
+[46] http://developer.amd.com/
+[47] http://www.siti.unipr.it/
+[48] http://gcc.gnu.org/wiki/CompileFarm
+[49] http://www.esiee.fr/
+[50] http://www.parisc-linux.org/~varenet/
+[51] http://www.parisc-linux.org/
+[52] http://theory.sci.univr.it/p40/
+[53] http://www.cs.unipr.it/Projects/COFIN01
+[54] http://www.disi.unige.it/person/DelzannoG/cover/
+[55] http://www.cs.unipr.it/Projects/AIDA/
+[56] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html
+[57] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html
More information about the PPL-devel
mailing list