% Papers on the parallel functional language Eden %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Standard Reference: @ARTICLE{Eden, author = {R. Loogen and Y. Ortega-Mall\'{e}n and R. {Pe\~{n}a-Mar\'{\i}}}, title = {{Parallel Functional Programming in Eden}}, journal = {{Journal of Functional Programming}}, xtitle = {{, Special Issue on Functional Approaches to High-Performance Parallel Programming}}, year = {2005}, volume = {15}, number = {3}, pages = {431-475}, } @TechReport{Eden:Def, author = {S. Breitinger and R. Loogen and Y. {Ortega-Mall{\'e}n} and R. {Pe{\~n}a}}, title = {{Eden: Language Definition and Operational Semantics}}, institution = {Philipps-University of Marburg}, year = {1996}, note = {Available at {\tt \small http://www.mathematik.uni-marburg.de/fb12/bfi/bfi10.ps}}, number = {10} } % language: %%%%%%%%%%% @InProceedings{PADL08HMWS, author = {Jost Berthold and Mischa Dieterle and Rita Loogen and Steffen Priebe}, title = {{Hierarchical Master-Worker Skeletons}}, OPTcrossref = {}, OPTkey = {}, booktitle = {Practical Aspects of Declarative Languages}, pages = {248 -- 264}, year = {2008}, editor = {Paul Hudak and David S. Warren}, OPTvolume = {}, OPTnumber = {}, series = {LNCS 4902}, OPTaddress = {Heidelberg}, OPTmonth = {}, OPTorganization = {}, publisher = {Springer}, note = {submitted for publication}, OPTannote = {} } @InProceedings{PARCO07EdenTV, author = {Jost Berthold and Rita Loogen}, title = "{Visualizing Parallel Functional Program Runs -- Case Studies with the Eden Trace Viewer --}", booktitle = "Proceedings of the International Conference ParCo 2007, September 2007, Central Institute for Applied Mathematics, J{\"u}lich, Germany", OPTpublisher = "Central Institute for Applied Mathematics, J{\"u}lich, Germany", year = "2007", OPTvolume = "33", OPTeditor = "Gerhard R. Joubert and Wolfgang E. Nagel and Frans J. Peters and Oscar G. Plata and P. Tirado and Emilio L. Zapata", OPTISBN = "3-00-017352-8", OPTpages = "835ff", OPTseries = "John von Neumann Institute for Computing Series", note = {submitted for publication}, } @InProceedings{Eden:ParCo05, author = {Jost Berthold and Rita Loogen}, title = {{Skeletons for Recursively Unfolding Process Topologies}}, booktitle = {{Mini-Symposium on Algorithmic Skeletons and High-Level Concepts for Parallel Programming, ParCo}}, year = {2005}, address = {M\'alaga, Spain}, } @InProceedings{Eden:HLPP05, author = {Jost Berthold and Rita Loogen}, title = {The Impact of Dynamic Channels on Functional Topology Skeletons}, booktitle = {HLPP 2005 --- 3rd International Workshop on High-level Parallel Programming and Applications}, year = {2005}, editor = {Alexander Tiskin and Frederic Loulergue}, address = {Coventry, UK}, publisher = {}, note = {Draft Proceedings}, } @ARTICLE{Eden:HLPP05PPL, author = {Jost Berthold and Rita Loogen}, title = {The Impact of Dynamic Channels on Functional Topology Skeletons}, journal = {Parallel Processing Letters (World Scientific Publishing Company)}, note = {Proceedings of HLPP'05 (to appear)}, year = {March 2008}, Optvolume = {}, Optnumber = {}, OPTpages = {} } @ARTICLE{Eden:PPL03, AUTHOR = "K. Hammond and J. Berthold and R. Loogen", TITLE = "{Automatic Skeletons in Template Haskell}", journal = {Parallel Processing Letters (World Scientific Publishing Company)}, year = {2003}, volume = {13}, number = {3}, pages = {413--424} } @INPROCEEDINGS{Eden:HLPP03, AUTHOR = "K. Hammond and J. Berthold and R. Loogen", TITLE = "{Automatic Skeletons in Template Haskell}", Booktitle = "{HLPP 2003 --- 2nd International Workshop on High-level Parallel Programming and Applications, Paris, France}", YEAR = "2003", editor = "F. Loulergue", } @INPROCEEDINGS{Eden:APLAS03, AUTHOR = "M. Hidalgo{-Herrero} and Y. Ortega{-Mall{\'e}n}", TITLE = {Continuation Semantics for Parallel Haskell Dialects}, BOOKTITLE = {Proceedings of the 1st Asian Symposium on Programming Languages and Systems , ({APLAS'03})}, PAGES = {303-321}, YEAR = {2003}, PUBLISHER = {Springer}, ORGANIZATION = {LNCS 2895} } @ARTICLE{Eden:PPL02, author = {M. Hidalgo{-Herrero} and Y. Ortega{-Mall{\'e}n}}, title = {An Operational Semantics for the Parallel Language {E}den}, journal = {Parallel Processing Letters (World Scientific Publishing Company)}, year = {2002}, volume = {12}, number = {2}, pages = {211-228}, editor = {S. Gorlatch and C. Lengauer}, } @InCollection{Eden:SkeletonBookChapter02, author = {Loogen, R. and {Ortega-Mall\'{e}n}, Y. and {Pe\~{n}a}, R. and Priebe, S. and Rubio, F.}, title = {{Parallelism Abstractions in Eden}}, booktitle = {{Patterns and Skeletons for Parallel and Distributed Computing}}, chapter = {}, publisher = {Springer}, year = {2003}, } @Book{SkeletonBook, title = {{Patterns and Skeletons for Parallel and Distributed Computing}}, editor = {F. A. Rabhi and S. Gorlatch}, year = {2003}, publisher = {Springer} } @InProceedings{Eden:PPDP01, author = {Pe{\~n}a, R. and Rubio, F.}, title = {{Parallel Functional Programming at Two Levels of Abstraction}}, booktitle = {PPDP'01 --- Intl.\ Conf.\ on Principles and Practice of Declarative Programming}, year = 2001, address = {Firenze, Italy, September 5--7}, OPTpublisher = {ACM Press}, pages = {187--198}, abstract = "The parallel functional language Eden extends Haskell with expressions to define and instantiate process systems. These extensions allow also the easy definition of skeletons as higher-order functions. Parallel programming is possible in Eden at two levels: Recursive programming and higher-order programming. At the lower level, processes are explicitly created by using recursive definitions. In this way, skeletons can be defined. This is very unusual, as most skeleton-based languages use an imperative language to create new skeletons. At the higher level, available skeletons are used to create applications or to define new skeletons on top of the other ones. In this paper, we present five skeletons, most of them well-known, covering a wide range of parallel structures. For each one, several Eden implementations are given, together with their corresponding cost models. Finally, some examples of application programming are shown, including predicted and actual results on a Beowulf cluster." } @InProceedings{Eden:IFL00, author = {Klusik, U. and Loogen, R. and Priebe, S. and Rubio, F.}, title = {{Implementation Skeletons in Eden --- Low-Effort Parallel Programming}}, booktitle = {{IFL'00 --- Intl.\ Workshop on the Implementation of Functional Languages}}, address = {Aachen, Germany}, month = Sep, year = 2000, publisher = {Springer}, OPTyear = 2001, pages = {71--88}, series = {LNCS}, volume = {2011}, OPTnote = {} } @InProceedings{Eden:CtrlSFP00, author = {Klusik, U. and Loogen, R. and Priebe, S.}, title = {{Controlling Parallelism and Data Distribution in Eden}}, BOOKTITLE = "Trends in Functional Programming (Selected papers of the Second Scottish Functional Programming Workshop)", volume = 2, publisher = {Intellect}, pages = {53--64}, year = 2000 } @INPROCEEDINGS{Eden:SemSFP00, AUTHOR = {M. Hidalgo{-Herrero} and Y. Ortega{-Mall{\'e}n}}, TITLE = {A Distributed Operational Semantics for a Parallel Functional Language}, BOOKTITLE = "Trends in Functional Programming (Selected papers of the Second Scottish Functional Programming Workshop)", VOLUME = "2", PAGES = {89-102}, YEAR = {2000}, PUBLISHER = {Intellect} } @PhdThesis{Eden:BreitingerTh, author = {Breitinger, Sylvia}, title = {Design and Implementation of the Parallel Functional Language Eden}, school = {Philipps-University of Marburg, Germany}, year = {1998}, note = {Available at {\tt \small http://archiv.ub.uni-marburg.de/diss/z1999/0142/}}, } @InProceedings{Eden:chanstruct97, author = {Silvia Breitinger and Rita Loogen}, title = {{Channel Structures in the Parallel Functional Language Eden}}, booktitle = {Glasgow Workshop on Funct. Prg.}, year = {1997}, note = {Available online.} } @InProceedings{Eden:HIPS97, author = {Silvia Breitinger and Rita Loogen and Yolanda {Ortega-Mall{\'e}n} and Ricardo Pe{\~n}a}, title = {{The {{Eden} Coordination Model for Distributed Memory Systems}}}, booktitle = {{High-Level Parallel Programming Models and Supportive Environments (HIPS)}}, publisher = {IEEE Press}, series = {LNCS}, volume = {1123}, pages = {120--124}, year = {1997} } @InProceedings{Eden:Galan1996, author = "L. A. Gal{\'a}n and C. Pareja and R. Pe{\~n}a", title = "Functional Skeletons Generate Process Topologies in {Eden}", booktitle = {{PLILP'96 --- Programming Languages: Implementations, Logics, and Programs}}, address = {Aachen, Germany}, month = {Sep}, year = {1996}, publisher = {Springer}, series = {LNCS}, volume = {1140}, pages = {289-303}, } @Article{Eden:Breitinger1996, author = "S. Breitinger and R. Loogen and Y. {Ortega-Mall\'{e}n} and R. {Pe{\~n}a-Mari}", title = "{Eden} --- The Paradise of Functional Concurrent Programming", journal = "LNCS", volume = "1123", pages = "710--??", year = "1996" } @InProceedings{Eden:Towards1995, author = {Breitinger, S. and Loogen, R. and {Ortega-Mall\'{e}n}, Y.}, title = {Towards a Declarative Language for Parallel and Concurrent Programming}, booktitle = {Functional Programming}, year = {1995}, editor = {Turner, {D.N.}}, series = {Workshops in Computing}, address = {Glasgow}, publisher = {Springer} } % Implementation: %%%%%%%%%%%%%%%%% @InProceedings{PADL08GenRTE, author = {Jost Berthold and Abyd Al Zain and Hans-Wolfgang Loidl}, title = {Scheduling Light-Weight Parallelism in {ArtCoP}}, booktitle = {Practical Aspects of Declarative Languages}, pages = {214 -- 229}, year = {2008}, editor = {Paul Hudak and David S. Warren}, series = {LNCS 4902}, publisher = {Springer}, note = {submitted for publication}, } @InProceedings{Eden:IFL06Edi, author = {Jost Berthold and Rita Loogen}, title = {Parallel Coordination Made Explicit in a Functional Setting}, booktitle = {18th Intl.\ Symposium on the Implementation of Functional Languages (IFL 2006)}, year = {2007}, editor = {Zolt\'an Horv\'ath and Vikt\'oria Zs\'ok}, series = {LNCS 4449}, address = {Budapest, Hungary}, publisher = {Springer}, note = {(\textbf{awarded best paper} of IFL'06)}, } @InProceedings{Eden:PAPP04, author = {J. Berthold}, title = {Towards a Generalised Runtime Environment for Parallel Haskells}, OPTcrossref = {}, OPTkey = {}, booktitle = {Computational Science --- ICCS'04}, OPTpages = {297ff}, year = {2004}, editor = {Marian Bubak et al.}, volume = {3038}, number = {3}, series = {LNCS}, address = {Krakow, Poland}, OPTmonth = {}, OPTorganization = {}, publisher = {{Springer}}, note = {{(Workshop on Practical Aspects of High-level Parallel Programming --- PAPP04)}}, OPTannote = {} } @INPROCEEDINGS{Eden:IFL03, AUTHOR = "J. Berthold", TITLE = "{Dynamic Chunking in Eden}", BOOKTITLE = "{Proceedings of IFL 2003, Heriot-Watt University, Edinburgh}", YEAR = "to appear", editor = "Ph. Trinder and Greg Michaelson" } @InProceedings{Eden:EUROPAR03, author = {J. Berthold and U. Klusik and R. Loogen and S. Priebe and N. Weskamp}, title = {{High-level Process Control in Eden}}, OPTcrossref = {}, OPTkey = {}, booktitle = {EuroPar 2003 -- Parallel Processing}, OPTpages = {}, year = {2003}, editor = {Harald Kosch et al.}, volume = {2790}, number = {}, series = {LNCS}, address = {Klagenfurt, Austria}, } @InProceedings{Eden:COptSFP00, author = {Pareja, C. and Pena, R. and Rubio, F. and Segura, C.}, title = {{Optimising Eden by Transformation}}, booktitle ={{SFP'00 --- Scottish Functional Programming Workshop}}, series = {{Trends in Functional Programming}}, OPTvolume = 2, publisher = {Intellect}, year = 2000, address = {University of St Andrews, Scotland}, month = jul } @InProceedings{Eden:bypassSFP99, author = {Klusik, U. and Pe{\~n}a, R. and Segura, C.}, title = {{Bypassing of Channels in Eden}}, pages = {2--11}, booktitle ={{SFP'99 --- Scottish Functional Programming Workshop}}, series = {{Trends in Functional Programming}}, volume = {1}, publisher ={Intellect}, year = {1999}, editor = {P. W. Trinder and G. Michaelson and H-W. Loidl}, address = {Stirling, Scotland}, note = {{\tt \small http://www.cee.hw.ac.uk/\~{}greg/sfp/}} } @InProceedings{Eden:paradiseSFP99, author = {Hernandez, F. and Pe{\~n}a, R. and Rubio, F.}, title = {{From GranSim to Paradise}}, pages = {11--19}, booktitle ={{SFP'99 --- Scottish Functional Programming Workshop}}, series = {{Trends in Functional Programming}}, volume = {1}, year = {1999}, editor = {P. W. Trinder and G. Michaelson and H-W. Loidl}, address = {Stirling, Scotland}, publisher = {Intellect} } @InProceedings{Eden:IFL98, author = {Klusik, U. and {Ortega-Mall{\'e}n}, Y. and {Pe{\~n}a Mar\'\i}, R.}, title = {{Implementing Eden -- or: Dreams Become Reality}}, booktitle ={IFL'98}, pages = {103-119}, year = {1999}, volume = {1595}, series = {LNCS}, publisher = {Springer} } @InProceedings{Eden:PLILP98, author = {Breitinger, S. and Klusik, U. and Loogen, R.}, title = {{From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View}}, booktitle = {PLILP'98}, pages = {318-334}, year = {1998}, volume = {1490}, series = {LNCS}, publisher = {Springer} } @InProceedings{Eden:dreamIFL97, author = {Breitinger, S. and Klusik, U. and Loogen, R. and {Ortega Mall\'en}, Y. and {Pe{\~n}a Mar\'\i}, R.}, title = {{DREAM - the DistRibuted Eden Abstract Machine}}, booktitle ={IFL '97}, pages = {250--269}, year = 1997, number = 1467, series = {LNCS}, publisher = {Springer} } @InProceedings{Eden:IFL96, AUTHOR= {S. Breitinger and U. Klusik and R. Loogen}, TITLE= {{An Implementation of Eden on Top of Concurrent Haskell}}, BOOKTITLE= {Implementation of Functional Languages, Bonn 1996}, EDITOR= {W. Kluge}, Number = {1268}, Series= {LNCS}, Year= {1997}, Publisher= {Springer} } % Comparative and Misc.: %%%%%%%%%%%%%%%%%%%%%%%% @ARTICLE{Eden:HOSC02, AUTHOR = {H-W. Loidl and F. {Rubio Diez} and N.R. Scaife and K. Hammond and U. Klusik and R. Loogen and G.J. Michaelson and S. Horiguchi and R. {Pena Mari} and S.M. Priebe and A.J. Rebon Portillo and P.W. Trinder}, TITLE = "Comparing Parallel Functional Languages: Programming and Performance", JOURNAL = "Higher-order and Symbolic Computation", YEAR = "2003", volume = "16(3)", } @InProceedings{Eden:CompSFP00, author = {Loidl, H-W. and Klusik, U. and Hammond, K. and Loogen, R. and Trinder, P.W.}, title = {{GpH and Eden: Comparing Two Parallel Functional Languages on a Beowulf Cluster}}, booktitle ={{SFP'00 --- Scottish Functional Programming Workshop}}, series = {Trends in Functional Programming}, volume = {2}, publisher = {Intellect}, pages = {39--52}, year = {2000}, } @InProceedings{Eden:GdHuse01, author ={Pointon, R.F. and Priebe. S. and Loidl, H-W. and Loogen, R. and Trinder, P.W.}, title = {{Functional vs Object-Oriented Distributed Languages}}, booktitle= {{Eurocast'01 --- Intl.\ Conf.\ on Computer Aided Systems Theory}}, address={Canary Islands, Spain}, month = Feb, year= {2001}, note = {In preparation}, annote = {std Gdh usage ref} } @InProceedings{Eden:FUJI95, author= {S. Breitinger and R. Loogen}, title= {{Concurrency in Functional and Logic Programming}}, booktitle={{Fuji Intl.\ Workshop of Functional and Logic Programming}}, year= {1995} } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % unsorted: %%%%%%%%%%% @InProceedings{detEden00, author ={Pe{\~n}a, R. and Segura, C.}, title = {{Non-determinism Analysis in a Parallel-Functional Language}}, booktitle= {{IFL'00 --- Intl.\ Workshop on Implementation of Functional Languages}}, address={Aachen, Germany}, series = {LNCS}, volume = {1268}, month = Sep, year= {2000} } @InProceedings{KLP00, author = {Klusik, U. and Loogen, R. and Priebe, S.}, title = {{Controlling Parallelism and Data Distribution in Eden}}, booktitle ={{SFP'00 --- Scottish Functional Programming Workshop}}, series = {{Trends in Functional Programming}}, volume = {2}, pages = {53--64}, year = {2000}, publisher ={Intellect} } @InProceedings{KLPR00, author = {Klusik, U. and Loogen, R. and Priebe, S. and Rubio, F.}, title = {{Process Schemes in Eden --- Efficient Parallel Programming with Low Effort}}, booktitle = {{IFL'00 --- Intl.\ Workshop on the Implementation of Functional Languages}}, address = {Aachen, Germany}, month = Sep, year = 2000, pages = {133--152}, series = {Draft proceedings.}, note = {To appear in LNCS.} } @PhdThesis{rubio:2001, author = {Rubio, Fernando}, title = {{Programaci{\'o}n Funcional Paralela Eficiente en Eden}}, school = {Universidad Complutense de Madrid (Spain)}, year = {2001}, month = {November}, note = {In Spanish}, } @PhdThesis{PhD_Klusik, author = {Klusik, U.}, title = {{An Efficient Implementation of the Parallel Functional Language Eden on Distributed-Memory System}}, school = {University of Marburg}, year = {2003}, note = {In prep.}, } @InCollection{ploogen99, author = {Loogen, R.}, title = {{Programming Language Constructs}}, booktitle ={{Research Directions in Parallel Functional Programming}}, editor={K. Hammond and G. Michaelson}, publisher={Springer}, year={1999}, pages = {63--91} } @TECHREPORT{ProjekthandbuchBW02, author = {Jost Berthold and Nils Weskamp}, title = {{The Eden Porting Project - Porting the Eden Runtime-System from GHC 2.10 to GHC 5.00.2}}, institution = {Philipps-University Marburg}, year = {2002}, type = {draft report}, Xnumber = {}, Xaddress = {}, Xmonth = {}, note = {{available at {\tt \small http://www.mathematik.uni-marburg.de/inf/eden/}}}, Xkey = {}, Xcrossref = {}, Xannote = {}, } % draft version, not submitted for final version @INPROCEEDINGS{EdenIFL02, AUTHOR = "J. Berthold and R. Loogen and S. Priebe and N. Weskamp", TITLE = {{Porting the Eden System to GHC 5.00.2}}, BOOKTITLE = "Draft Proc. of IFL'02 --- 14th Intl. Workshop on the Impl. of Funct. Lang.", YEAR = "2002", month = "Sept.", organization = "Univ. Complutense de Madrid", note = {Workshop version only, not submitted to final proceedings.} }