Changes between Version 21 and Version 22 of WikiStart


Ignore:
Timestamp:
Feb 24, 2016, 10:41:15 AM (2 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v21 v22  
    2727== Publications == 
    2828 
     29=== Journal === 
     30 
     31* Frédéric Loulergue, Wadoud Bousdira, and Julien Tesson. Calculating Parallel Programs in Coq using List Homomorphisms. Int J Parallel Prog, 2016. To appear. [[BR]] Version of SyDPaCC related to this paper:  [http://frederic.loulergue.eu/ftp/sydpacc-core-0.2pre.tar.gz version core-0.2pre]. [https://traclifo.univ-orleans.fr/SyDPaCC/raw-attachment/wiki/WikiStart/mps_experiments.pdf Experiments] about the maximum prefix sum application. 
     32 
     33 
    2934=== Book Chapter === 
    3035 
    … …  
    3338=== Conferences === 
    3439 
    35 * Frédéric Loulergue, Wadoud Bousdira, and Julien Tesson. Calculating Parallel Programs in Coq using List Homomorphisms. Int J Parallel Prog, 2015. To appear. [[BR]] Version of SyDPaCC related to this paper:  [http://frederic.loulergue.eu/ftp/sydpacc-core-0.2pre.tar.gz version core-0.2pre]. [https://traclifo.univ-orleans.fr/SyDPaCC/raw-attachment/wiki/WikiStart/mps_experiments.pdf Experiments] about the maximum prefix sum application. 
    3640* 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. 
    3741* Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, and Zhenjiang Hu. [http://dx.doi.org/10.1145/2554850.2554912 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