Changes between Version 51 and Version 52 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v51 v52  
    5151 
    5252== Publications == 
     53 
     54=== 2014 === 
     55 
     56* Kento Emoto, Frédéric Loulergue, and Julien Tesson. A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. In ITP, LNCS. Springer, 2014. to appear. 
     57* 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 
    5358 
    5459=== 2012 ===