Formal derivation of efficient parallel programs by construction of list homomorphisms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallelization in calculational forms
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Static Parallelization of Loops and Recursions
The Journal of Supercomputing - Special issue: high performance computing systems
Programming with Divide-and-Conquer Skeletons: A Case Study of FFT
The Journal of Supercomputing
Toward Formally-Based Design of Message Passing Programs
IEEE Transactions on Software Engineering - Special issue on architecture-independent languages and software tools for parallel processing
An Accumulative Parallel Skeleton for All
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Double-Scan: Introducing and Implementing a New Data-Parallel Skeleton
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
SAT: a programming methodology with skeletons and collective operations
Patterns and skeletons for parallel and distributed computing
Task and data parallelism in P3L
Patterns and skeletons for parallel and distributed computing
Parallelizing functional programs by generalization
Journal of Functional Programming
Parallelization of divide-and-conquer by translation to nested loops
Journal of Functional Programming
A cost-optimal parallel implementation of a tridiagonal system solver using skeletons
Future Generation Computer Systems - Special issue: Parallel computing technologies
A library of constructive skeletons for sequential style of parallel programming
InfoScale '06 Proceedings of the 1st international conference on Scalable information systems
Towards automatic parallelization of tree reductions in dynamic programming
Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures
Parallel skeletons for manipulating general trees
Parallel Computing - Algorithmic skeletons
MapReduce: simplified data processing on large clusters
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Google's MapReduce programming model — Revisited
Science of Computer Programming
Google's MapReduce programming model – Revisited
Science of Computer Programming
MapReduce: simplified data processing on large clusters
Communications of the ACM - 50th anniversary issue: 1958 - 2008
Optimizing the parallel computation of linear recurrences using compact matrix representations
Journal of Parallel and Distributed Computing
A compositional framework for developing parallel programs on two-dimensional arrays
International Journal of Parallel Programming
A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming
APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
A cost-optimal parallel implementation of a tridiagonal system solver using skeletons
Future Generation Computer Systems - Special issue: Parallel computing technologies
Generators-of-generators library with optimization capabilities in fortress
Euro-Par'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part II
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Financial software on GPUs: between Haskell and Fortran
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores
| Hi-index | 0.00 |