Changes between Version 13 and Version 14 of FraDeCoPP-3


Ignore:
Timestamp:
Oct 8, 2013, 8:58:11 AM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • FraDeCoPP-3

    v13 v14  
    1717* 12h00-14h00 '''Déjeuner / Lunch (Restaurant l'Agora)'''  
    1818 
    19 * 14h00-15h00 Thomas Horstmeyer and Rita Loogen (Philipps-Universität Marburg), '''Parallel Functional Programming in Eden'''[[BR]]Eden extends Haskell with constructs for the definition and instantiation of parallel processes. Processes evaluate function applications remotely in parallel. The programmer has control over process granularity, data distribution, communication topology, and evaluation site, but need not manage synchronisation and data exchange between processes. The latter are performed by the parallel runtime system through implicit communication channels, transparent to the programmer. Common and sophisticated parallel communication patterns and topologies, so-called algorithmic skeletons, are provided as higher-order functions in a user-extensible skeleton library written in Eden. Eden is geared toward distributed settings, i.e.\ processes do not share any data, but can equally well be used on multicore systems. In the talk, we give an introduction into Eden's language constructs and its skeleton-based programming methodology.  
     19* 14h00-15h00 Thomas Horstmeyer and Rita Loogen (Philipps-Universität Marburg), '''[http://frederic.loulergue.eu/ftp/horstmeyer_fradecopp-3.pdf Parallel Functional Programming in Eden]'''[[BR]]Eden extends Haskell with constructs for the definition and instantiation of parallel processes. Processes evaluate function applications remotely in parallel. The programmer has control over process granularity, data distribution, communication topology, and evaluation site, but need not manage synchronisation and data exchange between processes. The latter are performed by the parallel runtime system through implicit communication channels, transparent to the programmer. Common and sophisticated parallel communication patterns and topologies, so-called algorithmic skeletons, are provided as higher-order functions in a user-extensible skeleton library written in Eden. Eden is geared toward distributed settings, i.e.\ processes do not share any data, but can equally well be used on multicore systems. In the talk, we give an introduction into Eden's language constructs and its skeleton-based programming methodology.  
    2020 
    21 * 15h00-16h00 Yolanda Ortega-Mallén (Universidad Complutense de Madrid), '''Formal Semantics for the Parallel Language Eden'''[[BR]]We present two formal semantics for the kernel of the parallel language Eden. First we describe an operational semantics expressed as a two-level transition system. Next we present a denotational semantics based on continuations, suitable for dealing with side-effects and parallelism. We end by comparing both approaches. 
     21* 15h00-16h00 Yolanda Ortega-Mallén (Universidad Complutense de Madrid), '''[http://frederic.loulergue.eu/ftp/ortega-mallen_fradecopp-3.pdf Formal Semantics for the Parallel Language Eden]'''[[BR]]We present two formal semantics for the kernel of the parallel language Eden. First we describe an operational semantics expressed as a two-level transition system. Next we present a denotational semantics based on continuations, suitable for dealing with side-effects and parallelism. We end by comparing both approaches. 
    2222 
    2323* 16h00-16h30 '''Pause / Coffee Break'''