Changes between Version 46 and Version 47 of WikiStart


Ignore:
Timestamp:
Sep 2, 2014, 6:44:59 AM (4 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v46 v47  
    3636=== Conferences / Colloques === 
    3737 
    38 * Frédéric Dabrowski, Frédéric Loulergue, and Thomas Pinsard. Nested Atomic Sections with Thread Escape: A Formal Definition. In ACM Symposium on Applied Computing (SAC), Gyeongju, Corée, ACM Press, 2014, à paraître 
     38* Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, and Zhenjiang Hu. [http://doi.acm.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 
    3939* 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). IEEE Computer Society, 2013. 
    4040* Nicolas Dugué, Anthony Perez, [http://link.springer.com/chapter/10.1007/978-3-642-36844-8_1 Detecting social capitalists on Twitter using similarity measures]. In Complex Networks IV, SCI 476, pages 1-12, Springer, 2013.