88 | | * 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 |
89 | | * 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 |
90 | | * 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 |
| 89 | 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. |
| 90 | 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] |
| 91 | 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. |
| 92 | 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). |
95 | | * Thomas Pinsard, Nested Atomic Sections with Thread Espace: Semantics and Compilation, LIFO, University of Orléans, December 2014 |
96 | | * 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 |
97 | | * 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 |
98 | | * Noman Javed, [http://www.theses.fr/2011ORLE2021/document Metaprogrammed Algorithmic Skeletons: Implementations, Performances and Semantics], PhD Thesis, LIFO, University of Orléans, October 2011 |
| 97 | 1. Thomas Pinsard, Nested Atomic Sections with Thread Espace: Semantics and Compilation, PhD Thesis, LIFO, University of Orléans, December 2014 |
| 98 | 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 |
| 99 | 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 |
| 100 | 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 |