Changes between Version 65 and Version 66 of WikiStart


Ignore:
Timestamp:
Apr 4, 2017, 11:51:45 PM (6 months ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v65 v66  
    5252== Publications == 
    5353 
     54=== 2017 ===  
     55 
     56* Frédéric Loulergue. Imperative BSPlib-style Communications in Bulk Synchronous Parallel ML. In International Conference on Computational Science (ICCS), Procedia Computer Science, Zurich, Switzerland, 2017. Elsevier. to appear 
     57* Loulergue Frédéric, Wadoud Bousdira, and Julien Tesson.  [http://dx.doi.org/10.1007/s10766-016-0415-8 Calculating Parallel Programs in Coq using List Homomorphisms]. In ''International Journal of Parallel Programming'', volume 45, issue 2, pp. 300-319, 2017 
     58 
    5459=== 2015 === 
    5560 
    56 * Loulergue Frédéric, Wadoud Bousdira, and Julien Tesson.  Calculating Parallel Programs in Coq using List Homomorphisms. In ''International Journal of Parallel Programming'', 2015, to appear 
     61 
    5762* Loulergue Frédéric, Wadoud Bousdira, and Julien Tesson. Calcul de programmes parallèles avec Coq. In Nicolas Ollinger, editor, École des Jeunes Chercheurs en Informatique Mathématique, collection Alpha. CNRS Éditions, 2015 
    5863