Changes between Version 9 and Version 10 of WikiStart


Ignore:
Timestamp:
Mar 24, 2014, 3:13:45 AM (4 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v9 v10  
    3131=== Conferences === 
    3232 
     33* 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. 
    3334* 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. 
    3435* 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