Talks
-
Luc Bougé , "PAR considered harmful"
-
Luc Bougé ,
David Cachera ,
"Formal Validation of Data-Parallel Programs: The Assertional Approach"
-
Georg Botorog , "Skeleton-Based Implementation of Adaptive Multigrid Algorithms"
- Larry Carter,
"Yet Another Bridging Model - The Parallel Memory Hierarchy
"
- Manuel Chakravarty
, "Functions Compute, Relations Co-ordinate"
- Murray Cole ,
"Skeletal Programming, Present and Future"
- Ralf Ebner
, "A Data Flow Approach to Higher Order Functions for Recursive Numerical Applications"
- Susan Flynn-Hummel
, "SPMD Programming in Java"
-
Sergei Gorlatch, "Formal Derivation of Divide-and-Conquer Programs: A Case Study in the
Multidimensional FFT's"
-
Wolfgang Giloi, " A High-Level Programming Environment
for Distributed Memory Architecture"
- Zully Grant-Duff,
"Systematic Mapping of Higher-Order Functional Specifications"
-
Gaétan Hains, "Costs and semantics in parallel languages"
-
Christoph Herrmann, "Translation of Divide-and-Conquer Algorithms
to Nested Parallel Loop Programs"
-
Jonathon Hill, "BSP cost analysis and the implementation of skeletons"
-
C. Barry Jay, "Vectors are Shaped Lists"
-
Paul Kelly, "Runtime Interprocedural Data Placement Optimisation for Lazy Parallel Libraries"
- Christoph Kessler ,
"Practical PRAM Programming with Fork95"
- Herbert Kuchen,
"Dataparallel Skeletons"
- Thomas Nitsche
, "Deriving Parallel Algorithms using Data Distribution Algebras"
- John O'Donnell,
" Abstract Parallel Machines:
Organizing Higher Order Functions for Parallel Program Derivation"
- Salvatore Orlando,
"Load Balancing Stratgies to Implement Non-uniform Data Parallel Computations"
- Susanna Pelagatti,
"Combining Task and Data Parallelism within Skeleton-based Models"
- Jan Prins,
"Data-parallel programming: Can we have high-level languages *and*
high-performance?"
- Alexander Pfaffinger
, "Exploiting Maximum Parallelism in Hierarchical Numerical Applications"
- Sanjay Rajopadhye
"Alpha: A functional data parallel Language based on polyhedra"
- Roopa Rangaswami,
"The Higher-Order Parallel Programming (HOPP) Model"
- Gudula Ruenger,
"Deriving Programs with Mixed Method and Data Parallelism"
- Andreas Schramm,
"Distributed Types:
A unifying model of spatial structure in parallel programming"
- Mary Sheeran,
"Higher Order Functions in Hardware Design"
- David Skillicorn,
"Costs, Transformations, and Parallel Programming"
- David Skillicorn,
"The Bird-Meertens Formalism - A Tutorial"
-
Hing Wing To, "Structured Parallel Programming: Parallel Abstract Data Types"
-
Phil Trinder, "Evaluation Strategies for Parallel Functional Programming"
-
Eric Violard , "Parallel Programming with PEI"
-
Christoph Wedler, "Classification of Parallel Implementations for Linearly Recursive Functions"
Murray Cole
Last modified: Tue Mar 25 17:16:40 GMT