| | 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. |
![(please configure the [header_logo] section in trac.ini)](http://traclifo.univ-orleans.fr/INEX/chrome/site/lifo.png)
