Changes between Version 5 and Version 6 of WikiStart

Timestamp:

Dec 4, 2009, 1:53:38 PM (9 years ago)

Author:

frederic.loulergue@…

Comment:

--

WikiStart

@@ -1 @@
-= '''Welcome to SDPP Home Page''' =
+= Welcome to SDPP Home Page =
 
 SDPP is a framework for Systematic Development of Parallel Programs.
@@ -8 +8 @@
 == Team ==
 
-[o] JT
+* Zhenjiang Hu, [http://www.nii.ac.jp National Institute of Informatics] and [http://www.ipl.t.u-tokyo.ac.jp IPL, The University of Tokyo]
+* Hideki Hashimoto, [http://www.ipl.t.u-tokyo.ac.jp IPL, The University of Tokyo]
+* Louis Gesbert, [http://lacl.univ-paris12.fr LACL], [http://www.univ-paris12.fr Université Paris Est Créteil] and [http://www.mlstate.com MLstate]
+* Frédéric Loulergue, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans]
+* Kimironi Matsuzaki, [http://www.kochi-tech.ac.jp/gs_e/index.html Kochi University of Technology]
+* Masato Takeichi, [http://www.ipl.t.u-tokyo.ac.jp/members.html IPL, The University of Tokyo]
+* Julien Tesson, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans]
+
 
 == Software ==
 
-[o] A Coq module for Program Calculation in Coq: coming soon
-[o] A Framework for the specification, derivation and extraction of correct BSML programs: coming soon
+* A Coq module for Program Calculation in Coq: public release coming soon
+
 
 == Publications ==
+
+* Louis Gesbert, Développement systématique et sûreté d'exécution en programmation parallèle structurée. PhD thesis, University Paris Est, LACL, 2009