[PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Acknowledge the contribution of INRIA.
Roberto Bagnara
bagnara at cs.unipr.it
Fri Apr 10 22:41:08 CEST 2009
Module: ppl/ppl
Branch: ppl-0_10-branch
Commit: 11e028c0bff9d5060fde44011e47eb70c8006266
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11e028c0bff9d5060fde44011e47eb70c8006266
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Apr 9 20:59:40 2009 +0200
Acknowledge the contribution of INRIA.
---
CREDITS | 32 +++++++++++++++++++-------------
1 files changed, 19 insertions(+), 13 deletions(-)
diff --git a/CREDITS b/CREDITS
index 18b7453..1771859 100644
--- a/CREDITS
+++ b/CREDITS
@@ -292,6 +292,10 @@ 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,
+ 2009, to work on the PPL and its development infrastructure.
+ Many thanks go, in particular, to Albert Cohen [53].
+
Some of our research work has been partly supported by the following
projects and organizations:
@@ -300,31 +304,31 @@ projects and organizations:
``Pure and Applied Mathematics'';
- MURST project ``Automatic Program Certification by Abstract
- Interpretation'' [52];
+ Interpretation'' [54];
- 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'' [53];
+ and Maps'' [55];
-- MURST project ``Constraint Based Verification of Reactive Systems'' [54];
+- MURST project ``Constraint Based Verification of Reactive Systems'' [56];
- MURST project ``AIDA - Abstract Interpretation: Design and
- Applications'' [55];
+ Applications'' [57];
- 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'' [56];
+ ``Numerical Domains for Software Analysis'' [58];
- Royal Society International Outgoing Short Visit 2007/R4
- ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [57];
+ ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [59];
- EPSRC (UK) project EP/G025177/1
- ``Geometric Abstractions for Scalable Program Analyzers'' [57].
+ ``Geometric Abstractions for Scalable Program Analyzers'' [59].
--------
@@ -379,9 +383,11 @@ projects and organizations:
[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
+[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
More information about the PPL-devel
mailing list