Changes between Initial Version and Version 1 of workshop


Ignore:
Timestamp:
May 21, 2014, 1:16:52 PM (4 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • workshop

    v1 v1  
     1= PaPDAS Workshop = 
     2= July 1-2, 2014 = 
     3= Orléans, France = 
     4 
     5== Date and Location == 
     6 
     7Tuesday and Wednesday, July 1-2, 2014 
     8 
     9Université d'Orléans, LIFO, Orléans, France 
     10 
     11== Program == 
     12 
     13=== Tuesday, July 1 === 
     14 
     15==== Welcome and introduction (9h00-9h30)==== 
     16 
     17* 9h00-9h15: Welcome 
     18* 9h15-9h30: Introduction 
     19 
     20==== Session: Constructive algorithms (9h30-12h30) ==== 
     21 
     22* 9h30-10h10: Kiminori Matsuzaki, ''Functional Models of Hadoop !MapReduce and Their Application to Scan'' 
     23* 10h10-10h50: Kento Emoto, Frédéric Loulergue, and Julien Tesson, ''A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction'' 
     24* 10h50-11h10: ''Coffee Break'' 
     25* 11h10-11h50: Kiminori Matsuzaki and Reina Miyazaki, ''Parallel Tree Accumulations on !MapReduce'' 
     26* 11h50-12h30: 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'' 
     27 
     28==== Lunch (12h30-14h00)==== 
     29 
     30==== Session: Algorithmic skeleton libraries (14h-18h) ====  
     31 
     32* 14h00-15h00: ''Invited talk'' 
     33* 15h00-15h40: Kento Emoto, Kiminori Matsuzaki, ''The !SkeTo Library'' 
     34* 15h40-16h20: Joeffrey Légaux, Noman Javed, Sylvain Jubertie, and Frédéric Loulergue, ''OSL: The Orléans Skeleton Library'' 
     35* 16h20-16h40: ''Coffee Break'' 
     36* 16h40-17h20: Shigeyuki Sato, Kiminori Matsuzaki, ''A Generic Implementation of Tree Skeletons'' 
     37* 17h20-18h00: Wadoud Bousdira (Presenter), Frédéric Loulergue, Julien Tesson, Vitor Rodrigues, and Sylvain Dailler, ''A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays'' 
     38 
     39==== Dinner ==== 
     40 
     41=== Wednesday, July 2 === 
     42 
     43==== Session: Verified compilation ==== 
     44 
     45* 09h30-10h30: ''Invited Speaker'' 
     46* 10h30-10h50: ''Coffee Break'' 
     47* 10h50-11h30: Thomas Pinsard, Frédéric Dabrowski, Frédéric Loulergue, ''Nested Atomic Sections with Thread Escape: From a Formal Definition to Verified Compilation'' 
     48* 11h30-12h10: Sylvain Dailler, Frédéric Dabrowski, ''Modular Verified Compilation for Parallel Languages'' 
     49 
     50==== Lunch ==== 
     51 
     52==== HLPP ==== 
     53 
     54The Symposium on High Level Parallel Programming and Applications ([https://sites.google.com/site/hlpp2014amsterdam HLPP]) is held in Amsterdam on July 3-4. 
     55 
     56Trains from Orléans to Amsterdam on July, 2:  
     57* 13h28 - 18h42         
     58* 15h28 - 20h42 
     59* 17h28 - 22h42