Changes between Version 7 and Version 8 of JINO-2


Ignore:
Timestamp:
Jan 4, 2013, 10:26:10 AM (6 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • JINO-2

    v7 v8  
    1919* 12h15-14h00 '''Déjeuner''' / '''Lunch''' 
    2020 
    21 * 14h00-15h00 Zhenjiang Hu (National Institute for Informatics, Tokyo, Japan), '''A GTA Library for Systematic Parallel Programming with MapReduce'''[[BR]]!MapReduce, being inspired by the map and reduce primitives available in many functional languages, is the de facto standard for large scale data-intensive parallel programming.  Although it has succeeded in popularizing the use of the two primitives for hiding the details of parallel computation, little effort has been made to emphasize the programming methodology behind, which has been intensively studied in the functional programming and program calculation fields. In this talk, I'd show that MapReduce can be equipped with a programming theory in calculational form. By integrating the generate-and-test programing (GTA) paradigm and semirings for aggregation of results, we propose a novel parallel programming framework for !MapReduce, and demonstrate how the framework can be efficiently implemented as a library to support parallel programming on Hadoop. This is a joint work with Kento Emoto, Sebastian Fischer, and Yu Liu. 
     21* 14h00-15h00 Zhenjiang Hu (National Institute for Informatics, Tokyo, Japan), '''A GTA Library for Systematic Parallel Programming with !MapReduce'''[[BR]]!MapReduce, being inspired by the map and reduce primitives available in many functional languages, is the de facto standard for large scale data-intensive parallel programming.  Although it has succeeded in popularizing the use of the two primitives for hiding the details of parallel computation, little effort has been made to emphasize the programming methodology behind, which has been intensively studied in the functional programming and program calculation fields. In this talk, I'd show that !MapReduce can be equipped with a programming theory in calculational form. By integrating the generate-and-test programing (GTA) paradigm and semirings for aggregation of results, we propose a novel parallel programming framework for !MapReduce, and demonstrate how the framework can be efficiently implemented as a library to support parallel programming on Hadoop. This is a joint work with Kento Emoto, Sebastian Fischer, and Yu Liu. 
    2222 
    23 * 15h00-15h45  Frédéric Loulergue (LIFO, Université d'Orléans), '''Towards a Verified GTA Library in Coq"'[[BR]]This is a joint work with Kento Emoto, Julien Tesson, and Frédéric Dabrowski. 
     23* 15h00-15h45  Frédéric Loulergue (LIFO, Université d'Orléans), '''Towards a Verified GTA Library in Coq'''[[BR]]This is a joint work with Kento Emoto, Julien Tesson, and Frédéric Dabrowski. 
    2424 
    2525* 15h45-16h15 '''Pause''' / '''Coffee Break'''