Changes between Version 43 and Version 44 of WikiStart


Ignore:
Timestamp:
Nov 19, 2013, 1:52:45 AM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v43 v44  
    2121== Software == 
    2222 
     23* Library "Program Calculation in Coq": [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.1.tar.bz2 version 0.1], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.15.tar.bz2 version 0.15], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.16.tar.bz2 version 0.16] (for Coq 8.3), [https://traclifo.univ-orleans.fr/SDPP/raw-attachment/wiki/WikiStart/ProgramCalculationInCoq-nii2013.tar.gz version nii2013] (for Coq 8.4) 
    2324 * Library "Systematic Development of Parallel Programs" and "Certified BSML" [http://tesson.julien.free.fr/research/project/SDPP-full-0.2.tar.gz version 0.2] 
    2425 * Library "Systematic Development of Parallel Programs" [http://frederic.loulergue.eu/ftp/sdpp-0.1.tar.bz2 version 0.1] 
    25  * Library "Program Calculation in Coq": [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.1.tar.bz2 version 0.1], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.15.tar.bz2 version 0.15], [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.16.tar.bz2 version 0.16] (for Coq 8.3) 
    26  
     26  
    2727== Publications == 
    2828 
    2929=== Conferences === 
    3030 
     31* 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. 
    3132* Frédéric Loulergue, Virginia Niculescu, and Simon Robillard. Powerlists in Coq: Programming and Reasoning. In First International Symposium on Computing and Networking (CANDAR). IEEE Computer Society, 2013. to appear. 
    3233* 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