Recent Papers by Sergei Gorlatch
Welcome to a selection of recent publications by Sergei Gorlatch!
More papers by myself and by other members of our group are
here
- Towards Formally-Based Design of Message Passing Programs [IEEE Transactions on Software Engineering, to appear]
(
Sergei Gorlatch
)
- Parallelizing Functional Programs by Generalization [Journal of Functional Programming, to appear]
(
Alfons Geser , Sergei Gorlatch
)
- Skeletons and Transformations in an
Integrated Parallel Programming Environment [PaCT-99]
( Bruno Bacci,
Sergei Gorlatch
, Christian Lengauer and Susanna Pelagatti )
- Extracting and Implementing List Homomorphisms
in Parallel Program Development [Science of Computer Programming 99]
(
Sergei Gorlatch
)
- A Transformational Framework for Skeletal Programs: Overview and Case Study [IPPS/SPDP'99 Workshops]
( Sergei Gorlatch, Susanna Pelagatti )
-
Optimization Rules for Programming with Collective Operations
[IPPS/SPDP'99]
(
Sergei Gorlatch,
Christoph Wedler,
Christian Lengauer
)
- Programming with Divide-and-Conquer Skeletons:
An Application to FFT [The Journal of Supercomputing 98]
(
Sergei Gorlatch
)
- A Generic MPI Implementation for a Data-Parallel Skeleton:
Formal Derivation and Application to FFT [Parallel Processing Letters 98]
(
Sergei Gorlatch, Holger Bischof
)
- Abstraction and Performance in the Design of Parallel Programs [TechRep 98]
(
Sergei Gorlatch
)
- (De)Composition Rules for Parallel Scan and Reduction [MPPM 97]
(
Sergei Gorlatch,
Christian Lengauer
)
- The Static Parallelization of Loops and Recursions [The Journal of Supercomputing 97]
(
Christian Lengauer,
Sergei Gorlatch, Christoph Herrmann
)
- Systematic Extraction and Implementation of
Divide-and-Conquer Parallelism [PLILP 96]
(
Sergei Gorlatch
)
- From Transformations to Methodology in Parallel
Program Development: A Case Study [Microprocessing and Microprogramming 96]
(
Sergei Gorlatch
)
- N-Graphs: A Topology for Parallel
Divide-and-Conquer on Transputer Networks [WTC 95]
(
Sergei Gorlatch,
Christian Lengauer
)
- Systematic Efficient Parallelization of Scan and Other
List Homomorphisms [Europar 96]
(
Sergei Gorlatch
)
- Stages and Transformations in Parallel Programming [Leeds 96]
(
Sergei Gorlatch
)
- Parallelization of Divide-and-Conquer
in the Bird-Meertens Formalism [Formal Aspects of Computing 95]
(
Sergei Gorlatch,
Christian Lengauer
)
- Formal Derivation and Implementation of
Divide-and-Conquer on a Transputer Network [WTC 94]
(
Sergei Gorlatch
)
Cross links: