Changes between Version 10 and Version 11 of WikiStart


Ignore:
Timestamp:
Mar 25, 2014, 6:20:59 AM (4 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v10 v11  
    3232 
    3333* 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. 
    34 * 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), Gyeongju, Korea, 2014. ACM Press. to appear. 
     34* 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 
    3535* 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 
    3636* 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