Changes between Version 81 and Version 82 of WikiStart


Ignore:
Timestamp:
Jul 3, 2014, 9:59:07 AM (4 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v81 v82  
    4444== Publications == 
    4545 
    46 1. Kento Emoto, Frédéric Loulergue, and Julien Tesson. A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. In Interactive Theorem Proving (ITP), LNCS. Springer, 2014. to appear. 
     461. Kiminori Matsuzaki and Reina Miyazaki. Parallel Tree Accumulations on MapReduce. International Journal of Parallel Programming, Springer, 2015, to appear 
     47 Shigeyuki Sato and Kiminori Matsuzaki. A Generic Implementation of Tree Skeletons. International Journal of Parallel Programming, Springer, 2015, to appear 
     481. 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 
     491. 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 
    47501. 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 
    48511. 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 
    49521. Frédéric Loulergue, Virginia Niculescu, and Simon Robillard. [http://dx.doi.org/10.1109/CANDAR.2013.17 Powerlists in Coq: Programming and Reasoning]. In First International Symposium on Computing and Networking (CANDAR), pages 57-65. IEEE Computer Society, 2013 
    50531. Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, and Julien Tesson. [http://dx.doi.org/10.1007/978-3-642-40047-6_46 Programming with BSP Homomorphisms]. In F. Wolf, B. Mohr, and D. Ney, editors, Euro-Par 2013 Parallel Processing, number 8097 in LNCS, pages 446-457. Springer, 2013 
    51 1. Kento Emoto, Kiminori Matsuzaki, [http://dx.doi.org/10.1007/s10766-013-0263-8 An Automatic Fusion Mechanism for Variable-Length List Skeletons in !SkeTo], International Journal of Parallel Programming, Springer, ,2013. t 
     541. Kento Emoto, Kiminori Matsuzaki, [http://dx.doi.org/10.1007/s10766-013-0263-8 An Automatic Fusion Mechanism for Variable-Length List Skeletons in !SkeTo], International Journal of Parallel Programming, Springer, 2013. 
    52551. Joeffrey Legaux, Frédéric Loulergue, and Sylvain Jubertie. [http://dx.doi.org/10.1109/HPCSim.2013.6641451 Managing Arbitrary Distributions of Arrays in Orléans Skeleton Library]. In International Conference on High Performance Computing and Simulation (HPCS), pages 437-444, IEEE, 2013 
    53561. Kento Emoto, Kiminori Matsuzaki,  [https://traclifo.univ-orleans.fr/PaPDAS/raw-attachment/wiki/WikiStart/ipsj-pro2013.pdf Implementing a Fusion-equipped Library with boost::proto], IPSJ SIG-PRO Meeting, Februray 2013