Changes between Version 4 and Version 5 of FraDeCoPP-3


Ignore:
Timestamp:
Jul 17, 2013, 11:35:30 AM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • FraDeCoPP-3

    v4 v5  
    1111* 10h15-10h30 '''Accueil et introduction / Welcome and Introduction''' 
    1212 
    13 * 10h30-11h15  
     13* 10h30-11h15 Julien Tesson (Université Paris Est Créteil) and Joeffrey Legaux (Université d'Orléans), '''Programming with BSP Homomorphisms'''[[BR]]Algorithmic skeletons in conjunction with list homomorphisms play an important role in formal development of parallel algorithms. We have designed a notion of homomorphism dedicated to bulk synchronous parallelism. In this paper we derive two application using this theory: sparse matrix vector multiplication and the all nearest smaller values problem. We implement a support for BSP homomorphism in the Orléans Skeleton Library and experiment it with these two applications. 
    1414 
    15 * 11h15-12h00  
     15* 11h15-12h00 Frédéric Loulergue (Université d'Orléans) , '''Parallel Programming in Coq: the Bulk Synchronous Parallel ML Case'''[[BR]]Bulk Synchronous Parallel ML (BSML) is a structured parallel functional programming language. It extends a functional programming language of the ML family with a polymorphic data structure and a very small set of primitives. In this paper we describe a framework for reasoning about BSML programs using the Coq interactive theorem prover and for extracting actual parallel programs from proofs. This framework is illustrated through applications. 
    1616 
    1717* 12h00-14h00 '''Déjeuner / Lunch (Restaurant l'Agora)'''  
    1818 
    19 * 14h00-15h00 
     19* 14h00-15h00 Rita Loogen (Philipps-Universität Marburg), '''Parallel Functional Programming in Eden'''[[BR]] 
    2020 
    21 * 15h00-16h00  
     21* 15h00-16h00 Yolenda Ortega-Mallén (Universidad Complutense de Madrid), '''Formal Semantics for the Parallel Language Eden'''[[BR]] 
    2222 
    2323* 16h00-16h30 '''Pause / Coffee Break''' 
    2424 
    25 * 16h30-17h15  
     25* 16h30-17h30 Jean Fortin (Université Paris Est Créteil), ''' BSP-Why: a Tool for Deductive Verification of BSP Programs'''[[BR]] 
    2626 
    27 * 17h15-18h00 '''Conclusion''' 
     27* 17h30-18h00 '''Conclusion''' 
    2828 
    2929==  Aim and Scope ==