CML: A higher concurrent language
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Algorithmic skeletons: structured management of parallel computation
Algorithmic skeletons: structured management of parallel computation
A natural semantics for lazy evaluation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Programming parallel algorithms
Communications of the ACM
GUM: a portable parallel implementation of Haskell
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An operational semantics for parallel lazy evaluation
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Parallel programming in OpenMP
Parallel programming in OpenMP
Functional Programming for Loosely-Coupled Multiprocessors
Functional Programming for Loosely-Coupled Multiprocessors
Research Directions in Parallel Functional Programming
Research Directions in Parallel Functional Programming
Fundamentals of Computer Alori
Fundamentals of Computer Alori
Template meta-programming for Haskell
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Compiling Haskell by Program Transformation: A Report from the Trenches
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Parallel Programming Using Skeleton Functions
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
PARLE '91 Proceedings of Parallel Architectures and Languages - Volume II
From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
Optimising Eden by transformation
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
A distributed operational semantics for a parallel functional language
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
Controlling parallelism and data distribution in Eden
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
DREAM: The DistRibuted Eden Abstract Machine
IFL '97 Selected Papers from the 9th International Workshop on Implementation of Functional Languages
Parallel functional programming at two levels of abstraction
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Parallelism abstractions in eden
Patterns and skeletons for parallel and distributed computing
The Eden Coordination Model for Distributed Memory Systems
HIPS '97 Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
Comparing Parallel Functional Languages: Programming and Performance
Higher-Order and Symbolic Computation
Send-receive considered harmful: Myths and realities of message passing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel and Distributed Haskells
Journal of Functional Programming
Algorithm + strategy = parallelism
Journal of Functional Programming
Non-determinism analyses in a parallel-functional language
Journal of Functional Programming
IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
Building an interface between eden and maple: a way of parallelizing computer algebra algorithms
IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
Analyzing the influence of mixed evaluation on the performance of Eden skeletons
Parallel Computing - Algorithmic skeletons
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Strategies and simulations in a semantic framework
Journal of Algorithms
Towards an Implementation of a Computer Algebra System in a Functional Language
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Proceedings of the 4th workshop on Declarative aspects of multicore programming
Runtime support for multicore Haskell
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Parallel FFT with Eden Skeletons
PaCT '09 Proceedings of the 10th International Conference on Parallel Computing Technologies
Implementing Parallel Google Map-Reduce in Eden
Euro-Par '09 Proceedings of the 15th International Euro-Par Conference on Parallel Processing
To be or not to be ...lazy (In a Parallel Context)
Electronic Notes in Theoretical Computer Science (ENTCS)
Dealing Denotationally With Stream-based Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
S-Net for multi-memory multicores
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Comparing alternative evaluation strategies for stream-based parallel functional languages
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Parallel coordination made explicit in a functional setting
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Hierarchical master-worker skeletons
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Lessons from implementing the biCGStab method with SkeTo library
Proceedings of the fourth international workshop on High-level parallel programming and applications
Estimating parallel performance, a skeleton-based approach
Proceedings of the fourth international workshop on High-level parallel programming and applications
Seq no more: better strategies for parallel Haskell
Proceedings of the third ACM Haskell symposium on Haskell
Higher-Order and Symbolic Computation
A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers
Software—Practice & Experience - Focus on Selected PhD Literature Reviews in the Practical Aspects of Software Technology
Implementing data parallel rational multiple-residue arithmetic in eden
CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
SymGrid-Par: parallel orchestration of symbolic computation systems
ACM Communications in Computer Algebra
Kanor: a declarative language for explicit communication
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
A contextual semantics for concurrent Haskell with futures
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Proceedings of the 4th ACM symposium on Haskell
Proceedings of the fifth international workshop on High-level parallel programming and applications
Type system for a safe execution of parallel programs in BSML
Proceedings of the fifth international workshop on High-level parallel programming and applications
A formal programming model of Orléans skeleton library
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Implementation architecture and multithreaded runtime system of S-NET
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Orthogonal serialisation for Haskell
IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Improving your cash flow: the computer algebra shell
IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Skeleton composition using remote data
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Dynamic task generation and transformation within a nestable workpool skeleton
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
Preprocessing eden with template haskell
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
A skeleton for distributed work pools in eden
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Distributed S-Net: Cluster and Grid Computing without the Hassle
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008
Higher-Order and Symbolic Computation
Parallel computation skeletons with premature termination property
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
ParaForming: forming parallel haskell programs using novel refactoring techniques
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Functional high performance financial IT: the hiperfit research center in copenhagen
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Eden --- parallel functional programming with haskell
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Haskell vs. f# vs. scala: a high-level language features and parallelism support comparison
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
Financial software on GPUs: between Haskell and Fortran
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
A verified library of algorithmic skeletons on evenly distributed arrays
ICA3PP'12 Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I
Journal of Symbolic Computation
Implementing a high-level distributed-memory parallel haskell in haskell
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
Reliable scalable symbolic computation: the design of SymGridPar2
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Estimating parallel performance
Journal of Parallel and Distributed Computing
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming
Programming a Multicore Architecture without Coherency and Atomic Operations
Proceedings of Programming Models and Applications on Multicores and Manycores
| Hi-index | 0.00 |
Eden extends the non-strict functional language Haskell with constructs to control parallel evaluation of processes. Although processes are defined explicitly, communication and synchronisation issues are handled in a way transparent to the programmer. In order to offer effective support for parallel evaluation, Eden's coordination constructs override the inherently sequential demand-driven (lazy) evaluation strategy of its computation language Haskell. Eden is a general-purpose parallel functional language suitable for developing sophisticated skeletons – which simplify parallel programming immensely – as well as for exploiting more irregular parallelism that cannot easily be captured by a predefined skeleton. The paper gives a comprehensive description of Eden, its semantics, its skeleton-based programming methodology – which is applied in three case studies – its implementation and performance. Furthermore it points at many additional results that have been achieved in the context of the Eden project.