Changes between Version 92 and Version 93 of WikiStart

Timestamp:

Jun 1, 2015, 1:39:40 PM (3 years ago)

Author:

frederic.loulergue@…

Comment:

--

WikiStart

@@ -49 +49 @@
 === International refeered journals ===
 
+1. Kiminori Matsuzaki. “Functional Models of Hadoop MapReduce with Application to Scan”. In: Int J Parallel Prog (2015). To appear.
 1. Frédéric Loulergue, Wadoud Bousdira, and Julien Tesson. “Calculating Parallel Programs in Coq using List Homomorphisms”. In: Int J Parallel Prog (2015). To appear.
 1. Frédéric Dabrowski, Frédéric Loulergue, and Thomas Pinsard. “A Formal Semantics of Nested Atomic Sections with Thread Escape”. In: Comput Lang Syst Str (2015). DOI: [http://dx.doi.org/10.1016/j.cl.2015.04.001 10.1016/j.cl.2015.04.001].
@@ -86 +87 @@
 === Tutorials ===
 
-* Frédéric Loulergue, Wadoud Bousdira, Julien Tesson, Calcul de programmes parallèles en Coq, Course at the Spring School "Ecole des Jeunes Chercheurs en Informatique Mathématique", Orléans, France, 2015
-* Frédéric Loulergue and Julien Tesson, Certified Parallel Program Calculation in Coq: A Tutorial, International Conference in High Performance Computing and Simulation (HPCS), Bologna, Italy, July 2014
-* Frédéric Loulergue, [http://ejcp2014.inria.fr Parallel Program Calculation in Coq], Course at the Summer School "Ecole des Jeunes Chercheurs en Programmation" (EJCP), Rennes, France, June 19, 2014
+1. Frédéric Loulergue, Wadoud Bousdira, Julien Tesson, Calcul de programmes parallèles en Coq, Course at the Spring School "Ecole des Jeunes Chercheurs en Informatique Mathématique", Orléans, France, 2015.
+1. Frédéric Loulergue and Julien Tesson, Certified Parallel Program Calculation in Coq: A Tutorial, International Conference in High Performance Computing and Simulation (HPCS), Bologna, Italy, July 2014. DOI: [http://dx.doi.org/10.1109/HPCSim.2014.6903655 10.1109/HPCSim.2014.6903655]
+1. Frédéric Loulergue. “Systematic Development of Correct Programs for Parallel and Cloud Computing”, Faculty of Mathematics and Informatics, Babes-Bolyai University of Cluj-Napoca, Romania, February 2014.
+1. Frédéric Loulergue. “Systematic Development of Correct Programs for Parallel and Cloud Computing”, NII International advanced lectures series on ICT, Tokyo, Japan, October-November 2013 (7 lectures).
 
 
 === Thesis ===
 
-* Thomas Pinsard, Nested Atomic Sections with Thread Espace: Semantics and Compilation, LIFO, University of Orléans, December 2014
-* Joeffrey Légaux, [http://tel.archives-ouvertes.fr/tel-00990852 Squelettes algorithmiques pour la programmation et l’exécution efficaces de codes parallèles], LIFO, University of Orléans, December 2013
-* Julien Tesson, [ftp://ftp.univ-orleans.fr/theses/julien.tesson_2187.pdf Environnement pour le développement et la preuve de correction systématiques de programmes parallèles fonctionnels]. PhD Thesis, LIFO, University of Orléans, November 2011
-* Noman Javed, [http://www.theses.fr/2011ORLE2021/document Metaprogrammed Algorithmic Skeletons: Implementations, Performances and Semantics], PhD Thesis, LIFO, University of Orléans, October 2011
+1. Thomas Pinsard, Nested Atomic Sections with Thread Espace: Semantics and Compilation, PhD Thesis, LIFO, University of Orléans, December 2014
+1. Joeffrey Légaux, [http://tel.archives-ouvertes.fr/tel-00990852 Squelettes algorithmiques pour la programmation et l’exécution efficaces de codes parallèles], LIFO, University of Orléans, December 2013
+1. Julien Tesson, [ftp://ftp.univ-orleans.fr/theses/julien.tesson_2187.pdf Environnement pour le développement et la preuve de correction systématiques de programmes parallèles fonctionnels]. PhD Thesis, LIFO, University of Orléans, November 2011
+1. Noman Javed, [http://www.theses.fr/2011ORLE2021/document Metaprogrammed Algorithmic Skeletons: Implementations, Performances and Semantics], PhD Thesis, LIFO, University of Orléans, October 2011
 
 == [wiki:Deliverables Deliverables] ==