Changes between Version 52 and Version 53 of WikiStart

Timestamp:

Feb 26, 2015, 12:01:44 PM (3 years ago)

Author:

frederic.loulergue@…

Comment:

--

WikiStart

@@ -40 +40 @@
 
  * Frédéric Loulergue (LIFO, University of Orléans)
- * Frédéric Gava (LACL, University Paris East Créteil)
- * Julien Tesson (LIFO, University of Orléans)
  * Wadoud Bousdira (LIFO, University of Orléans)
- 
-Past members: Gaétan Hains, Olivier Ballereau, Armelle Merlin, David Billiet, Dimitri Louis-Régis, Radia Benheddi, Céline Ansault, Ilias Garnier, Louis Gesbert, Guillaume Petiot
+ * Julien Tesson (LACL, University Paris East Créteil)
+
+Past members: Gaétan Hains, Olivier Ballereau, Armelle Merlin, David Billiet, Dimitri Louis-Régis, Radia Benheddi, Céline Ansault, Ilias Garnier, Louis Gesbert, Guillaume Petiot, Frédéric Gava
 
 Logo design: [http://clotilde-touze.blogspot.com/ Clotilde Touze]
@@ -52 +51 @@
 == Publications ==
 
+=== 2015 ===
+
+* Loulergue Frédéric, Wadoud Bousdira, and Julien Tesson. Calcul de programmes parallèles avec Coq. In Nicolas Ollinger, editor, École des Jeunes Chercheurs en Informatique Mathématique, collection Alpha. CNRS Éditions, 2015
+
 === 2014 ===
 
-* Kento Emoto, Frédéric Loulergue, and Julien Tesson. A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. In ITP, LNCS. Springer, 2014. to appear.
+* Kento Emoto, Frédéric Loulergue, and Julien Tesson. A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. In ITP, LNCS. Springer, 2014. 
 * Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, and Zhenjiang Hu. Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem. In ACM Symposium on Applied Computing (SAC), pages 1577-1584. ACM Press, 2014
+* Frédéric Loulergue, Virginia Niculescu, and Julien Tesson. Implementing powerlists with Bulk Synchronous Parallel ML. In SYNASC. IEEE, 2014
 
 === 2012 ===