Changes between Version 87 and Version 88 of WikiStart


Ignore:
Timestamp:
Jun 1, 2015, 9:58:27 AM (3 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v87 v88  
    99 * Frédéric Dabrowski (co-PI), [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] 
    1010 * Kiminori Matsuzaki (co-PI), [http://www.kochi-tech.ac.jp/gs_e/index.html Kochi University of Technology] 
     11 * Frédéric Loulergue, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] 
    1112 
    1213 * Wadoud Bousdira, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans]  
    … …  
    1617 * Noman Javed, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] / Namal College, Pakistan 
    1718 * Yiu Liu, [http://www.nii.ac.jp/graduate/index_e.html The Graduate University for Avanced Studies] 
    18  * Frédéric Loulergue, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] 
    1919 * Thomas Pinsard, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] 
    2020 * Simon Robillard, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans]   
    … …  
    4242 * The [http://traclifo.univ-orleans.fr/OSL OSL] Library 
    4343 * The [http://sketo.ipl-lab.org SkeTo] Library 
    44  * The [http://traclifo.univ-orleans.fr/SDPP SDPP] Library 
     44 * The [http://traclifo.univ-orleans.fr/SyDPaCC SyDPaCC] Library 
    4545 * The [http://traclifo.univ-orleans.fr/PaPDAS/attachment/wiki/WikiStart/SyDRec.tar.gz SyDRec] module for Coq 
    4646 
    4747== Publications == 
    4848 
    49 1. Kiminori Matsuzaki and Reina Miyazaki. Parallel Tree Accumulations on !MapReduce. International Journal of Parallel Programming, Springer, 2015, to appear 
    50 1. Shigeyuki Sato and Kiminori Matsuzaki. A Generic Implementation of Tree Skeletons. International Journal of Parallel Programming, Springer, 2015, to appear 
     49=== International refeered journals === 
     50 
     51 
     52 
     53=== Book chapter === 
     54 
     551. Frédéric Loulergue, Wadoud Bousdira, and Julien Tesson. Calcul de programmes parallèles avec Coq. In Nicolas Ollinger, editor, Informatique Mathématique une photographie en 2015, collection Alpha, pages 87-134. CNRS Éditions, 2015. 
     56 
     57=== International refereed conferences === 
     58 
    51591. Kento Emoto, Frédéric Loulergue, and Julien Tesson. [http://dx.doi.org/10.1007/978-3-319-08970-6_17 A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction]. In ITP, number 8558 in LNAI, pages 258-274. Springer, 2014 
    52 1. Joeffrey Légaux, Sylvain Jubertie, and Frédéric Loulergue. Development Effort and Performance Trade-off in High-Level Parallel Programming. In International Conference on High Performance Computing and Simulation (HPCS). IEEE, 2014. to appear 
     601. Joeffrey Légaux, Sylvain Jubertie, and Frédéric Loulergue. Development Effort and Performance Trade-off in High-Level Parallel Programming. In International Conference on High Performance Computing and Simulation (HPCS). IEEE, 2014.  
    53611. Frédéric Dabrowski, Frédéric Loulergue, and Thomas Pinsard. Nested Atomic Sections with Thread Escape: A Formal Definition. In ACM Symposium on Applied Computing (SAC), pages 1585-1592. ACM Press, 2014 
    54621. 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