Changes between Version 78 and Version 79 of WikiStart

Timestamp:

Mar 27, 2014, 1:35:49 AM (4 years ago)

Author:

frederic.loulergue@…

Comment:

--

WikiStart

@@ -59 +59 @@
 1. Noman Javed and Frédéric Loulergue. [http://dx.doi.org/10.1109/HPCSim.2011.5999832 Parallel Programming and Performance Predictability with Orléans Skeleton Library]. In International Conference on High Performance Computing and Simulation (HPCS). pages 257-263, IEEE, 2011
 
+== Dissemination ==
+
+* 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
+
 == Thesis ==
 
+* Joeffrey Légaux, 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
- * 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
+
 
 == [wiki:Deliverables Deliverables] ==