@string{ap="Academic Press"} @string{cup="Cambridge University Press"} @string{mcgh="Mc Graw-Hill"} @string{nh="North Holland"} @string{sv="Springer-Verlag"} @string{ams="American Mathematics Society"} @string{ph="Prentice-Hall"} @string{cmum="Carnegie-Mellon University, Department of Mathematics"} @string{cmucs="Carnegie-Mellon University, Department of Computer Science"} @string{cucs="Cornell University, Department of Computer Science"} @string{eth="E.T.H. Zurich"} @string{eucs="Edinburgh University, Department of Computer Science"} @string{mit="Massachusetts Institute of Technology"} @string{prg="Oxford University Computing Laboratory"} @string{uts="University of Technology, Sydney"} @string{acm="ACM"} @string{ieee="IEEE"} @string{bl="Bell Laboratories"} @string{a&l="Algebra and Logic"} @string{aml="Annals of Mathematical Logic"} @string{amstran=" Transactions AMS"}, @string{au="Algebra Universalis"} @string{cahiers="Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques"} @string{cmsjb="Colloquia Mathematica Societatis Janos Bolyai"}, @string{dm="Dissertationes Mathematicae"} @string{fm="Fundamenta Matematicae"} @string{ic="Information and Computation"} @string{im="Indagationes Mathematicae"} @string{jcss="JCSS"} @string{jacm ="Journal of the Association for Computing Machinery"} @string{jfp={Journal of Functional Programming}} @string{jpaa="Journal of Pure and Applied Algebra"} @string{jsl="Journal of Symbolic Logic"} @string{mpcps="Math. Proc. Camb. Phil. Soc."} @string{mscs="Mathematical Structures in Computer Science"} @string{rmup="Rivista Matematica dell' Universita' di Parma"} @string{siamjc="SIAM Journal of Computing"} @string{scp="Science of Computer Programming"} @string{tpls="ACM Transactions on Progr. Lang. and Sys."} @string{tcs="Theoretical Computer Science"} @string{zml="Zeitschrift fur Mathematische Logik"} @string{zmlgm="Zeitschr. f. math. Logik und Grundlagen d. Math."} @string{lncs="Lecture Notes in Computer Science"} @string{lnm="Lecture Notes in Mathematics"} @string{csam="Cambridge Studies in Advanced Mathematics"} @string{sl="Studies in Logic"} @string{ash="Applications of Sheaves"} @string{asls82="Atti della Scuola di Logica di Siena, 1982"} @string{bcs="The L.E.J. Brouwer Centenary Symposium"} @string{hbc="To H.B. Curry: essays in Combinatory Logic, Lambda Calculus and Formalisms"} @string{hml="Handbook of Mathematical Logic"} @string{hphl="Handbook of Philosophical Logic"} @string{ssdt="Symposium on Semantics of Data Types"} @string{caap85="CAAP '85"} @string{fcs22="22th Symposium on Foundations of Computer Science"} @string{fcs25="25th Symposium on Foundations of Computer Science"} @string{icalp9="9th Colloquium on Automata, Languages and Programming"} @string{icalp16="16th Colloquium on Automata, Languages and Programming"} @string{lc73="Logic Colloquium '73"} @string{lc75="Logic Colloquium '75"} @string{lc82="Logic Colloquium '82"} @string{lp83="Logics of Programs '83"} @string{lp84="Logics of Programs '84"} @string{lp85="Logics of Programs '85"} @string{lics1="1st LICS Conference"} @string{lics2="2nd LICS Conference"} @string{lics3="3rd LICS Conference"} @string{lics4="4th LICS Conference"} @string{mfcs81="Mathematical Found. of Computer Science '81"} @string{mfcs84="Mathematical Found. of Computer Science '84"} @string{popl10="10th POPL"} @string{popl11="11th POPL"} @string{popl12="12th POPL"} @string{popl13="13th POPL"} @string{popl14="14th POPL"} @string{popl15="15th POPL"} @string{popl16="16th POPL"} @string{popl17="17th POPL"} @string{ps74="Programming Symposium '74"} @string{sls2="2nd Scandinavian Logic Symposium"} @string{cbj="Jay, C. B."} @string{ap="Academic Press"} @string{cup="Cambridge University Press"} @string{nh="North Holland"} @string{sv="Springer-Verlag"} @string{ams="American Mathematical Society"} @string{cmum="Carnegie-Mellon University, Department of Mathematics"} @string{cmucs="Carnegie-Mellon University, Department of Computer Science"} @string{cucs="Cornell University, Department of Computer Science"} @string{eth="E.T.H. Z{\"u}rich"} @string{eucs="Edinburgh University, Department of Computer Science"} @string{mit="Massachusetts Institute of Technology"} @string{prg="Oxford University Computing Laboratory"} @string{uts="University of Technology, Sydney"} @string{acm="ACM"} @string{ieee="IEEE"} @string{bl="Bell Laboratories"} @string{a&l="Algebra and Logic"} @string{aml="Annals of Mathematical Logic"} @string{amstran=" Transactions\ AMS"}, @string{au="Algebra Universalis"} @string{cahiers="Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques"} @string{cmsjb="Colloquia Mathematica Societatis Janos Bolyai"}, @string{dm="Dissertationes Mathematicae"} @string{fm="Fundamenta Matematicae"} @string{ic="Information and Computation"} @string{im="Indagationes Mathematicae"} @string{jcss="JCSS"} @string{jpaa="Journal of Pure and Applied Algebra"} @string{jsl="Journal of Symbolic Logic"} @string{mpcps="Math. Proc. Camb. Phil. Soc."} @string{rmup="Rivista Matematica dell' Universita' di Parma"} @string{siamjc="SIAM Journal of Computing"} @string{tpls="ACM Transactions on Progr. Lang. and Sys."} @string{tcs="Theoretical computer Science"} @string{zml="Zeitschrift f{\"u}r Mathematische Logik"} @string{zmlgm="Zeitschr. f. math. Logik und Grundlagen d. Math."} @string{lncs="Lecture Notes in Computer Science"} @string{lnm="Lecture Notes in Mathematics"} @string{csam="Cambridge Studies in Advanced Mathematics"} @string{sl="Studies in Logic"} @string{ash="Applications of Sheaves"} @string{asls82="Atti della Scuola di Logica di Siena, 1982"} @string{bcs="The L.E.J. Brouwer Centenary Symposium"} @string{hbc="To H.B. Curry: essays in Combinatory Logic, Lambda Calculus and Formalisms"} @string{hml="Handbook of Mathematical Logic"} @string{hphl="Handbook of Philosophical Logic"} @string{ssdt="Symposium on Semantics of Data Types"} @string{caap85="CAAP '85"} @string{fcs22="22th Symposium on Foundations of Computer Science"} @string{fcs25="25th Symposium on Foundations of Computer Science"} @string{icalp9="9th Colloquium on Automata, Languages and Programming"} @string{icalp16="16th Colloquium on Automata, Languages and Programming"} @string{lc73="Logic Colloquium '73"} @string{lc75="Logic Colloquium '75"} @string{lc82="Logic Colloquium '82"} @string{lp83="Logics of Programs '83"} @string{lp84="Logics of Programs '84"} @string{lp85="Logics of Programs '85"} @string{lics1="1st LICS Conference"} @string{lics2="2nd LICS Conference"} @string{lics3="3rd LICS Conference"} @string{lics4="4th LICS Conference"} @string{mfcs81="Mathematical Found. of Computer Science '81"} @string{mfcs84="Mathematical Found. of Computer Science '84"} @string{popl10="10th POPL"} @string{popl11="11th POPL"} @string{popl12="12th POPL"} @string{popl13="13th POPL"} @string{popl14="14th POPL"} @string{popl15="15th POPL"} @string{popl16="16th POPL"} @string{popl17="17th POPL"} @string{ps74="Programming Symposium '74"} @string{sls2="2nd Scandinavian Logic Symposium"} @string{TC = "IEEE Computer"} @string{TPDS = "IEEE Transactions on Parallel and Distributed Systems"} @string{JFP = "Journal of Functional Programming"} @string{CPE = "Concurrency --- Practice and Experience"} @string{SPE = "Software --- Practice and Experience"} @string{JPDC = "Journal of Parallel and Distributed Computing"} @string{JSA = "Journal of Supercomputer Applications"} @string{JSP = "Journal of Scientific Programming"} @string{scicp = "Science of Computer Programming"} @string{EuroPar = {European Conference on Parallel Processing (Euro-Par)}} @string{PLILP = {International Symposium on Programming Language Implementation and Logic Programming}} @string{EATCS = {Bulletin of the European Association for Theoretical Computer Science}} @String{VERSION = "$Revision: 1.2 $"} @String{LNCS = "Lecture Notes in Computer Science"} @String{WIC = "Workshops in Computing"} @String{EWIC = "Electronic Workshops in Computing"} @String{DEPGLA = "Department of Computing Science"} @String{UNIGLA = "University of Glasgow"} @String{WSTITLE = "Glasgow Workshop on Functional Programming"} @String{FGCS = "Future Generation Computer Systems"} @String{TSE = "IEEE Transactions on Software Engineering"} @String{JPP = "International Journal of Parallel Programming"} @String{JFP = "Journal of Functional Programming"} @String{JSC = "Journal of Symbolic Computation"} @String{LSC = "Lisp and Symbolic Computation"} @String{TOPLAS = "ACM Transactions on Programming Languages and Systems"} @String{A-W = "Addison-Wesley"} @String{AP = "Academic Press"} @String{CSP = "Computer Science Press"} @String{CUP = "Cambridge University Press"} @String{ELS = "Elsevier Science Publishers"} @String{JWS = "John Wiley \& Sons"} @String{KAP = "Kluwer Academic Publishers"} @String{MIT = "MIT Press"} @String{N-H = "North-Holland"} @String{OUP = "Oxford University Press"} @String{P-H = "Prentice-Hall"} @String{S-V = "Springer-Verlag"} @String{SL = "Studentlitteratur, Lund, Sweden"} @String{UCL = "UCL Press"} @String{WHF = "W.H. Freeman"} @String{WSP = "World Scientific Publishing"} @inproceedings{AGNA, author = {Heytens, M. and Nikhil, R. S.}, title = {{List Comprehensions in {{Agna}}, a Parallel, Persistent Object System}}, booktitle = {{FPCA'91 --- Conference on Functional Programming Languages and Computer Architectures}}, address = {Harvard, MA}, month = aug, year = {1991}, OPTeditor = {Hughes, R. J. M,}, series = LNCS, volume = {523}, publisher = S-V, pages = {569--591} } @InProceedings{AHPT93, author = {Akerholt, G. and Hammond, K. and {Peyton Jones}, S. L. and Trinder, P. W.}, title = {{Processing Transactions on GRIP}}, booktitle = {{PARLE'93 --- Parallel Languages and Architectures Europe}}, address = {Munich, Germany, June 14--18}, year = 1993, series = LNCS, publisher = S-V, pages = {634--647}, url = {ftp://ftp.dcs.gla.ac.uk/pub/glasgow-fp/papers/grip-transactions.ps.Z}, } @article{ARPE, author = {Leslie, L. M. and others}, title = {{A High Resolution Primitive Equations NWP Model for Operations and Research}}, journal = {Australian Metereological Magazine}, volume = 33, month = mar, year = 1985, pages = {11--35} } @article{AbadiEA1991a, author = "Abadi, M. and Cardelli, L. and Pierce, B. and Plotkin, G.", title = {{Dynamic Typing in a Statically Typed Language}}, journal = "ACM Transactions on Programming Languages and Systems", volume = "13", number = "2", pages = "237--268", year = "1991" } @inproceedings{Abd95, author = "A. E. Abdallah", title = "{Derivation of Parallel Algorithms from Functional Specifications to CSP Processes}", booktitle = "{Mathematics of Program Construction}", year = "1995", pages = "67--96", series = LNCS, volume = {947}, publisher = "Springer-Verlag", editor = "Bernhard Moller", } @inproceedings{Abd96, author = "A. E. Abdallah", title = "{Synthesis of Massively Pipelined Algorithms for List Manipulation}", booktitle = "{Proceedings of the European Conference on Parallel Processing, EuroPar'96}", series = LNCS, volume = "1024", year = "1996", pages = "911--920", publisher = "Springer-Verlag", editor = "L. Bouge, P. Fraigniaud, A. Mignotte and Y. Robert", } @book{AbramskyHankin87, author = {S. Abramsky and C. Hankin}, title = {{Abstract Interpretation of Declarative Languages}}, publisher = {Ellis Horwood}, address = {Chichester, West Sussex}, year = {1987}, keywords = {textbook functional} } @PhDThesis(Abramsky87, Author={Abramsky, S.}, Title={{Domain Theory and the Logic of Observable Properties}}, School={University of London}, Year=1987) @book{AoP, title="{Algebra of {P}rogramming}", author="Richard S. Bird and Oege {de Moor}", publisher="Prentice-Hall", year=1997} @article{AoPrev, author="Erik Poll and Simon Thompson", title="{Review of ``R. Bird and O. de Moor, Algebra of Programming, Prentice-Hall, 1997''}", journal="Journal of Functional Programming", year="To appear 1999"} @article{ArNi90, author = {Arvind and Nikhil, R. S.}, title = {{Executing a Program on the MIT Tagged-Token Dataflow Architecture}}, journal = {IEEE Transactions on Computers}, volume = 39, number = 3, year = 1990, note = {Also: CSG Memo 271}, } @Article{Arch-Indep, author = {Trinder, P. W. and Barry, Jr., E. and Davis, M. K. and Hammond, K. and Junaidu, S. B. and Klusik, U. and Loidl, H-W. and {Peyton Jones}, S. L.}, title = {{GPH: An Architecture-Independent Functional Language}}, journal = TSE, year = 1999, note = {Submitted for publication} } @TechReport{Arvind80, author = {Arvind and V. Kathail and K. K. Pingali}, title = {{A Dataflow Architecture with Tagged Tokens}}, number = {LCS Memo TM-174}, institution = {MIT}, year = {1980}, } @InProceedings{Arvind88a, author = {D. Culler and Arvind}, title = {{Resource {R}equirements of {D}ataflow {P}rograms}}, booktitle = {15th. Annual ACM Symposium on Computer Architecture}, year = {1988} } @TechReport{Arvind88b, author = {Arvind and R. S. Nikhil}, title = {{Can Dataflow Subsume von Neumann Computing?}}, number = {CSG Memo 292}, institution = {MIT}, month = {November}, year = {1988}, } @phdthesis{Augustsson87, author = {L. Augustsson}, title = {{Compiling Lazy Functional Languages, Part {{II}}}}, school = {Chalmers University of Technology}, type = {PhD Thesis}, address = {Göteborg, SE}, year = {1987}, keywords = {LML implementation parallel denotational semantics transformations case clauses analysis pattern matching strictness analysis peephole optimisation list comprehensions} } @techreport{Augustsson87a, author = {L. Augustsson}, title = {{A Parallel G-Machine}}, institution = {Department of Computer Science, Chalmers University of Technology}, address = {Göteborg, SE}, number = {PMG53}, type = {Technical Report}, year = {1987}, } @inproceedings{Augustsson89a, author = {L. Augustsson and T. Johnsson}, title = {{Parallel Graph Reduction with the $<\nu$, {G}$>$-Machine}}, booktitle = {Proceedings of the Conference on Functional Programming Languages and Computer Architecture '89, Imperial College, London}, pages = {202-213}, publisher = {ACM}, address = {New York, NY}, year = {1989}, keywords = {machine nu}, } @InProceedings{BCD*97, author = {Bacci, B. and Cantalupo, B. and Danelutto, M. and Orlando, S. and Pasetto, D. and Pelagatti, S. and Vanneschi, M.}, title = {{An Environment for Structured Parallel Programming}}, booktitle = {{Advances in High Performance Computing}}, pages = {219--234}, year = 1997, OPTeditor = {Grandinetti, L. and Kowalick, M. and Vaitersic, M.}, publisher = {Kluwier}, annote = {overview of P3L; discusses parallel programming environment and tools}, url = {file://ftp.di.unipi.it/pub/Papers/susanna/cetraro97.ps.gz}, } @Article{BDO*95, author = {Bacci, B. and Danelutto, M. and Orlando, S. and Pelagatti, S. and Vanneschi, M.}, title = {{P$^3$L: A Structured High Level Programming Language and its Structured Support}}, journal = CPE, year = 1995, volume = 7, number = 3, pages = {225--255}, month = {May}, annote = {std reference for P3L} } @book{BH1, author = "P. Brinch-Hansen", title = "{The Search for Simplicity}", publisher = "IEEE Computer Press", year = "1996"} @book{BH2, author = "P. Brinch-Hansen", title = "{Studies in Computational Science}", publisher = "Prentice-Hall", year = "1995"} @InProceedings{BMT86, author = {Blelloch, G. E. and Miller, G. L. and Talmor, D.}, title = {{Developing a Practical Projection-Based Parallel Delaunay Algorithm}}, booktitle = {12th Annual Symposium on Computational Geometry}, year = 1996, month = {May}, organization = {ACM}, annote = {NESL version of Delaunay code; alg implemented and measured in NESL but no speed-up figures given; focus is on complexity (asymptotic as well as work-efficiency; microanalysis) and compares variants of the algorithm}, url = {http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/papers/delaunay-cg96.html}, } @InProceedings{BNA91, author = {Barth, P. S. and Nikhil, R. S. and Arvind}, title = {{M-Structures: Extending a Parallel, Non-Strict, Functional Language with State}}, booktitle = {{FPCA'91 --- Conference on Functional Programming Languages and Computer Architectures}}, address = {Harvard, MA}, month = aug, year = {1991}, OPTeditor = {Hughes, R. J. M,}, series = LNCS, volume = {523}, publisher = S-V, pages = {538--568}, note = {Also: CSG Memo 327}, url = {ftp://csg-ftp.lcs.mit.edu/pub/papers/csgmemo/memo-327.ps.gz}, keywords = "State, Updatable arrays, Non-determinism", } @InProceedings{BNSS94, author = {Bailey, P. and Newey, M. and Sitsky, D. and Stanton, R.}, title = {{Supporting Coarse and Fine Grain Parallelism in an Extension of ML}}, booktitle = {{CONPAR'94 --- Conference on Algorithms and Hardware for Parallel Processing}}, pages = {693--704}, year = 1994, OPTeditor = {Buchberger, B. and Volkert, J.}, volume = 854, series = LNCS, address = {Linz, Austria}, month = {September}, publisher = S-V, annote = {std reference for paraML}, url = {http://cap.anu.edu.au/\~{}peterb/papers/conpar94.ps.gz}, } @Article{BVH*87, author = {Barendregt, H. P. and {van Eekelen}, M. C. J. D. and Hartel, P. H. and Hertzberger, L. O. and Plasmeijer, M. J. and Vree, W. G.}, title = {{The Dutch Parallel Reduction Machine Project}}, journal = FGCS, year = 1987, volume = 3, number = {4}, month = {December}, pages = {261--270}, annote = {Describes the first Dutch project on functional languages, a collaboration of the University of Amsterdam (hardware), Utrecht (theory) and Nijmegen (software).}, url = {ftp://ftp.cs.kun.nl/pub/CSI/SoftwEng.FunctLang/papers/barh87-PRMprojekt.ps.gz}, abstractURL = {ftp://ftp.cs.kun.nl/pub/CSI/SoftwEng.FunctLang/papers/barh87-PRMprojekt.abs}, } @book{Barendregt:lambda, author = "H. P. Barendregt", title = "{The Lambda Calculus: its Syntax and Semantics}", publisher = "North-Holland", year = "1981"} @inproceedings{BarendsenSmetsers1993c, author = "Barendsen, E. and Smetsers, J. E. W.", title = "{Extending Graph Rewriting with Copying}", booktitle = "Graph Transformations in Computer Science", editors = "Courcelle, B. and Ehrig, H. and Rozenberg, G. and Schneider, H.J", year = "1993", address = "Dagstuhl, Wadern", publisher = "Springer-Verlag", series = LNCS, volume = "776", pages = "51--70" } @Article{BatiniBattista88, author = "C. Batini and G. Battista", title = "{A Methodology for Conceptual Documentation and Maintenance}", journal = "Information {S}ystems", volume = "13", number = "3", pages = "297--318", year = "1988", } @InProceedings{BiMc94, author = {Bisseling, R. H. and McColl, W. F.}, title = {{Scientific Computing on Bulk Synchronous Parallel Architectures}}, year = 1994, booktitle = {{Proceedings of 13th IFIP World Computer Congress}}, year = 1994, OPTeditor = {Pehrson, B. and Simon, I.}, volume = 1, publisher = ELS, annote = {short version of the paper}, keywords = {Multiprocessors; Models of Computation; Numerical Linear Algebra}, url = {http://www.comlab.ox.ac.uk/oucl/users/bill.mccoll/p4.ps.Z}, } @inproceedings{BlNa94, author = {Blelloch, G. E. and Narlikar, G.}, title = {{A Practical Comparison of $N$-Body Algorithms}}, booktitle = {Proceedings of {Dimacs} Implementation Challenge Workshop}, month = {October}, year = {1994}, annote = {superseded by \cite{Blelloch94}}, } @InProceedings{Blackspots, author = {Trinder, P. W. and Hammond, K. and Loidl, H-W. and {Peyton Jones}, S. L. and Wu, J.}, title = {{A Case Study of Data-Intensive Programs in Parallel Haskell}}, booktitle = {Glasgow Workshop on Functional Programming}, year = {1996}, series = WIC, publisher = S-V, address = {Ullapool, Scotland, July 8--10}, url = {http://www.dcs.gla.ac.uk/fp/workshops/fpw96/Trinder.ps.gz}, } @Article{Blel96, author = {Blelloch, G. E.}, title = {{Programming Parallel Algorithms}}, journal = {Communications of the ACM}, year = 1996, volume = 39, number = 3, month = {March}, pages = {85--97}, url = {http://www.cs.cmu.edu/\~{}scandal/cacm.html}, abstractURL = {http://www.cs.cmu.edu/\~{}scandal/cacm/cacm2.html}, } @incollection{Blelloch94, author = {Blelloch, G. E. and Narlikar, G.}, title = {{A Practical Comparison of $N$-Body Algorithms}}, booktitle = {{Parallel Algorithms}}, series = {Series in Discrete Mathematics and Theoretical Computer Science}, volume = {30}, publisher= {American Mathematical Society}, year = 1997, annote = {detailed complexity analysis (microanalysis) of 3 n-body algorithms; all implemented in NESL but no performance results given}, documentURL = {http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/papers/dimacs-nbody.ps.gz}, } @article{Bll89, author = "G. E. Blelloch", title = "{Scans as Primitive Parallel Operations}", journal = "{IEEE Transaction on Computers}", year = "1989", volume = "38", number = "11", pages = "1526--1538", } @article{BoHi96, author = {{B\"{o}hm}, A. P. W. and Hiromoto, R. E.}, title = {{Functional Implementations of the {{Jacobi} {{Eigen}-Solver}}}}, journal = JSP, volume = 5, year = 1996, pages = {111--120}, annote = {URL actually points to the HPFC'95 version of the paper}, url = {http://www.cs.colostate.edu/\~{}dataflow/papers/sp95.ps.gz}, } @InProceedings{BoKu95, author = {Botorog, G. H. and Kuchen, H.}, title = {{Algorithmic Skeletons for Adaptive Multigrid Methods}}, booktitle = {{Irregular '95}}, pages = {27--41}, year = 1995, volume = 980, series = LNCS, keywords = {Algorithmic Skeletons, Data Parallelism, Adaptive Multigrid, Imperative Host Languages, MIMD-DM computers}, abstractURL = {http://www-i2.informatik.rwth-aachen.de/OldStaff/botorog/PUBLICATIONS/irr95-abs.html}, documentURL = {http://www-i2.informatik.rwth-aachen.de/OldStaff/botorog/PUBLICATIONS/irr95.ps.gz}, } @InProceedings{BoKu96, author = {Botorog, G. H. and Kuchen, H.}, title = {{Skil: An Imperative Language with Algorithmic Skeletons for Efficient Distributed Programming}}, booktitle = {{HPDC'96 --- International Symposium on High Performance Distributed Computing}}, year = 1996, publisher = {IEEE Computer Society Press}, pages = {243--252}, keywords = {skeletons}, abstractURL = {http://www-i2.informatik.rwth-aachen.de/OldStaff/botorog/PUBLICATIONS/hpdc96-abs.html}, documentURL = {http://www-i2.informatik.rwth-aachen.de/OldStaff/botorog/PUBLICATIONS/hpdc96.ps.gz}, } @Article{BoKu98, author = {Botorog, G. H. and Kuchen, H.}, title = {{Efficient High-Level Parallel Programming}}, journal = {Theoretical Computer Science}, year = 1998, volume = 196, pages = {71--107}, keywords = {Algorithmic Skeletons, High-Level Parallel Programming, Efficient Implementation of Functional Features, Distributed Arrays}, url = {http://danae.uni-muenster.de/lehre/kuchen/tcs.ps}, } @article{BoSa89, author = "A. P. W. {B\"{o}hm} and J. Sargeant", title = "{Code Optimisation for Tagged Token Dataflow Machines}", journal = "IEEE Transactions on Computers", volume = "38", number = "1", pages = "4-14", month = "January", year = "1989"} @inproceedings{Bohm-Realistic, author = {Hammes, J. P. and {B\"{o}hm}, A. P. W.}, title = {{On the Performance of Functional Programming Languages on Realistic Benchmarks}}, booktitle= {{PDTA~'97 --- International Conference on Parallel and Distributed Processing Techniques}}, year = 1997 } @PhdThesis{Boto98, author = {Botorog, G. H.}, title = {{High-Level Parallel Programming and the Efficient Implementation of Numerical Algorithms}}, school = {RWTH-Aachen}, year = 1998, month = jan, note = {Also: Technical Report 97-15}, annote = {discusses Skil and applications}, abstractURL = {ftp://ftp.informatik.rwth-aachen.de/pub/reports/1997/97-15.abstract}, documentURL = {ftp://ftp.informatik.rwth-aachen.de/pub/reports/1997/97-15.ps.gz}, } @article{BrM93, author = "R. S. Bird and O. de Moor", title = "{List Partitions}", journal = "{Formal Aspects of Computing}", year = "1993", volume = "5", number = "1", pages = "61-78", } @book{bird:func, author = "R. S. Bird", title = "{Introduction to Functional Programming Using Haskell}", year = "1998", edition = "2nd", publisher = "Prentice-Hall" } @phdthesis{Brat94, author = {Bratvold, T. A.}, title = {{Skeleton-Based Parallelisation of Functional Programs}}, school = {Department of Computing and Electrical Engineering}, address = {Heriot-Watt University, Edinburgh}, month = {November}, year = {1994}, url = {ftp://ftp.cee.hw.ac.uk/pub/funcprog/tab.phd.ps.Z}, } @article{Brd95, author = "R. S. Bird", title = "{Functional Algorithm Design}", journal = "{Mathematics of Program Construction}", series = LNCS, volume = "947", year = "1995", pages = "2--17", editor = "Bernhard Moller", publisher = "Springer-Verlag", } @incollection{Breitinger97, author = {S. Breitinger and U. Klusik and R. Loogen and Y. Ortega-Mallen and R. Pena}, title = {{DREAM: The {{D}istributed {E}den {A}bstract {M}achine}}}, pages = {250--269}, crossref = "ifl97-selectedpapers", year = "1997", } @inproceedings{BruRafaela1996a, author ="Bru, Rafael and Marin, Jos\'e", title ="{{BSP} Cost of the Preconditioned Conjugate Gradient Method}", organization="Universidad de Santiago de Compostela", address ="Santiago de Compostela, Spain", booktitle ="Proceedings of the VII Jornadas de Paralelismo", month ="September", year ="1996", scope ="bsp", documentURL ="http://etsia.upv.es/dep/dmate/map/papers/bsppcga1.ps", keywords ="BSP Model Conjugate Gradient Method" } @inproceedings{BrusEA1987a, author = "Brus, T. and van Eekelen, M. C. J. D. and van Leer, M. O. and Plasmeijer, M. J.", title = "{{Clean}: A Language for Functional Graph Rewriting}", editors = "Kahn, G.", booktitle = "Third International Conference on Functional Programming Languages and Computer Architecture", address = "Portland, Oregon, USA", series = LNCS, volume = "274", publisher = "Springer-Verlag", pages = "364--384", year = "1987" } @article{Bur94, author = {Burton, F. W. and {Rayward-Smith}, V. J.}, title = {{Worst Case Scheduling for Parallel Functional Programming}}, journal = JFP, volume = 4, number = 1, month = {January}, year = 1994, pages = {65--75} } @book{Burge75, author = {W.H. Burge}, title = {{Recursive Programming Techniques}}, publisher = {Addison-Wesley}, address = {Reading, MA}, year = {1975}, keywords = {functional} } @incollection{Burn87a, author = {G.L. Burn}, editor = {G. Kahn}, title = {{Evaluation Transformers - {{A} Model for the Parallel Evaluation of Functional Languages}}}, booktitle = {Functional Programming Languages and Computer Architecture}, pages = {446-470}, publisher = {Springer-Verlag}, address = {Berlin, DE}, year = {1987}, keywords = {semantics}, ISBN = {3-540-18317-5}, } @inproceedings{Burn88a, author = {G. Burn}, editor = {T. Johnsson and others}, title = {{A Shared Memory Parallel {{G}-machine Based on the Evaluation Transformer Model of Computation}}}, booktitle = {Aspenćs Workshop on Implementation of Functional Languages}, pages = {301-330}, publisher = {Programming Methodology Group, University of Göteborg and Chalmers University of Technology}, year = {1988}, keywords = {aspenaes aspenas goteborg goeteborg}, } @inproceedings{Burn88b, author = {G.L. Burn and S. L. {Peyton Jones} and J.D. Robson}, title = {{The Spineless {{G}-machine}}}, booktitle = {Proceedings of the 1988 ACM Conference on LISP and Functional Programming, Snowbird, UT}, pages = {244-258}, publisher = {ACM}, address = {New York, NY}, year = {1988}, keywords = {sharing avoiding updating graph reduction tim peyton jones} } @incollection{Burn91c, author = {G.L. Burn}, title = {{The Evaluation Transformer Model of Reduction and its Correctness}}, booktitle = {TAPSOFT '91}, pages = {458-482}, publisher = {Springer-Verlag}, address = {New York, NY}, year = {91}, keywords = {functional}, } @article{Burn:strict, author = "G. Burn and C. L. Hankin and S. Abramsky", title = "{Strictness Analysis of Higher Order Functions}", journal = "Science of Computer Programming", volume = "7", nunmber = "3", page = "249-278", year = "1985"} @inproceedings{Burton81a, author = {F. W. Burton and M. R. Sleep}, title = {{Executing Functional Programs on a Virtual Tree of Processors}}, booktitle = {Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture, Portsmouth, NH}, pages = {187-194}, publisher = {ACM}, address = {New York}, year = {1981}, keywords = {parallel} } @Article{Burton87, title = "{Functional Programming for Concurrent and Distributed Computing}", author = "F. W. Burton", journal = "Computer Journal", volume = "30", number = "5", year = "1987", pages = "437--450", } @InProceedings{CDG*97, author = {Chattratichat, J. and Darlington, J. and Ghanem, M. and Guo, Y. and H{\"u}ning, H. and K{\"o}hler, M. and Sutiwaraphun, J. and To, H. W. and Yang, D.}, title = {{Large Scale Data Mining: The Challenges and The Solutions}}, booktitle = {{KDD97 --- International Conference on Knowledge Discovery and Data Mining}}, year = 1997, month = {August}, publisher = {AAAI Press}, url = {http://hpc.doc.ic.ac.uk/environments/coordination/papers/kdd97.ps}, } @Article{CGSv93, author = {Culler, D.E. and Goldstein, S.C. and Schauser, K.E. and {von Eicken}, T.}, title = {{TAM --- A Compiler Controlled Threaded Abstract Machine}}, journal = JPDC, year = 1993, volume = 18, pages = {347--370}, month = {June}, annote = {main reference for specifying TAM}, abstractURL = {http://http.cs.berkeley.edu/\~{}sethg/abs/jpdc93.html}, url = {http://www.cs.ucsb.edu/\~{}schauser/papers/93-jpdc-tr.ps}, } @book{CIP84, author = "{{CIP Language Group}}", title = "{The Munich Project CIP}", series = LNCS, volume = "1", year = "1984", publisher = "Springer-Verlag", } @techreport{CampbellDu1996b, author ="Campbell, Duncan K. G.", title ="{Towards the Classification of Algorithmic Skeletons}", number ="YCS 276", institution ="Department of Computer Science, University of York", year ="1996" } @article{Cann, author ="Cann, D", title = "{Retire Fortran? A Debate Rekindled}", journal = "Communications of the ACM", month = "August", year = "1992", volume = "35", number = "8", pages = "81-89"} @inproceedings{Castan87a, author = {M. Castan and G. Durrieu and B. Lecussan and M. Lemaître and A. Contessa and E. Cousin and P. Ng}, editor = {J.H. Fasel and R.M. Keller}, title = {{Toward the Design of a Parallel Graph Reduction Machine: The MaRS Project}}, booktitle = {Graph Reduction: Proceedings of a Workshop at Santa Fe, New Mexico}, pages = {160-180}, publisher = {Springer-Verlag}, address = {New York, NY}, year = {1987}, keywords = {functional lemaitre indexed combinators}, ISBN = {0-387-18420-1}, note = {Lecture Notes in Computer Science 279.} } @InProceedings{ChFo91, author = {Chern, I. and Foster, I.}, title = {{Design and Parallel Implementation of Two Methods for Solving PDEs on the Sphere}}, booktitle = {Conference on Parallel Computational Fluid Dynamics}, pages = {83--96}, year = 1991, address = {Stuttgart, Germany}, publisher = ELS } @PhDThesis{Charles99, author = "N. Charles", title = "{New Tools for Parallelism in Lazy Functional Programs}", school = "Department of Computer Science, University of York", type = "D.{P}hil {T}hesis", year = "1999", note = "Forthcoming", } @book{Church:lambda, author = "A. Church", title = "{The Calculi of Lambda Conversion}", publisher = "Princeton University Press", year = "1941"} @incollection{Clack85, author = {C. Clack and S. L. {Peyton Jones}}, editor = {J.-P. Jouannaud}, title = {{Strictness Analysis - {{A} Practical Approach}}}, booktitle = {Functional Programming Languages and Computer Architecture}, pages = {35-49}, publisher = {Springer-Verlag}, address = {Berlin, DE}, year = {1985}, keywords = {functional Nancy Symposium}, ISBN = {3-540-15975-4}, } @inproceedings{Clack86, title = {{The Four-Stroke Reduction Engine}}, author = {Chris Clack and Simon L. {Peyton Jones}}, booktitle = {Proceedings ACM Conference on Lisp and Functional Programming}, pages = {220--232}, publisher = {{ACM}}, year = {1986} } @techreport{Clack88, author = {C. Clack and S. L. {Peyton Jones} and J. Salkild}, title = {{Efficient Parallel Graph Reduction on {{GRIP}}}}, institution = {Department of Computer Science, University College London}, type = {Research Note}, number = {RN/88/29}, address = {London, UK}, year = {1988}, keywords = {functional shared memory peyton jones}, } @incollection{Clack90, author = {C. Clack}, title = {{GRIP Status Update --- 1989}}, booktitle = {Multiprocessor Computer Architecture}, pages = {119--120}, editor = {T.J. Fountain and M.J. Shute}, publisher = {North Holland}, address = {Amsterdam}, year = {1990}, ISBN = {0-444-88215-4} } @techreport{Clack92a, author = {C. Clack and S. Courtenage}, title = {{An Overview of the UCL {{DIGRESS} Project}}}, institution = {Department of Computer Science, University College London}, type = {Research Note}, number = {RN/92/55}, address = {London, UK}, year = {1992} } @techreport{Clack92b, author = {C.D. Clack}, title = {{The Implementation of Sum and Product Domain Constructors for the Four-Stroke Reduction Engine}}, institution = {Department of Computer Science, University College London}, type = {Research Note}, number = {RN/92/54}, address = {London, UK}, year = {1992} } @techreport{Clack94, author = {C. Clack}, title = {{The {{DIGRESS} Project: Final Report}}}, institution = {Athena Systems Design Ltd.}, type = {Internal Technical Report}, address = {London, UK}, year = {1994} } @incollection{Clack94a, author = {C. Clack}, title = {{GRIP}: the {{GRIP} {{M}ultiprocessor}}}, booktitle = {Parallel Computing Principles and Practice}, editor = {T.J. Fountain}, publisher = {Cambridge University Press}, year = {1994}, pages = {266--275}, ISBN = {0-521-45131-0} } @article{Clack95, author = {C. Clack and S. Clayman and D.J. Parrott}, title = {{Lexical Profiling --- Theory and Practice}}, journal = {Journal of Functional Programming}, volume = {5}, number = {2}, pages = {225--277}, year = {1995}, keywords = {functional sorting transformation specification} } @inproceedings{Clarke80, author = {T.J.W. Clarke and P.J.S. Gladstone and C.D. MacLean and A.C. Norman}, title = {{{SKIM} - The {{S}},{{K}},{I} Reduction Machine}}, booktitle = {Conference Record of the 1980 LISP Conference, Stanford University}, year = {1980}, keywords = {functional}, } @phdthesis{ClaymanThesis, author = {Clayman, S.}, title = {{Developing and Measuring Parallel Rule-Based Systems in a Functional Programming Environment}}, school = {Department of Computer Science}, address = {University College, London, UK}, year = 1993 } @inproceedings{CorralCris1997a, author ="Corral, Cristina and Gimenez, Isabel and Marin, Jos\'e and Mas, Jos\'e", title ="{An M-Step Block Diagonal Multisplitting Preconditioned Conjugate Gradient Method}", booktitle ="EAMA-97 (International Meeting on Matrix Analysis and Applications)", month ="September", year ="1997", scope ="bsp", documentURL ="http://etsia.upv.es/dep/dmate/map/papers/bsppcga2.ps", keywords ="Preconditioners, BSP Model" } @inproceedings{Cox92, author = {S. Cox and S.-Y. Huang and P. H. J. Kelly and J. Liu and F. Taylor}, editor = {D. Etiemble and J.-C. Syre}, title = {{An Implementation of Static Functional Process Networks}}, booktitle = {PARLE '92: Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, Paris}, pages = {497-514}, publisher = {Springer-Verlag}, address = {Berlin, DE}, year = {1992}, keywords = {functional caliban}, ISBN = {3-540-55599-4}, } @inproceedings{Cripps87, author = {M. D. Cripps and J. Darlington and A. J. Field and P. G. Harrison and M. J. Reeve}, title = {{The Design and Implementation of {{ALICE}: {A} Parallel Graph Reduction Machine}}}, booktitle = {Proceedings of the Workshop on Graph Reduction}, publisher = {Springer-Verlag}, address = {New York, NY}, year = {1987}, keywords = {functional} } @PhdThesis{Cull90, author = {Culler, D.E.}, title = {{Managing Parallelism and Resources in Scientific Dataflow Programs}}, school = {Laboratory for Computer Science}, month = jun, year = 1989, number = {MIT-LCS-TR-446}, address = {M.I.T.}, annote = {includes evaluation of k-bounded loops} } @book{Culler99, author = "Culler, D. E and Singh, J. P.", title = "{Parallel Computer Architecture}", year = "1989", publisher = "Pitman/MIT Press", } @book{Curry58, author = {H.B. Curry and W. Craig and R. Feys}, title = {{Combinatory Logic, Volume 1}}, publisher = {North-Holland}, address = {Amsterdam, NL}, year = {1958}, keywords = {functional} } @InProceedings{DAS95, key = "Das \& Batory", author = "D. Das and D. Batory", title = "{Prairie: {A} Rule Specification Framework for Query Optimizers}", booktitle = "International Conference on Database Engineering", organization = ieee, year = "1995", pages = "201--210", bibdate = "Mon Nov 20 15:23:25 1995", abstract-url = "http://www.cs.utexas.edu/users/schwartz/#icde-11", url = "ftp://ftp.cs.utexas.edu/pub/predator/icde-11.ps", } @InProceedings{DDD95, author = {Davy, J. R. and Deldari, H. and Dew, P. M.}, title = {{Constructive Solid Geometry Using Algorithmic Skeletons}}, booktitle = {{Eurographics Workshop on Programming Paradigms for Graphics}}, OPTcrossref = {}, OPTkey = {}, OPTpages = {}, year = {1995}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, publisher = S-V, OPTnote = {Also: Technical Report 96.01}, OPTannote = {}, } @InProceedings{DDD98, AUTHOR = {Fr\'ed\'eric Desprez and St\'ephane Domas and Jack J. Dongarra and Antoine Petitet and Cyril Randriamaro and Yves Robert}, TITLE = {{More on Scheduling Block-Cyclic Array Redistribution}}, PAGES = {275--287}, BOOKTITLE = {Proceedings of 4th Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers (LCR98)}, VOLUME = {1511}, PUBLISHER = sv, SERIES = lncs, YEAR = {1998}, ADDRESS = {Pittsburgh, PA}, } @Article{DGGT97a, author = {Darlington, J. and Ghanem, M. and Guo, Y. and To, H. W.}, title = {{Guided Resource Organisation in Heterogeneous Parallel Computing}}, journal = {Journal of High Performance Computing}, year = 1997, month = dec, volume = 4, number = 1, pages = {13--23}, url = {http://hpc.doc.ic.ac.uk/environments/coordination/papers/jhpc96.ps}, } @Proceedings{DGT:96, editor = "Olivier Danvy and Robert Gl{\"u}ck and Peter Thiemann", year = "1996", title = "{Partial Evaluation}", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", volume = "1110", pages = "514", keywords = "programming languages, program transformation, program analysis", puf = "---", id = "BogE", } @inproceedings{DGTY95a, author = {Darlington, J. and Guo, Y. K. and To, H. W. and Yang, J.}, title = {{Functional Skeletons for Parallel Coordination}}, booktitle = {{EuroPar'95 --- European Conference on Parallel Processing}}, OPTeditor = {Haridi, S. and Ali, K. and Magnussin, P.}, pages = {55--69}, month = aug, publisher = S-V, year = {1995}, volume = {966}, series = LNCS, address = {Stockholm, Sweden, August 29--31}, keywords = {Programming Language, Parallel Computing, Skeleton, Coordination Language, High Performance Fortran}, url = {http://hpc.doc.ic.ac.uk/environments/coordination/papers/europar95.ps}, } @InProceedings{DGTY96, author = {Darlington, J. and Guo, Y. and To, H. W. and Yang, J.}, title = {{SPF: Structured Parallel Fortran}}, booktitle = {PCW'96 --- International Parallel Computing Workshop}, year = 1996, address = {Kawasaki, Japan}, month = {November}, annote = {Attached intro summarises SCL, SPF philosophy}, url = {http://hpc.doc.ic.ac.uk/environments/coordination/papers/pcw96-spf.ps}, } @Article{DKHS96, author = {Dimov, I. and Karaivanova, A. and Kuchen, H. and Stoltze, H.}, title = {{Monte Carlo Algorithms for Elliptic Differential Equations --- a Data Parallel Functional Approach}}, journal = {Journal of Parallel Algorithms and Applications}, year = 1996, volume = 9, pages = {39--65}, keywords = {Monte Carlo algorithms, elliptic differential equation, boundary value problem, data parallelism}, url = {http://danae.uni-muenster.de/lehre/kuchen/JPAAfinal.ps.gz}, } @InProceedings{DaTo97, author = {Darlington, J. and To, H. W.}, title = {{Supporting Irregular Applications in SPF}}, booktitle = {{PCW'97 --- International Parallel Computing Workshop}}, year = 1997, address = {Canberra, Australia}, month = {September}, url = {http://hpc.doc.ic.ac.uk/environments/coordination/papers/pcw97-padt.ps.gz}, } @inproceedings{Darlington81, author = {J. Darlington and M. Reeve}, title = {{ALICE} - {{A} Multi-Processor Reduction Machine for the Parallel Evaluation of Applicative Languages}}, booktitle = {Proceedings of the ACM Conference on Functional Languages and Computer Architecture, Portsmouth, NH}, pages = {65-76}, year = {1981}, keywords = {functional languages graph reduction}, } @inproceedings{Davie89, author = {A.J.T. Davie and D.J. McNally}, title = {{CASE} - {{A} Lazy Version of an {SECD} Machine with a Flat Environment}}, booktitle = {Proceedings of the IEEE TENCON '89, Bombay}, publisher = {IEEE}, address = {New York, NY}, year = {1989}, keywords = {functional}, } @inproceedings{DeWitt, author = {Bitton, D. and DeWitt, D.J. and Turbyfill, C.}, title = {{Benchmarking Database Systems: A Systematic Approach}}, booktitle = {Very Large Database Conference}, year = 1983 } @inproceedings{Den95, author = {Dennis, J.}, title = {{Static Mapping of Functional Programs: An Example in Signal Processing}}, booktitle = {HPFC'95 --- Conference on High Performance Functional Computing}, year = 1995, address = {Denver, CO, April 10--12}, pages = {149--163} } @InProceedings{Dennis74, author = {Dennis, Jack B.}, title = {{First Version of a Data-Flow Procedure Language}}, booktitle = {Proceedings of the Colloque sur la Programmation}, editor = {B. Robinet}, pages = {362--376}, publisher = {Springler-Verlag}, address = {Berlin, DE}, series = LNCS, volume = {19}, year = {1974}, } @article{Drl78, author = "J. Darlington", title = "{A Synthesis of Several Sorting Algorithms}", year = "1978", journal = "Acta Informatica", volume = "11", number = "1", } @inproceedings{Eekelen87, author = {M.C.J.D. van Eekelen and M.J. Plasmeijer}, editor = {J.H. Fasel and R.M. Keller}, title = {{Specification of Reduction Strategies in Term Rewriting Systems}}, booktitle = {Graph Reduction: Proceedings of a Workshop at Santa Fé, New Mexico}, pages = {215-239}, publisher = {Springer-Verlag}, address = {New York, NY}, year = {1987}, keywords = {functional trs}, ISBN = {0-387-18420-1}, } @inproceedings{Ega93, author = {Egan, G.}, title = {{Implementing the Kernel of the Australian Weather Prediction Model in Sisal}}, booktitle = {{Sisal'93 --- Sisal Users Conference}}, address = {San Diego, CA}, year = 1993, number = {CONF 9310206}, series = {LLNL Report}, month = oct, pages = {11--17} } @InCollection{ElmasriNavathe94a, author = "R. Elmasri and S. B. Navathe", title = "{SQL}: A Relational Database Language", crossref = "ElmasriNavathe94", year = "1994", chapter = "7.4", pages = "215--219", } @Book{ElmasriNavathe94, editor = "R. Elmasri and S. B. Navathe", title = "{Fundamentals of {{D}atabase {S}ystems}}", booktitle = "{Fundamentals of {{D}atabase {S}ystems}}", edition = "Second", year = "1994", publisher = "Benjamin/Cummings", } @inproceedings{ErlangApplications, author = {Armstrong, J.}, title = {{Erlang --- a Survey of the Language and its Industrial Applications}}, booktitle = {{INAP'96 --- The 9th Exhibitions and Symposium on Industrial Applications of Prolog}}, address = {Hino, Tokyo, Japan}, month = {October}, year = 1996, pages = {16--18}, url = {http://www.ericsson.se/cslab/erlang/publications/inap96.ps}, } @article{Expr, author = "Felleissen, M.", title = "{On the Expressive Power of Programming Languages}", journal = "Science of Computer Programming", volume ="17", pages = "35-75", year = "1991"} @Misc{FISh, key = {FISh}, title = {{FISh web-site}}, note = "\newline\code{http://www-staff.socs.uts.edu.au/\~{}cbj/FISh}" } @book{FLARE, editor = {Runciman, C. and Wakeling, D.}, title = {{Applications of Functional Programming}}, publisher = "UCL Press", year = 1995 } @Article{FOT92, author = {Foster, I. and Olson, R. and Tuecke, S.}, title = {{Productive Parallel Programming: The PCN Approach}}, journal = JSP, year = 1992, volume = 1, number = 1, pages = {51--66}, annote = {std reference to PCN}, keywords = {PCN, program composition, parallel programming, reuse, templates}, url = {{ftp://info.mcs.anl.gov/pub/tech\_reports/reports/P295.ps.Z}}, annote = {Discusses many (numerical) applications in a survey; emphasises importance of par programming environment; enumerates characteristics of applications where PCN is most useful (similar to characteristics we detected ourselves): dynamic parallelism, complex computation and communication structure, load balancing, par prging env, portability, scalability, rapid prototyping, code reuse}, miscnotes = "Good software engineering practice tells us that these tools should possess three characteristics: (1) a notation that permits us to program smarter, by lessening the gap between our conception of a problem solution and its eventual implementation; (2) support for code reuse that allows us to program less, by reusing old code when solving new problems; and (3) a toolkit that permits us to program faster, by reducing the effort required to find errors, adapt programs to different architectures, etc.", } @inproceedings{Fairbairn86, author = {Jon Fairbairn and Stuart Wray}, title = {{Code Generation Techniques for Functional Languages}}, booktitle = {Proceedings of the 1986 ACM Conference on LISP and Functional Programming}, pages = {94-104}, publisher = {ACM}, address = {New York, NY}, year = {1986}, note = {Held at MIT, Cambridge, MA.} } @article{Farmer90, author = {W.M. Farmer and J.D. Ramsdell and R.J. Watro}, title = {{A Correctness Proof for Combinator Reduction with Cycles}}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {12}, number = {1}, pages = {123-134}, year = {1990}, keywords = {functional}, } @Book{FoTa89, author = {Foster, I. and Taylor, S.}, title = {{Strand: New Concepts in Parallel Programming}}, publisher = P-H, year = 1989, annote = {The Strand Book} } @Article{Fost96, author = {Foster, I.}, title = {{Compositional Parallel Programming Languages}}, journal = TOPLAS, year = 1996, volume = 18, number = 4, pages = {454--476}, keywords = {Compositionality, Parallel Languages, Parallel Programming}, annote = {covers Strand, PCN and some applications}, url = {{ftp://info.mcs.anl.gov/pub/tech\_reports/reports/P354.ps.Z}}, } @Book{Foster76-capp, author = {Caxton C. Foster}, title = {{Content Addressable Parallel Processors}}, publisher = {Van Nostrand Reinhold Co.}, address = {New York}, year = {1976}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTedition = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @TechReport{FrJo97, author = {Frigo, M. and Johnson, S.G.}, title = {{The Fastest Fourier Transform in the West}}, institution = {MIT Laboratory for Computer Science}, year = 1997, type = {Technical Report}, number = {MIT-LCS-TR-728}, month = {September}, keywords = {Fast Fourier transform, high performance, ML, code generation}, url = {http://theory.lcs.mit.edu/\~{}fftw/fftw-paper.ps.gz}, } @Article{Frazer.70.A, author = "W. D. Frazer and A. C. McKellar", title = "{Samplesort: A Sampling Approach to Minimal Storage Tree Sorting}", journal = "Journal of the {ACM}", year = 1970, volume = "17", number = "3", pages = "496--507" } @inproceedings{Friedman:cons, author = "D. P. Freidman and D. S. Wise", title = "{CONS Should Not Evaluate its Arguments}", booktitle = "Automata, Languages and Programming: 3rd International Colloquium", editor = "S. Michaelson and R. Milner", page = "257-284", publisher = "Edinburgh University Press", year = "1976"} @InProceedings{Frig99, author = {Frigo, M.}, title = {{A Fast Fourier Transform Compiler}}, booktitle = {PLDI'99 --- Conference on Programming Language Design and Implementation}, year = 1999, address = {Atlanta, GA}, month = {May}, organization = {SCM SIGPLAN}, note = {To appear}, url = {http://theory.lcs.mit.edu/\~{}fftw/pldi99.ps.gz}, } @article{GHM93, author = "{I. P. de Guzman and P.G. Harrison and E. Medina}", title = "{Pipelines for Divide-and-Conquer Functions}", year = "1993", journal = "The Computer Journal", volume = "36", number = "3", } @Article{GMP89, author = {Giacolone, A. and Mishra, P. and Prasad, S.}, title = {{Facile: A Symmetric Integration of Concurrent and Functional Programming}}, journal = JPP, year = 1989, volume = 18, number = 2, annote = {standard reference on Facile} } @TechReport{GMZ94, author = {Gremban, K.D. and Miller, G.L. and Zagha, M.}, title = {{Performance Evaluation of a New Parallel Preconditioner}}, institution = {School of Computer Science}, address = {Carnegie Mellon University}, year = 1994, type = {Technical Report}, number = {CMU-CS-94-205}, month = {October}, keywords = {linear systems, iterative methods, preconditioners, sparse and very large systems, parallel algorithms, parallel processors, vector processors}, url = {http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/papers/CMU-CS-94-205.ps.gz}, } @inproceedings{GRIP, author = {Hammond, K. and {Peyton Jones}, S. L.}, title = {{Some Early Experiments on the GRIP Parallel Reducer}}, booktitle = {{IFL'90 --- International Workshop on the Parallel Implementation of Functional Languages}}, address = {Nijmegen, The Netherlands}, month = {June}, pages = {51--72}, year = {1990} } @InProceedings{GSD98, author = {Ginhac, D. and S{\'e}rot, J. and D{\'e}rutin, J.P.}, title = {{Fast Prototyping of Image Processing Applications Using functional Skeletons on MIMD-DM Architecture}}, booktitle = {IAPR Workshop on Machine Vision Applications}, year = 1998, address = {Chiba, Japan}, month = nov, url = {http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/papers/articles/mva98.ps.gz}, } @Article{GSWZ95, author = {Grant, P.W. and Sharp, J.A. and Webster, M.F. and Zhang, X.}, title = {{Experiences of Parallelizing Finite-Element Problems in a Functional Style}}, journal = SPE, month = sep, year = 1995, volume = 25, number = 9, pages = {947--974}, } @InProceedings{GaRe93, author = {Gansner, E. R. and Reppy, J. H.}, title = {{A Multithreaded Higher-Order User Interface Toolkit}}, booktitle = {User Interface Software}, pages = {61--80}, year = 1993, volume = 1, series = {Software Trends}, publisher = JWS, url = {ftp://ftp.research.bell-labs.com/dist/smlnj/papers/93-trends-gansner.ps}, } @inproceedings{GeerlingAM1995b, author ="Geerling, A.M.", title ="{Program Transformations and Skeletons: Formal Derivation of Parallel Programs}", pages ="250--256", langModel ="either", editor ="Mirenkov, N.", booktitle ="pAs'95 Parallel Algorithm/Architecture Synthesis", publisher ="IEEE Computer Society Press", year ="1995" } @article{Gehani1984a, author = "Gehani, N.H.", title = "{Broadcasting Sequential Processes {(BSP)}}", journal = "IEEE Transactions on Software Engineering", volume = "10", number = "4", month = "July", year = "1984" } @Article{Gerbessiotis.94.A, author = "Alexandros V. Gerbessiotis and Leslie G. Valiant", title = "{Direct Bulk-Synchronous Parallel Algorithms}", journal = "Journal of Parallel and Distributed Computing", year = "1994", volume = "22", number = "2", pages = "251--267", month = aug } @Article{GoBi98, author = {Gorlatch, S. and Bischof, H.}, title = {{A Generic MPI Implementation for a Data-Parallel Skeleton: Formal Derivation and Application to FFT}}, journal = {Parallel Processing Letters}, publisher = WSP, year = 1998, keywords = {Formal Methods; Skeletons; Bird-Meertens Formalism (BMF) Fast Fourier Transform (FFT); Program Derivation; Message Passing Interface (MPI)}, url = {http://brahms.fmi.uni-passau.de/cl/papers/GorBi98.ps.gz}, } @phdthesis{Goldberg88b, author = {B.F. Goldberg}, title = {{Multiprocessor Execution of Functional Programs}}, type = {PhD Thesis}, school = {Yale University, Department of Computer Science}, address = {New Haven, CT}, year = {1988}, keywords = {serial combinators diffusion scheduling alfalfa buckwheat} } @InProceedings{GorLe97c, author={Sergei Gorlatch and Christian Lengauer}, title={{(De)Composition Rules for Parallel Scan and Reduction}}, booktitle = "Proceedings of 3rd International Working Conference on Massively Parallel Programming Models (MPPM'97)", OPTpublisher = {IEEE Computer Press}, year=1998, } @Article{Gorl96, author = {Gorlatch, S.}, title = {{From Transformations to Methodology in Parallel Program Development: A Case Study}}, journal = {Microprocessing and Microprogramming}, year = {1996}, volume = {41}, pages = {571--588}, keywords = {Formal Specification and Design; Parallelization; Program Transformation; Bird-Meertens Formalism}, url = {ftp://ftp.uni-passau.de/pub/local/parallel/papers/GorMiMi.ps.Z}, } @article{Gorl98, author= {Gorlatch, S.}, title= {{Programming with Divide-and-Conquer Skeletons: An Application to {{FFT}}}}, journal= {Journal of Supercomputing}, volume= 12, number= {1--2}, year= 1998, pages= {85--97}, } @article{GrL95, author = "S. Gorlatch and C. Lengauer", title = "{Parallelization of Divide-and-Conquer in the Bird-Meertens Formalism}", year = "1995", journal = "Formal Aspects of Computing", volume = "7", number = "6", pages = "663--682", } @inproceedings{Grl96, author = "S. Gorlatch", title = "{Systematic Efficient Parallelization of Scan and Other List Homomorphisms}", booktitle = "{Proceedings of the European Conference on Parallel Processing, Euro-Par'96}", series = LNCS, volume = "1124", year = "1996", pages = "401-408", publisher = "Springer-Verlag", editor = "L. Bouge and P. Fraigniaud and A. Mignotte and Y. Robert", } @mastersthesis{Groningen90, author = {J.H.G. van Groningen}, title = {{Implementing the {ABC-M}achine on {M680x0} Based Architectures}}, school = {University of Nijmegen}, year = {1990} } @Article{Gurd85, author = {J. R. Gurd and C. C. Kirkham and I. Watson}, title = {{The Manchester Prototype Dataflow Computer}}, journal = {Comm. {ACM}}, year = {1985}, month = {January}, volume = {28}, number = {1}, pages = {34--52}, } @article{HHL*95, author = {Hartel, P.H. and Hofman, R.F.H. and Langendoen, K.G. and Muller, H.L. and Vree, W.G. and Hertzberger, L.O.}, title = {{A Toolkit for Parallel Functional Programming}}, journal = CPE, volume = 7, number = 8, year = 1995, pages = {765--793}, keywords = {Parallel functional programming, simulation, real execution, validation, case study}, url = {{ftp://ftp.fwi.uva.nl/pub/computer-systems/functional/reports/CPE\_toolkit.ps.Z}}, } @InProceedings{HKLT91, author = {Harrar, H. and Keller, H. and Lin, D. and Taylor, S.}, title = {{Parallel Computation of Taylor-Vortex Flows}}, booktitle = {Conference on Parallel Computational Fluid Dynamics}, OPTpages = {}, year = 1991, address = {Stuttgart, Germany}, publisher = ELS } @article{HLB95, author = {Hammes, J. P. and Lubeck, O. and {B\"{o}hm}, A. P. W.}, title = {{Comparing Id and Haskell in a Monte Carlo Photon Transport Code}}, journal = JFP, volume = 5, number = 3, month = {July}, year = 1995, pages = {283--316}, url = {http://www.cs.colostate.edu/\~{}hammes/documents/final1.ps.Z}, abstractURL = {http://www.dcs.glasgow.ac.uk/jfp/bibliography/References/hammeslb1995:283.html}, } @inproceedings{HainesGaet93a, author ="Hains, Ga\'etan and Foisy, Christian", title ="{The Data-Parallel Categorical Abstract Machine}", booktitle ="Parallel Architectures \& Languages Europe", publisher ="Springer-Verlag", series = LNCS, year ="1993" } @Article{Hals85, author = {Halstead, Jr., R. H.}, title = {{Multilisp: A Language for Concurrent Symbolic Computation}}, journal = TOPLAS, year = 1985, volume = 7, number = 4, annote = {std reference for MultiLisp}, pages = {501--538}, keywords = "Lisp, Futures", } @techreport{Hammond92b, author = {K. Hammond and S. L. {Peyton Jones}}, editor = {H. Kuchen and R. Loogen}, title = {{Profiling Strictness Strategies on the Grip Parallel Reducer}}, institution = {RWTH Aachen, Fachgruppe Informatik}, type = {Bericht Nr.}, number = {92-19}, address = {Aachen, DE}, year = {1992}, keywords = {peyton jones}, note = {Proceedings of the 4th International Workshop on the Parallel Implementation of Functional Languages.} } @inproceedings{Hammond94, author = {K. Hammond and Matson, Jr., J. S. and S. L. {Peyton Jones}}, title = {{Automatic Spark Strategies and Granularity for a Parallel Graph Reducer}}, booktitle = {Proceedings CONPAR'94}, publisher = {Springer-Verlag}, series = LNCS, volume = {854}, pages = {521--532}, year = {1994} } @inproceedings{Hammond94a, author = {K. Hammond}, title = {{Parallel Functional Programming - an Introduction}}, booktitle = {Proceedings PASCO Symposium on Parallel Symbolic Computation}, pages = {181--193}, year = {1994} } @inproceedings{Hammond95, author = {K. Hammond and H-W. Loidl and A. S. Partridge}, title = {{Improving Granularity for Parallel Functional Programs: A Graphical Winnowing System for Haskell}}, booktitle = {Proceedings of the 1995 Conference on High Performance Functional Computing ({HPFC'95}), Denver, Colorado}, pages = {208--221}, year = {1995} } @InProceedings{HammondLoidlPartridge95, author = "K. Hammond and H-W. Loidl and A. S. Partridge", title = "{Visualising {G}ranularity in {P}arallel {P}rograms: {A} {G}raphical {W}innowing {S}ystem for {H}askell}", booktitle = "{HPFC}'95 -- {H}igh {P}erformance {F}unctional {C}omputing", pages = "208--221", year = "1995", editor = "{B\"{o}hm}, A. P. Wim and Feo, John T.", publisher = "", } @book{Hankin:lambda, author = "C. Hankin", title = "{Lambda Calculi}", publisher = "OUP", year = "1994"} @incollection{Hanna95, author = {F.K. Hanna and W.G.J. Howells}, title = {{Parallel Theorem-Proving}}, crossref = "FLARE", year = {1995}, } @inproceedings{Harrison87a, author = {P.G. Harrison and M.J. Reeve}, editor = {J.H. Fasel and R.M. Keller}, title = {{The Parallel Graph Reduction Machine, Alice}}, booktitle = {Graph Reduction: Proceedings of a Workshop at Santa Fé, New Mexico}, pages = {181-202}, publisher = {Springer-Verlag}, address = {New York, NY}, year = {1987}, keywords = {functional transputer}, ISBN = {0-387-18420-1}, } @article{Harrison92b, author = {P.G. Harrison and H. Khoshnevisan}, title = {{A New Approach to Recursion Removal}}, journal = {Theoretical Computer Science}, volume = {93}, pages = {91-113}, year = {1992}, keywords = {functional semantics} } @book{Henderson80, author = {P. Henderson}, title = {{Functional Programming: Application and Implementation}}, publisher = {Prentice-Hall}, address = {London, UK}, year = {1980} } @techreport{Henderson82a, author = {P. Henderson and G.A. Jones and S.B. Jones}, title = {{The LispKit Manual}}, institution = {Oxford University Computing Laboratory}, type = {Technical monograph}, number = {PRG-2}, year = {1982}, keywords = {functional}, note = {Two volumes.} } @inproceedings{Henderson:lazy, author = "P. Henderson and J. H. Morris", title = "{A Lazy Evaluator}", booktitle = "Proceedings of 3rd ACM Symposium on Principles of Programming Languages", page = "95-103", year = "1976"} @InProceedings{HerLe97, author = "Christoph Armin Herrmann and Christian Lengauer", title = "{Transformation of Divide \& Conquer to Nested Parallel Loops}", series = "Lecture Notes in Computer Science 1292", booktitle = "Programming Languages: Implementation, Logics, and Programs (PLILP'97)", year = 1997, pages = "95-109", publisher = "Springer-Verlag", editor = "H. Glaser and P. Hartel and H. Kuchen" } @Article{HillisSteele86-dp, author = {W. Daniel Hillis and Steele, Jr., Guy L.}, title = {{Data Parallel Algorithms}}, journal = {Communications of the ACM}, year = {1986}, volume = {29}, number = {12}, pages = {1170--1183}, OPTkey = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @Article{Hoare.62.A, author = "C. A. R. Hoare", title = "{Quicksort}", journal = "Computer Journal", year = 1962, volume = "5", number = "1", pages = "10--15" } @article{Hoare1978a, author = "Hoare, C. A. R.", title = "{Communicating Sequential Processes}", journal = "Commmunications of the ACM", volume = "21", pages = "666--671", month = "Aug.", year = "1978" } @InProceedings{Huang.83.A, author = "J. S. Huang and Y. C. Chow", title = "{Parallel Sorting and Data Partitioning by Sampling}", pages = "627--631", booktitle = "IEEE Computer Society's Seventh International Computer Software \& Applications Conference (COMPSAC'83)", year = 1983, month = nov, } @Article{Hudak86, author = "P. Hudak", title = "{Para-functional programming}", journal = "IEEE Computer", pages = "60--71", volume = "19", year = "1986", } @techreport{Hughes82, author = {R. J. M. Hughes}, title = {{Graph Reduction with Super Combinators}}, institution = {Oxford University Computer Laboratory}, type = {Technical Monograph}, number = {PRG-28}, year = {1982}, keywords = {functional} } @techreport{Hwang92, author = {S. Hwang and D. Rushall}, editor = {H. Kuchen and R. Loogen}, title = {{The $\nu$-{STG} Machine: {A} Parallelized Spineless Tagless Graph Reduction Machine in a Distributed Memory Architecture}}, institution = {RWTH Aachen, Fachgruppe Informatik}, type = {Bericht Nr.}, number = {92-19}, address = {Aachen, DE}, year = {1992}, } @TechReport{Id, author = {R. S. Nikhil}, title = {{{Id} (Version 90.1) Reference Manual}}, institution = {Laboratory for Computer Science, MIT}, number = {CSG Memo 284-2}, month = {July}, year = {1991}, } @techreport{Impala, author = {Shaw, A.}, title = {{Impala -- IMplicitly PArallel LAnguage Application Suite}}, url = {http://www.csg.lcs.mit.edu:8001/impala/}, institution = {{MIT} Computation Structures Group}, month = {June 11th}, year = 1998 } @article{Impure, author = "Pippenger, N.", title = "{Pure Versus Impure Lisp}", journal = "ACM Transactions on Programming Languages and Systems", volume = "19", number = "2", month = "March", year = "1997"} @inbook{Irwin:1997:APS, author = "J. Irwin and J.-M. Loingtier and J. R. Gilbert and G. Kiczales", title = "{Aspect-Oriented Programming of Sparse Matrix Code}", series = LNCS, publisher = S-V, volume = "1343", year = "1997", coden = "LNCSD9", ISSN = "0302-9743", bibdate = "Tue Apr 28 08:51:33 MDT 1998", acknowledgement = ack-nhfb, } @inproceedings{Ito96, author = {Ito, T.}, title = {{Efficient Evaluation Strategies for Structured Concurrency Constructs in Parallel Scheme Systems}}, booktitle = {{PSLS'95 --- International Workshop on Parallel Symbolic Languages and Systems}}, year = 1995, publisher = S-V, series = LNCS, volume = 1068, pages = {22--52}, } @Article{JBM98, author = {Jay, C. B. and Bell{\`e}, G. and Moggi, E.}, title = {{Functorial {ML}}}, journal = {Journal of Functional Programming}, year = {1999}, OPTvolume = {}, OPTnumber = {}, OPTmonth = {}, OPTpages = {}, note = {to appear}, OPTannote = {} } @InProceedings{JCSS97, author = {C. B. Jay and M. I. Cole and M. Sekanina and P. A. Steckler}, title = {{A Monadic Calculus for Parallel Costing of a Functional Language of Arrays}}, booktitle = {Euro-Par{'}97 Parallel Processing}, editor = {C. Lengauer and M. Griebl and S. Gorlatch}, volume = {1300}, series = LNCS, year = {1997}, publisher = {Springer-Verlag}, month = {August}, pages = {650--661}, } @InProceedings{JDH97, author = {Junaidu, S. and Davie, A. and Hammond, K.}, title = {{Naira: A Parallel$^{2}$ Haskell Compiler}}, crossref = "ifl97-selectedpapers", year = 1997, pages = {215--231}, annote = {was Sahl97 in draft proceedings} } @InProceedings{JSt98, author = {Jay, C. B. and Steckler, P. A.}, title = {{The Functional Imperative: Shape!}}, booktitle = {Programming languages and systems: 7th European Symposium on Programming, {ESOP'98} Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS'98} Lisbon, Portugal, March/April 1998}, editor = {Chris Hankin}, volume = {1381}, OPTnumber = {}, series = lncs, year = {1998}, OPTorganization = {}, publisher = sv, OPTaddress = {}, OPTmonth = {}, pages = {139--53}, OPTannote = {} } @InProceedings(Jay94f, Author={Jay, C. B.}, Title={{Matrices, Monads and the Fast {F}ourier Transform}}, Booktitle={Proceedings of the Massey Functional Programming Workshop 1994}, Editors={Leslie, N. and Perry, N}, Year=1994, Pages={71--80} ) @Article{Jay95b, Author= cbj, Title={{A Semantics for Shape}}, Journal={Science of Computer Programming}, Volume=25, Year={1995}, Pages={251--283} } @Article{Jay95h, author = cbj, title = "{Shape in Computing}", OPTcrossref = "", OPTkey = "", journal = "{ACM} Computing Surveys", year = "1996", volume = "28", number = "2", pages = "355--357", OPTmonth = "", OPTannote = "" } @Misc{Jay98b, OPTkey = {}, author = cbj, title = {{Poly-Dimensional Regular Arrays in {FISh}}}, OPThowpublished = {}, year = {1998}, month = {{A}pril}, note = {superceded}, OPTannote = {} } @Misc{Jay98d, author = cbj, title = {{The {FIS}h language definition}}, year = {1998}, note = "\newline\code{http://www-staff.socs.uts.edu.au/\~{}cbj/Publications/fishdef.ps.gz}", OPTmonth = {}, OPTnote = {}, OPTannote = {} } @InProceedings{Jay99a, author = cbj, title = {{Partial Evaluation of Shaped Programs: Experience With {FISh}}}, booktitle = {ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '99) San Antonio, Texas, January 22-23, 1999: Proceedings }, editor = {Danvey, O.}, year = {1999}, publisher = {{BRICS}}, OPTaddress = {}, OPTmonth = {}, pages = {147--158}, OPTnote = {}, OPTannote = {} } @article{JnS90, author = "G. Jones and M. Sheeran", title = "{Circuit Design in Ruby}", year = "1990", journal = "Formal Methods in VLSI Design", pages = "13-70", publisher = "Noth-Holland", editor = "J. Staunstrup", } @inproceedings{Johnson:Gennetti:Splatter:96, title = "{Volume Rendering of Large Datasets on the {Cray} {T3D}}", author = "Greg Johnson and Jon Genetti", booktitle = "Spring Proceedings (Cray User Group)", year = 1996, page = "155-159", url = "http://mpire.sdsc.edu/Splatter/Splatte\_papers.html" } @incollection{Johnsson85, author = {T. Johnsson}, editor = {J.-P. Jouannaud}, title = {{Lambda Lifting: Transforming Programs to Recursive Equations}}, booktitle = {Functional Programming Languages and Computer Architecture}, pages = {190-203}, publisher = {Springer-Verlag}, address = {Berlin, DE}, year = {1985}, keywords = {functional Nancy Symposium}, ISBN = {3-540-15975-4}, } @phdthesis{Johnsson87b, author = {T. Johnsson}, title = {{Compiling Lazy Functional Languages}}, school = {Department of Computer Science, Chalmers University of Technology}, type = {PhD Thesis}, address = {G\"{o}teborg, SE}, year = {1987} } @article{Jones1995a, author = "Jones, M. P.", title = "{A System of Constructor Classes: Overloading and Implicit Higher- Order Polymorphism}", journal = "Journal of Functional Programming", volume = "5", number = "1", pages = "1--37", month = "January", year = "1995" } @PhdThesis{Juna98, author = {Junaidu, S.}, title = {{A Parallel Functional Language Compiler for Message Passing Multicomputers}}, school = {School of Mathematical and Computational Sciences}, year = 1998, month = {March}, address = {University of St.\ Andrews}, annote = {earlier version was Juna97}, url = {http://www-fp.dcs.st-and.ac.uk/publications/1998/junaidu-thesis.ps.gz}, } @INPROCEEDINGS{KM77, AUTHOR={G. Kahn and D.B. MacQueen}, TITLE= {{Coroutines and Networks of Parallel Processes}}, BOOKTITLE={IFIP~77}, PUBLISHER={North Holland}, PAGES={}, YEAR=1977 } @InProceedings{KaWe97, author = {Karlsen, E.W. and Westmeier, S.}, title = {{Using Concurrent Haskell to Develop Views over an Active Repository}}, crossref = "ifl97-selectedpapers", year = 1997, pages = {285--303}, url = {http://www.informatik.uni-bremen.de/\~{}ewk/papers/ifl97.ps.gz}, } @TechReport{Karl97b, author = {Karlsen, E.W.}, title = {{The UniForM User Interaction Manager}}, institution = {University of Bremen, Germany}, year = 1998, type = {Technical report}, OPTnumber = {FB 3}, month = {March}, url = {http://www.informatik.uni-bremen.de/\~{}ewk/papers/uim.ps.gz} } @InProceedings{Karl98, author = {Karlsen, E.W.}, title = {{The UniForM WorkBench --- a Higher Order Tool Integration Framework}}, booktitle = {AFM'98 --- International Workshop on Current Trends in Applied Formal Methods}, year = 1998, address = {Boppard, Germany, October 7--9}, url = {http://www.informatik.uni-bremen.de/\~{}ewk/papers/wb98.ps.gz}, } @inproceedings{KellerGabr1996a, author ="Keller, Gabriele and Simons, Martin", title ="{A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages}", editor ="Jaffar, J. and Yap, R. H. C.", series =LNCS, booktitle ="Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN'96", publisher ="Springer-Verlag", pages ="234-243", volume ="1179", year ="1996" } @Book{Kelly:89, author = "Paul H. J. Kelly", title = "{Functional Programming for Loosely-coupled Multiprocessors}", publisher = "Pitman, London and MIT Press, Boston", year = "1989", series = "Research Monographs in Parallel and Distributed Computing", keywords = "Para-Functional Languages, Process Mapping, Streams", } @inproceedings{Kess95, author = {Kesseler, M. H. G.}, title = {{Constructing Skeletons in Clean: the Bare Bones}}, booktitle = {HPFC'95 --- Conference on High Performance Functional Computing}, year = 1995, pages = {182--192}, address = {Denver, CO, April 10--12}, note = "\newline\code{ftp://sisal.llnl.gov/pub/hpfc/papers95/paper30.ps}", } @PhdThesis{Kess96, author = {Kesseler, M. H. G.}, title = {{The Implementation of Functional Languages on Parallel Machines with Distributed Memory}}, school = {Wiskunde en Informatica, Katholieke Universiteit van Nijmegen, The Netherlands}, year = 1996 } @inproceedings{Kesseler1994a, author = "Kesseler, M. H. G.", title = "{Uniqueness and Lazy Graph Copying - Copyright for the Unique}", booktitle = "Proceedings of the 6th International Workshop on the Implementation of Functional Languages", organization = "University of East Anglia", address = "Norwich, UK", year = "1994" } @article{Kingdon91, author = {H. Kingdon and D.R. Lester and G.L. Burn}, title = {{The {HDG}-Machine: A Highly Distributed Graph-Reducer for a Transputer Network}}, journal = {Computer Journal}, volume = {34}, number = {4}, pages = {290-301}, year = {1991}, keywords = {functional parallel} } @techreport{Koopman90, author = {P. W. M. Koopman and M. C. J. D. van Eekelen and E. G. J. M. H. N\"{o}cker and J. E. W. Smetsers and M. J. Plasmeijer}, title = {{The {ABC}-Machine: A Sequential Stack-based Abstract Machine for Graph Rewriting}}, institution = {Department of Computer Science, University of Nijmegen}, type = {Technical Report}, number = {90-22}, year = {1990} } @Book{KorthSilberschatz86, author = "H. F. Korth and A. Silberschatz", title = "{Database {S}ystem {C}oncepts}", publisher = "McGraw-Hill", year = "1986", } @book{KumarEA1994a, author = "Kumar, V. and Grama, A. and Gupta, A. and Karypis, G.", title = "{Introduction to Parallel Computing, Design and Analysis of Algorithms}", publisher = "The Benjamin/Cummings Publishing Company, Inc.", address = "California", year = "1994" } @inproceedings{LALR, author = {Boucher, D. and Feeley, M.}, title = {{Construction Parall{{\`{e}}le de l'Automate {LR(0)}: Une Application de {MultiLisp} {\`{a}} la Compilation}}}, booktitle = {6i{\`{e}}me Rencontres Francophones du Parall{\'{e}}lisme}, publisher = {D{\'{e}}partement d'Informatique et R.O., Universit{\'{e}} de Montr{\'{e}}al}, month = jun, year = 1994, } @Unpublished{LANL, author = {{Lawrence Livermore National Laboratories}}, title = {{Sisal Performance Data}}, note = "\newline\code{http://www.llnl.gov/sisal/PerformanceData.html}", month = {June}, year = 1998 } @InProceedings{LKK*98, author = {L{\"u}th, C. and Karlsen, E.W. and Kolyang and Westmeier, S. and Wolff, B.}, title = {{HOL-Z in the UniForM WorkBench --- a Case Study in Tool Integration for Z}}, booktitle = {ZUM'98 --- 11th International Conference of Z Users}, year = 1998, month = {September} } @InProceedings{LMT*97, author = {Loidl, H-W. and Morgan, R. and Trinder, P. W. and Poria, S. and Cooper, C. and {Peyton Jones}, S. L. and Garigliano, R.}, title = {{Parallelising a Large Functional Program; Or: Keeping LOLITA Busy}}, crossref = "ifl97-selectedpapers", year = 1997, pages = {199--214}, url = {http://www.dcs.gla.ac.uk/\~{}hwloidl/publications/Lolita.ps.gz}, } @Article{LTH*98, author = {Loidl, H-W. and Trinder, P. W. and Hammond, K. and Junaidu, S. B. and Morgan, R.G. and {Peyton Jones}, S. L.}, title = {{Engineering Parallel Symbolic Programs in GPH}}, journal = CPE, year = 1999, note = {To appear}, } @InProceedings{Langendoen92a, author = "K. Langendoen and P. H. Hartel", editor = "U. Kastens and P. Pfahler", title = "{{FCG}: A Code Generator for Lazy Functional Languages}", booktitle = "Compiler Construction; 4th International Conference CC'92 Proceedings", pages = "278--296", publisher = "Springer-Verlag", address = "Berlin, Germany", year = "1992", ISBN = "3-540-55984-1", } @article{Lester93, author = {D.R. Lester and G.L. Burn}, title = {{An Executable Specification of the {HDG}-Machine}}, journal = {International Journal of High Speed Computing}, volume = {5}, number = {3}, pages = {327-378}, year = {1993}, keywords = {functional parallel}, } @article{Linda, author = "Gelernter, D. and Carriero, N.", title = "{Coordination Languages and Their Significance}", journal = {Communications of the ACM}, volume = {32}, number = {2}, month = {February}, year = {1992}, pages = "97--107", } @inproceedings{LkJ88, author = "W. Luk and G. Jones", title = "{The Derivation of Regular Synchronous Circuits}", booktitle = "{Proceedings of the International Conference on Systolic Arrays, San Diego}", year = "1988", } @InProceedings{LoHa95, author = {Loidl, H-W. and Hammond, K.}, title = {{On the Granularity of Divide-and-Conquer Parallelism}}, year = {1995}, series = WIC, booktitle = {Glasgow Workshop on Functional Programming}, publisher = S-V, address = {Ullapool, Scotland, July 8--10}, url = {http://www.dcs.gla.ac.uk/\~{}hwloidl/publications/GlaFp95.ps.gz}, } @InProceedings{Loid97a, author = {Loidl, H-W.}, title = {{LinSolv: A Case Study in Strategic Parallelism}}, year = 1997, booktitle = {Glasgow Workshop on Functional Programming}, address = {Ullapool, Scotland, September 15--17}, OPTnote = {To appear}, OPTurl = {http://www.dcs.gla.ac.uk/\~{}hwloidl/publications/LinSolv.ps.gz}, } @Manual{Loidl96, author = "H-W. Loidl", title = "{{G}ran{S}im {U}ser's {G}uide}", year = "1996", note = "\newline\code{http://www.dcs.glasgow.ac.uk/fp/software/gransim/}", } @phdthesis{Loidl98, author = {H-W. Loidl}, title = {{Granularity in {L}arge-{S}cale {P}arallel {F}unctional {P}rograms}}, type = {PhD Thesis}, school = {University of Glasgow, Department of Computing Science}, address = {Glasgow, Scotland}, year = {1998} } @incollection{Loogen89, author = {R. Loogen and H. Kuchen and K. Indermark and W. Damm}, editor = {K. Odijk and M. Rem and J.-C. Syre}, title = {{Distributed Implementation of Programmed Graph Reduction}}, booktitle = {PARLE '89, Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, NL}, pages = {136-157}, publisher = {Springer-Verlag}, SERIES = LNCS, volume = {365}, address = {Berlin, DE}, year = {1989}, keywords = {functional serial combinators evaluation transformers}, } @article{MKH91, author = {Mohr, E. and Kranz, D. A. and Halstead, Jr., R. H.}, title = {{Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs}}, journal = TPDS, volume = {2}, number = {3}, pages = {264--280}, month = {July}, year = {1991}, keywords = {parallel programming languages, load balancing, program partitioning, process migration, parallel Lisp, task management}, url = {ftp://cag.lcs.mit.edu/pub/papers/futures.ps.Z}, } @InProceedings{MNW97, author = {Mattsson, H. and Nilsson, H. and Wikstr{\"o}m, C.}, title = {{Mnesia --- A Distributed Robust DBMS for Telecommunications Applications}}, booktitle = {International Switching Symposium}, year = 1997, address = {Toronto, Canada}, url = {http://www.ericsson.se:800/cslab/archive/97/1/report.ps.Z}, } @Book{MPI95, author = "M. Snir and S. Otto and S. Huss-Lederman and D. Walker and J. J. Dongarra", title = "{MPI}: The Complete Reference", publisher = "MIT Press, Cambridge, MA", year = "1995", keyword = "distributed programming", } @Article{MPW92, author = {Milner, R. and Parrow, J. and Walker, D.}, title = {{A Calculus of Mobile Processes I \& II}}, journal = {Information and Computation}, year = 1992, volume = 100, number = 1, pages = {1--77}, annote = {reference on pi-Calculus}, } @incollection{McBurney87, author = {D. McBurney and M.R. Sleep}, editor = {J.W. de Bakker and A.J. Nijman and P.C. Treleaven}, title = {{Transputer-Based Experiments with the Zapp Architecture}}, booktitle = {PARLE: Parallel Architectures and Languages Europe (Volume 1: Parallel Architectures)}, pages = {242-259}, publisher = {Springer-Verlag}, series = LNCS, volume = "258", address = {Berlin, DE}, year = {1987}, keywords = {functional occam bakker}, ISBN = {0-387-17943-7}, } @incollection{McBurney90, author = {D.L. McBurney and M.R. Sleep}, title = {{Experiments with the ZAPP Virtual Tree Architecture}}, booktitle = {Multiprocessor Computer Architecture}, pages = {83--99}, editor = {T.J. Fountain and M.J. Shute}, publisher = {North Holland}, address = {Amsterdam}, year = {1990}, ISBN = {0-444-88215-4} } @incollection{McBurney91, author = {D.L. McBurney and M.R. Sleep}, editor = {A. Yonezawa and T. Ito}, title = {{Graph Rewriting as a Computational Model}}, booktitle = {Concurrency: Theory, Language and Architecture}, publisher = {Springer-Verlag}, address = {New York, NY}, year = {1991}, keywords = {functional}, note = {Lecture Notes in Computer Science 491.} } @techreport{McGraw, author = "J. McGraw and others", title = "{SISAL: Streams and Iteration in a Single Assignment Language: Reference Manual Version 1.2}", institution = "Lawrence Livermore National Laboratory", number = "Memo M-146, Rev. 1", year = "1985"} @InProceedings{Mee96, author = {Meertens, L.}, title = {{Calculate Polytypically!}}, booktitle = {Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP'96, Proceedings}, editor = {Kuchen, H. and Swierstra, S.D.}, volume = {1140}, series = lncs, year = 1996, publisher = {Springer-Verlag} } @Article{MiSc95, title = {{Prototyping a Parallel Vision System in Standard ML}}, author = {Michaelson, G. and Scaife, N.}, pages = {345--382}, journal = JFP, month = jul, year = 1995, volume = 5, number = 3, url = {ftp://ftp.cee.hw.ac.uk/pub/funcprog/ms.jfp95.ps.Z}, } @inproceedings{MiTr93, author = {Mitrovic, S. and Trobina, M.}, title = {{Computer Vision Algorithms in Sisal}}, booktitle = {{Sisal'93 --- Sisal Users Conference}}, year = 1993, number = {CONF 9310206}, series = {LLNL Report}, month = oct, address = {San Diego, CA}, pages = {114--119} } @Article{Moggi89b, author = {Moggi, E.}, title = {{Notions of Computation and Monads}}, journal = ic, year = {1991}, OPTkey = {}, volume = {93(1)}, OPTnumber = {}, OPTmonth = {}, pages = {55--92}, OPTnote = {}, OPTannote = {} } @article{Monads, author = "P.L. Wadler", title = "{Monads}", year = "1991" } @TechReport{Mora86, author = {Morais, D.R.}, title = {{Id World: An Environment for the Development of Dataflow Programs Written in Id}}, institution = {Laboratory of Computer Science}, year = 1986, number = {MIT-LCS-TR-365}, address = {M.I.T.}, month = {May}, annote = {About simulator and environment} } @article{MouZhijing1988a, author ="Mou, Zhijing G. and Hudak, Paul", title ="{An Algebraic Model for Divide-and-Conquer and Its Parallelism}", pages ="257--278", langModel ="func", volume ="2", journal ="Journal of Supercomputing", year ="1988" } @article{Msr94, author = "J. Misra", title = "{Powerlist: A Structure for Parallel Recursion}", year = "1994", journal = "ACM TOPLAS", volume = "16", number = "6", } @article{MuH88, author = "{Z.G. Mou, and M. Hudak}", title = "{An Algebraic Model for Divide-and-Conquer Algorithms and its Parallelism}", year = "1988", journal = "Journal of Supercomputing", volume = "2", number = "3", } @phdthesis{Mycroft:strict, author = "A. Mycroft", title = "{Abstract Interpretation and Optimising Transformations for Applicative Programs}", school = "Departmentof Computer Science, University of Edinburgh", year = "1981"} @TechReport{NRR*98, author = {Nikhil, R. S. and Ramachandran, U. and Rehg, J. M. and Halstead, Jr., R. H. and Joerg, C. F. and Kontothanassis, L.}, title = {{Stampede --- A Programming System for Emerging Scalable Interactive Multimedia Applications}}, institution = {Cambridge Research Laboratory}, year = {1998}, OPTkey = {}, type = {Technical Report}, number = {CRL 98/1}, OPTaddress = {}, month = {May}, OPTnote = {}, OPTannote = {}, documentURL = {ftp://crl.dec.com/pub/DEC/CRL/tech-reports/98.1.ps.Z}, abstractURL = {http://www.crl.research.digital.com/publications/techreports/abstracts/9\_1.html}, } @inproceedings{Ncker91, author = {E. G. J. M. H. N\"{o}cker and M. J. Plasmeijer and J. E. W. Smetsers}, editor = {H. Glaser and P.H. Hartel}, title = {{The Parallel {ABC} Machine}}, booktitle = {Proceedings of the Workshop on the Parallel Implementation of Functional Languages}, pages = {351-382}, publisher = {Department of Electronics and Computer Science, University of Southampton}, address = {Southampton, UK}, year = {1991}, keywords = {term graph rewriting}, } @incollection{Ncker91a, author = {E. G. J. M. H. N\"{o}cker and J. E. W. Smetsers and M. C. J. D. van Eekelen and M. J. Plasmeijer}, editor = {E.H.L. Aarts and J. van Leeuwen}, title = {{Concurrent Clean}}, booktitle = {Parallel Architectures and Languages Europe PARLE91}, pages = {202-219}, publisher = {Springer-Verlag}, series = LNCS, volume = {505}, address = {New York, NY}, year = {1991}, keywords = {functional}, } @inproceedings{Nibhanupud1995a, author ="Nibhanupudi, M. and Norton, C. and Szymanski, B.", title ="{Plasma Simulation on Networks of Workstations Using the Bulk Synchronous Parallel Model}", address ="Athens, GA", booktitle ="Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications", month ="November", year ="1995", scope ="bsp", abstractURL ="http://www.cs.rpi.edu/~szymansk/pdpta-abs.html", documentURL ="ftp://ftp.cs.rpi.edu/pub/szymansk/bsp.plasma.ps" } @InProceedings{Nikhil92, author = {R. S. Nikhil and G. M. Papadopoulos and Arvind}, title = {{*T: A Multithreaded Massively Parallel Architecture}}, booktitle = {19th. ACM Annual Symposium on Computer Architecture}, year = {1992}, pages = {156--167}, } @techreport{Nocker86, author = {E. G. J. M. H. N\"{o}cker and M. J. Plasmeijer}, title = {{Combinator Reduction on a Parallel G-Machine}}, institution = {Department of Computer Science, University of Nijmegen}, type = {Technical Report}, year = {1986}, } @Article{Nucleic, author = {Feeley, M. and Turcotte, M. and LaPalme, G.}, title = {{Using MultiLisp for Solving Constraint Satisfaction Problems: an Application to Nucleic Acid 3D Structure Determination}}, journal = LSC, year = 1994, volume = 7, pages = {231--247} } @book{NumRec, author = "W.H. Press and others.", title = "{Numerical Recipes, the Art of Scientific Programming}", publisher = "Cambridge University Press", year = "1986"} @InProceedings{ODonnell88-FMPC-mpp, author = {John O'Donnell}, title = {{MPP Implementation of Abstract Data Parallel Architectures for Declarative Programming Languages}}, booktitle = {Frontiers '88: Proceedings of the Secons Symposium on the Frontiers of Massively Parallel Computation}, pages = {629--636}, year = {1988}, publisher = {IEEE Computer Society}, OPTcrossref = {}, OPTkey = {}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTnote = {}, OPTannote = {} } @InProceedings{ODonnell88-GWFP-datapar, author = {John O'Donnell}, title = {{Functional Microprogramming for a Data Parallel Architecture}}, booktitle = {Glasgow Workshop on Functional Programming}, pages = {124--145}, year = {1988}, organization = {Computing Science Department}, publisher = {University of Glasgow}, volume = {89/R4}, OPTcrossref = {}, OPTkey = {}, OPTeditor = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @InProceedings{ODonnellRuenger94-GWFP-heatequ, author = {John O'Donnell and Gudula R{\"u}nger}, title = {{A Case Study in Parallel Program Derivation: the Heat Equation Algorithm}}, booktitle = {Functional Programming, Glasgow 1994}, pages = {167--183}, year = {1994}, series = {Workshops in Computing}, publisher = {Springer-Verlag}, OPTcrossref = {}, OPTkey = {}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTnote = {}, OPTannote = {} } @Book{OTen97, editor = {P.W. O'Hearn and R.D. Tennent}, title = {{{A}lgol-Like Languages, Vols I and II}}, publisher = {Birkhauser}, year = {1997}, OPTkey = {}, OPTeditor = {}, OPTnumber = {}, series = {Progress in Theoretical Computer Science}, OPTaddress = {}, OPTedition = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @InProceedings{PGF96, author = {{Peyton Jones}, S. L. and Gordon, A. and Finne, S.}, title = {{Concurrent Haskell}}, booktitle = {{POPL'96 --- Symposium on Principles of Programming Languages}}, month = {January}, year = {1996}, address = {St Petersburg, Florida}, publisher = {ACM}, OPTeditor = {Steele, Jr., G. L.}, pages = {295--308}, annote = {std ref for concurrent Haskell}, url = {{http://www.dcs.gla.ac.uk/fp/authors/Simon\_Peyton\_Jones/concurrent-haskell.ps.gz}}, } @TechReport{PJ97, author = {Palsberg, J. and Jay, C. B.}, title = {{The Essence of the Visitor Pattern}}, institution = uts, year = {1997}, number = {05}, note = {COMPSAC'98, to appear} } @book{PVM, author = "Geist, G. A. and Beguelin, A. and Dongarra, J. J. and Jiang, W. and Menchek, R. and Sunderam, V.", title = "{PVM}: Parallel Virtual Machine. A Users' Guide and Tutorial for Networked Parallel Computing", publisher = "MIT press", year = "1994" } @techreport{Papadopoulos88, author = {G.M. Papadopoulos}, title = {{Implementation of a General Purpose Dataflow Multiprocessor}}, institution = {Laboratory for Computer Science, Massachusetts Institute of Technology}, type = {Technical Report}, number = {432}, address = {Cambridge, MA}, year = {1988}, keywords = {functional parallel}, } @incollection{Parrott92, author = {D. Parrott and C. Clack}, title = {{A Common Graphical Form}}, booktitle = {Proceedings of the Phoenix Workshop on Declarative Programming}, editor = {J. Darlington and R. Dietrich}, number = {RN/91/27}, pages = {224--238}, publisher = {Springer-Verlag}, series = {Workshops in Computing}, year = {1992}, keywords = {functional gcode CGF} } @InProceedings{PeSu97, author = {Pepper, P. and S{\"u}dholt, M.}, title = {{Deriving Parallel Numerical Algorithms Using Data Distribution Algebras: Wang's Algorithm}}, booktitle = {{HICSS'97 --- 30th Hawaii International Conference on System Sciences}}, year = 1997, address = {Hawaii, USA, January 7--10}, publisher = {IEEE}, keywords = {functional programming, parallel programming, skeleton, data distribution algebra, partition algorithm}, url = {http://uebb.cs.tu-berlin.de/papers/published/HICSS97.dvi.gz}, } @Manual{PetersonHammond97, editor = "J. C. Peterson and J. Hammond", author = "J. C. Peterson and J. Hammond and L. Augustsson and B. Boutel and F. W. Burton and J. Fasel and A. D. Gordon and R. J. M. Hughes and P. Hudak and T. Johnsson and M. P. Jones and E. Meijer and {Peyton Jones}, S. L. and A. Reid and P. L. Wadler", title = "{Report on the {N}on-{S}trict {F}untional {L}anguage, {H}askell, {V}ersion 1.4}", publisher = "{\tt www.haskell.org/report}", year = "1997", } @InProceedings{Peyt96, author = {{Peyton Jones}, S. L.}, title = {{Compiling Haskell by Program Transformation: A Report from the Trenches}}, booktitle = {{ESOP'96 --- European Symposium on Programming}}, publisher = S-V, OPTeditor = {Nielson, H.R.}, volume = {1058}, series = LNCS, year = {1996}, address = {Link\"oping, Sweden, April 22--24}, pages = {18--44}, OPTnote = {ISBN 3-540-61055-3}, annote = {discusses optimisation by transformation approach in GHC}, url = {{http://www.dcs.gla.ac.uk/fp/authors/Simon\_Peyton\_Jones/comp-by-trans.ps.gz}}, } @inproceedings{PeytonJones85c, title = {{{GRIP}: A Parallel Graph Reduction Machine}}, author = {Simon L. {Peyton Jones} and Chris Clack and Neil Harris}, booktitle = {Proceedings Workshop on Implementation of Functional Languages}, pages = {59--91}, institution = {Chalmers University of Technology \& University of Goteborg}, year = {1985}, note = {Technical Report 17} } @incollection{PeytonJones87, author = {S. L. {Peyton Jones} and C. Clack and J. Salkild and M. Hardie}, editor = {G. Kahn}, title = {{{GRIP} - {{A} High-Performance Architecture for Parallel Graph Reduction}}}, booktitle = {Functional Programming Languages and Computer Architecture}, pages = {98-112}, publisher = {Springer-Verlag}, address = {Berlin, DE}, year = {1987}, keywords = {peyton jones combinator supercombinator}, ISBN = {3-540-18317-5}, } @book{PeytonJones87c, author = {S. L. {Peyton Jones}}, title = {{The Implementation of Functional Programming Languages}}, publisher = {Prentice-Hall}, address = {London, UK}, year = {1987}, keywords = {functional jones parallel graph reduction}, ISBN = {0-13-453325-9}, } @techreport{PeytonJones89, author = {S. L. {Peyton Jones} and M.S. Joy}, title = {{{FLIC} - a Functional Language Intermediate Code}}, institution = {Department of Computer Science, University of Warwick}, type = {Research Report}, number = {148}, address = {Coventry, UK}, year = {1989}, keywords = {functional jones}, } @incollection{PeytonJones89a, author = {S. L. {Peyton Jones} and C. Clack and J. Salkild}, editor = {K. Odijk and M. Rem and J.-C. Syre}, title = {{High-Performance Parallel Graph Reduction}}, booktitle = {PARLE '89: Parallel Languages and Architectures Europe, volume 1}, pages = {193-206}, publisher = {Springer-Verlag}, address = {New York, NY}, year = {1989}, keywords = {functional parallel}, } @article{PeytonJones89b, author = {S. L. {Peyton Jones}}, title = {{Parallel Implementations of Functional Programming Languages}}, journal = {The Computer Journal}, volume = {32}, number = {2}, pages = {175-186}, year = {1989}, keywords = {peyton jones grip graph reduction}, } @inproceedings{PeytonJones89c, author = {S. L. {Peyton Jones} and J. Salkild}, title = {{The Spineless Tagless {G}-Machine}}, booktitle = {Proceedings of the Conference on Functional Programming Languages and Computer Architecture '89, Imperial College, London}, pages = {184-201}, publisher = {ACM}, address = {New York, NY}, year = {1989}, keywords = {peyton jones gmachine machine}, } @article{PeytonJones92b, author = {S. L. {Peyton Jones}}, title = {{Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless {G}-machine}}, journal = {Journal of Functional Programming}, volume = {2}, number = {2}, year = {1992}, keywords = {parallel peyton jones}, } @inproceedings{Pil1997a, author = "Pil, M.R.C.", title = "{First Class File {I/O}}", crossref = "ifl96-selectedpapers", year = "1996", pages = "233--246" } @inproceedings{Pil1999a, author = "M. Pil", title = "{Dynamic Types and Type Dependent Functions}", crossref = "ifl98-selectedpapers", year = "1998", pages = "171--188" } @INCOLLECTION{PittsAM:operfl, AUTHOR={A.~M.~Pitts and I.~D.~B.~Stark}, TITLE={{Operational Reasoning for Functions with Local State}}, BOOKTITLE={Higher Order Operational Techniques in Semantics}, EDITOR={A.~D.~Gordon and A.~M.~Pitts}, pages = "227-273", YEAR=1998, PUBLISHER={Cambridge University Press}, SERIES={Publications of the Newton Institute} } @book{PlasmeijerEekelen1993a, author = "Plasmeijer, M. J. and van Eekelen, M. C. J. D.", title = "{Functional Programming and Parallel Graph Rewriting}", publisher = "Addison-Wesley Publishers Ltd.", year = "1993", } @InProceedings{RaRu96, author = {Rauber, T. and R{\"u}nger, G.}, title = {{The Compiler TwoL for the Design of Parallel Implementations}}, booktitle = {{PACT'96 --- International Conference on Parallel Architecture and Compilations Techniques}}, pages = {292--301}, year = 1996, address = {Boston, USA}, month = {October}, publisher = {IEEE Computer Society Press}, abstractURL = {http://www.informatik.uni-halle.de/\~{}rauber/webpage/twol\_abstract.html}, documentURL = {http://www.informatik.uni-halle.de/\~{}rauber/webpage/13\_twol.ps}, } @Article{RauberRuenger96-MM-derive, author = {Thomas Rauber and Gudula R{\"u}nger}, title = {{Deriving Structured Parallel Implementations for Numerical Methods}}, journal = {Microprocessing and Microprogramming}, year = {1996}, volume = {41}, pages = {589-608}, OPTkey = {}, OPTnumber = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @book{Reade:func, author = "C. Reade", title = "{Elements of Functional Programming}", publisher = "Addison-Wesley", year = "1989"} @phdthesis{Reekie-Thesis, author = {Reekie, H.J.}, title = {{Realtime Signal Processing: Dataflow, Visual and Functional Programming}}, school = {School of Electrical Engineering}, address = {University of Technology at Sydney, Australia}, year = 1995, } @incollection{Reeve90, author = {M. Reeve and S. Wright}, title = {{The Experimental {ALICE} Machine}}, booktitle = {Multiprocessor Computer Architecture}, pages = {39--20}, editor = {T.J. Fountain and M.J. Shute}, publisher = {North Holland}, address = {Amsterdam}, year = {1990}, ISBN = {0-444-88215-4} } @Article{Reif.87.A, author = "J. H. Reif and L. G. Valiant", title = "{A Logarithmic Time Sort for Linear Size Networks}", journal = "Journal of the {ACM}", year = 1987, volume = "34", number = "1", pages = "60--76" } @InProceedings{Repp91, author = {Reppy, J. H.}, title = {{CML: A Higher-Order Concurrent Language}}, booktitle = {{PLDI'91 --- Programming Languages Design and Implementation}}, year = 1991, month = {June}, pages = {293--305}, publisher = {ACM Press} } @InProceedings{Repp92a, author = {Reppy, J. H.}, title = {{Concurrent ML: Design, Application and Semantics}}, booktitle = {Programming, Concurrency, Simulation and Automated Reasoning}, year = 1992, volume = 693, series = LNCS, publisher = S-V, url = {ftp://ftp.research.att.com/dist/ml/papers/92-lncs-reppy.ps}, } @InProceedings{Rey81, author = {Reynolds, J.C.}, title = {{The Essence of {ALGOL}}}, booktitle = {Algorithmic Languages}, editor = {de Bakker, J.W. and van Vliet, J.C. }, year = {1981}, organization = {IFIP}, publisher = {North-Holland Publishing Company}, pages = {345--372}, } @PhdThesis{Roe91, author = "P. Roe", title = "{P}arallel {P}rogramming Using {F}unctional {L}anguages", school = "University of Glasgow, UK", year = "1991", } @inproceedings{Rojemo92, author = {N. Rojemo}, editor = {Y. Bekkers and J. Cohen}, title = {{A Concurrent Generational Garbage Collector for a Parallel Graph Reducer}}, booktitle = {Memory Management; International Workshop IWMM 92. Proceedings}, pages = {440-453}, publisher = {Springer-Verlag}, address = {Berlin, Germany}, year = {1992}, keywords = {functional}, ISBN = {3-540-55940-X}, } @incollection{Ruggiero87, author = {C.A. Ruggiero and J. Sargeant}, editor = {G. Kahn}, title = {{Control of Parallelism in the Manchester Dataflow Machine}}, booktitle = {Functional Programming Languages and Computer Architecture}, pages = {1-16}, publisher = {Springer-Verlag}, volume = "274", series = {Lecture Notes in Computer Science}, address = {Berlin, DE}, year = {1987}, keywords = {throttle survey parallel}, ISBN = {3-540-18317-5}, } @article{SAC*98, author = {Shaw, A. and Arvind and Cho, K-C. and Hill, C. and Johnson, R.P. and Marshall, J.}, title = {{A Comparison of Implicitly Parallel Multithreaded and Data Parallel Implementations of an Ocean Model}}, journal = JPDC, volume = 48, number = 1, month = {January}, year = 1998, pages = {1--51}, also = {CSG Memo 364}, documentURL = {ftp://csg-ftp.lcs.mit.edu/pub/papers/csgmemo/memo-364.ps.gz}, abstractURL = {http://www.csg.lcs.mit.edu:8001/pubs/cgi-bin/abstract.pl?/home/www/ftp/pub/papers/csgmemo/memo-364.abs}, } @InProceedings{SGD99, author = {S{\'e}rot, J. and Ginhac, D. and D{\'e}rutin, J.P.}, title = {{SKiPPER: A Skeleton-Based Parallel Programming Environment for Real-Time Image Processing Applications}}, booktitle = {{PaCT'99 --- International Parallel Computing Technologies Conference}}, year = 1999, address = {St-Petersburg, September 6--10}, keywords = {Parallelism, skeleton, Caml, image processing, fast prototyping, vehicle tracking}, url = {http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/papers/articles/pact99.ps.gz}, } @InProceedings{SPOP97, author = {S{\"u}dholt, M. and Piepenbrock, C. and Obermayer, K. and Pepper, P.}, title = {{Solving Large Systems of Differential Equations Using Covers and Skeletons}}, booktitle = {50th IFIP WG 2.1 Working Conference on Algorithmic Languages and Calculi}, address = {Strasbourg, France}, year = {1997}, publisher = {Chapman \& Hall}, month = feb, keywords = {Functional programming, parallel programming, numerical algorithm, program transformation, skeleton, data distribution algebra}, url = {http://uebb.cs.tu-berlin.de/papers/published/WG21-0297.ps.gz}, } @article{Sameh71, author = "A. H. Sameh", title = "{On Jacobi-Like Algorithms for a Parallel Computer}", journal = "Mathematical Comput.", volume = "25", year = "1971", pages = "579-590"} @PhDThesis{Sands:PhDthesis, author = "D. Sands", title = "{Calculi for Time Analysis of Functional Programs}", school = "Imperial College", address = "London", year = "1990", OPTaddress = "", month = "September", OPTnote = "" } @Article{SansomPeytonJones97, author = "P. Sansom and {Peyton Jones}, S", title = "{Formally Based Profiling for Higher-Order Functional Languages}", journal = "{ACM} Transactions on Programming Langauges and Systems", volume = "19", number = "1", year = "1997", } @inproceedings{Sarkar86, author = {V. Sarkar and J. Hennessy}, title = {{Partitioning Parallel Programs for Macro-Dataflow}}, booktitle = {{ACM Symposium on Lisp and Functional Programming}}, year = {1986}, pages = {202--211}, } @PhdThesis{Scho96, author = {Scholz, S-B.}, title = {{Single Assignment C -- Entwurf und Implementierung einer funktionalen C-Variante mit spezieller Unterst{\"u}tzung shape-invarianter Array-Operationen (in German)}}, school = {Institut f\"ur Informatik und praktische Mathematik}, month = {October}, year = 1996, address = {Universitat Kiel}, url = {http://www.informatik.uni-kiel.de/\~{}sacbase/papers/sac-design-sbs-phd-96.ps.gz}, } @InProceedings{Scho97, author = {Scholz, S-B.}, title = {{With-Loop-Folding in SAC --- Condensing Consecutive Array Operations}}, crossref = "ifl97-selectedpapers", year = 1997, pages = {225--242}, url = {http://www.informatik.uni-kiel.de/\~{}sacbase/papers/wlf-st-andrews-97.dvi.gz}, } @InProceedings{Scho98, author = {Scholz, S-B.}, title = {{A Case Study: Effects of WITH-Loop-Folding on the NAS Benchmark MG in SAC}}, crossref = "ifl98-selectedpapers", year = 1998, pages = {220--231}, keywords = {Scientific Applications, Multigrid Relaxation, Compiler Optimization, Performance Comparison}, url = {http://www.informatik.uni-kiel.de/\~{}sacbase/papers/wlf-exp-london-98.ps.gz}, } @article{Schorr67, author = {H. Schorr and W.M. Waite}, title = {{An Efficient Machine-Independent Procedure for Garbage Collection in Various List Structures}}, journal = {Communications of the ACM}, volume = {10}, number = {8}, pages = {501-506}, year = {1967}, keywords = {functional}, } @InProceedings{Schreiner, author = {Schreiner, W.}, title = {{Application of a Para-Functional Language to Problems in Computer Algebra}}, booktitle = {HPFC'95 --- Conference on High Performance Functional Computing}, year = 1995, address = {Denver, CO, April 10--12}, pages = {10--24}, url = {ftp://sisal.llnl.gov/pub/hpfc/papers95/paper1.ps}, } @inproceedings{Serrarens1997a, author = "Serrarens, P. R.", title = "{Implementing the Conjugate Gradient Algorithm in a Functional Language}", crossref = "ifl96-selectedpapers", year = "1996", pages = "125--140" } @inproceedings{Serrarens1997b, author = "Serrarens, P. R.", title = "{Distributed Arrays in the Functional Language {{Concurrent Clean}}}", editors = "Lengauer, Christian and Griebl, Martin and Gorlach, Sergei", booktitle = "Proceedings of the 3rd International Euro-Par Conference", series = LNCS, month = "August", year = "1997", volume = "1300", address = "Passau, Germany", pages = "1201--1208" } @inproceedings{Serrarens1998a, author = "Serrarens, P. R.", title = "{Using Multicasting for Optimising Data-Parallelism}", crossref = "ifl97-selectedpapers", year = "1997", pages = "271--285" } @inproceedings{SerrarensPlasmeijer1999a, author = "Serrarens, P. R. and Plasmeijer, M. J.", title = "{Explicit Message Passing for {{Concurrent Clean}}}", crossref = "ifl98-selectedpapers", year = "1998", pages = "229--245" } @book{Simon, author = "H.A. Simon", title = "{The Sciences of the Artificial}", publisher = "MIT Press", year = "1969"} @Incollection{Sisal, author = {Skedzielewski, S.}, title = {{Sisal}}, booktitle = {Parallel Functional Languages and Compilers}, publisher = {{ACM Press, New York}}, series = {Frontier Series}, year = 1991, OPTeditor = {Szymanski, B.K.}, pages = {105--158}, keywords = "Dataflow, Sisal", } @article{Skl91, author = "D. B. Skillicorn", title = "{Models for Practical Parallel Computation}", year = "1991", journal = "International Journal of Parallel Programming", volume = "20", number = "2", pages = "133--158" } @InProceedings{Sodan, author = {Sodan, A.C. and Bock, H.}, title = {{Extracting Characteristics from Functional Programs for Mapping to Massively Parallel Machines}}, year = {1995}, booktitle = {HPFC'95 --- High Performance Functional Computing}, pages = {134--148}, address = {Denver, CO, April 10--12}, keywords = {parallel Lisp, profiling, large-scale programming}, url = {ftp://sisal.llnl.gov/pub/hpfc/papers95/paper14.ps}, } @Book{Spivey89, author = "M. Spivey", title = "{The {Z} {N}otation: A Reference Manual}", publisher = "Prentice-Hall", year = "1989", } @techreport{Stoye83, author = {W.R. Stoye}, title = {{The {SKIM} {II} Microprogrammer's Guide}}, institution = {Cambridge University Computer Laboratory}, type = {Technical Note}, year = {1983}, keywords = {functional combinators} } @InProceedings{SuBo94, author = {Sur, S. and {B\"{o}hm}, A. P. W.}, title = {{Functional, I-Structure, and M-Structure Implementations of NAS Benchmark FT}}, booktitle = {{PACT'94 --- International Conference on Parallel Architecture and Compilation Techniques}}, year = 1994, address = {Montreal, Canada}, month = aug, pages = {47--56}, annote = {Implementation of FFT based PDE solver in Id; studies features of fctal languages for parallel execution; I-and M-structures are used to reduce space consumption}, keywords = {Applicative Programming, Language Constructs and Features, Data Storage Representations, Id, I-structures, M-structures}, url = {http://www.cs.colostate.edu/\~{}dataflow/papers/pact94b.ps.gz}, } @InProceedings{SuBo94a, author = {Sur, S. and {B\"{o}hm}, A. P. W.}, title = {{Analysis of Non-Strict Functional Implementations of the Dongarra-Sorensen Eigensolver}}, booktitle = {{ICS'94 --- International Conference on Supercomputing}}, year = 1994, address = {Manchester, U.K.}, month = {June}, annote = {shows that modularity via Non-Strict languages makes the expression of producer-consumer parallelism easy}, url = {http://www.cs.colostate.edu/\~{}dataflow/papers/ics94b.ps.gz}, } @PhdThesis{Sued97, author = {S{\"u}dholt, M.}, title = {{The Transformational Derivation of Parallel Programs Using Data-Distribution Algebras and Skeletons}}, school = {Fachbereich 13 Informatik}, year = 1997, address = {Technische Universitat Berlin}, month = {August}, url = {http://www.emn.fr/sudholt/phd.html}, } @INPROCEEDINGS{TCS92, AUTHOR = {Traub, K.R. and Culler, D.E. and Schauser, K.E.}, TITLE = {{Global Analysis for Partitioning Non-Strict Programs into Sequential Threads}}, BOOKTITLE = {LFP'92 --- Conference on LISP and Functional Programming}, YEAR = {1992}, ADDRESS = {San Francisco, CA}, MONTH = jun } @Article{THLP98, author = {Trinder, P. W. and Hammond, K. and Loidl, H-W. and {Peyton Jones}, S. L.}, title = {{Algorithm $+$ Strategy $=$ Parallelism}}, journal = JFP, volume = {8}, number = {1}, pages = {23--60}, year = {1998}, month = {January}, url = {http://www.dcs.glasgow.ac.uk/\~{}hwloidl/publications/strategies.ps.gz}, } @TechReport{TLP*93, author = {Thomsen, B. and Leth, L. and Prasad, S. and Kuo, T-M. and Kramer, A. and Knabe, F. and Giacalone, A.}, title = {{Facile Antigua Release Programming Guide}}, institution = {ECRC Munich}, year = 1993, type = {Technical Report}, number = {ECRC-93-20}, url = {http://www.ecrc.de/research/projects/facile/report/ECRC-93-20.ps.gz}, } @TechReport{Talp94, author = {Talpin, J-P.}, title = {{The Calumet Experiment in Facile --- A Model for Group Communication and Interaction Control in Cooperative Applications}}, institution = {ECRC Munich}, year = 1994, type = {Technical report}, number = {ECRC-94-26}, abstractURL = {ftp://ftp.ecrc.de/pub/ECRC\_tech\_reports/abstracts/ECRC-94-26.abs} } @PhdThesis{Tayl97, author = {Taylor, F.S.}, title = {{Parallel Functional Programming by Partitioning}}, school = {Department of Computing}, year = 1997, address = {Imperial College of Science, Technology and Medicine, University of London}, month = {January}, url = {http://www.lieder.demon.co.uk/thesis/thesis.ps.gz}, } @inproceedings{Trinder96, author = {P. W. Trinder and K. Hammond and S. L. {Peyton Jones} and A. Partridge}, title = {{GUM: A Portable Parallel Implementation of Haskell}}, booktitle = {Proceedings SIGPLAN Symposium on Programming Language Design and Implementation (PLDI'96)}, year = {1996} } @inproceedings{Turner1985a, author = "Turner, D. A.", title = "{Miranda: A Non-Strict Functional Language with Polymorpic Types}", booktitle = "Functional Programming Languages and Computer Architecture", series = LNCS, editor = "Jouannaud, J.P.", volume = "201", address = "Nancy, France", publisher = "Springer-Verlag", year = "1985", pages = "1--16" } @article{Turner79, author = {D. A. Turner}, title = {{Another Algorithm for Bracket Abstraction}}, journal = {Journal of Symbolic Logic}, volume = {44}, number = {3}, pages = {67-70}, year = {1979}, keywords = {functional languages combinators lambda calculus} } @article{Turner79a, author = {D. A. Turner}, title = {{A New Implementation Technique for Applicative Languages}}, journal = {Software - Practice and Experience}, volume = {9}, pages = {31-49}, year = {1979}, keywords = {functional} } @inproceedings{TypeClasses, author = "P.L. Wadler and S. Blott", title = "{Type Class Overloading}", booktitle = "Proceedings of {POPL~'89} -- ACM Symposium on Principles of Programming Languages", year = "1989", pages = "??--??" } @inproceedings{Vrancken90, author = {J.L.M. Vrancken}, title = {{Reflections on Parallel Functional Languages}}, booktitle = {Proceedings 2nd International Workshop on Implementation of Functional Languages on Parallel Architectures}, year = {1990} } @article{Vree88, author = {W.G. Vree}, title = {{Experiments with Coarse-Grain Parallel Graph Reduction}}, journal = {Future Generation Computer Systems}, volume = {4}, pages = {299-306}, year = {1988}, keywords = {functional} } @InProceedings{WFK97, author = {Wu, Q. and Field, A. J. and Kelly, P. H. J.}, title = {{M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applications}}, booktitle = {{EuroPar'97 --- European Conference on Parallel Processing}}, address = {Passau, Germany}, editor = {C. Lengauer and M. Griebl and S. Gorlatch}, volume = {1300}, series = {Lecture Notes in Computer Science}, year = {1997}, publisher = {Springer-Verlag}, month = {August}, pages = {638--49} } @Misc{WWW-BSP, key = {BSP}, author = {Oxford BSP Group}, title = {{Oxford BSP research group archive (Numerical algorithms)}}, month = {February}, year = 1999, howpublished = {Web page}, url = {http://hypatia.dcs.qmw.ac.uk/SEL-HPC/Articles/GeneratedHtml/oxbsp.numanal.html}, } @Misc{WWW-NESL, key = {NESL}, author = {Blelloch, G. E. and Hardwick,J.}, title = {{A Library of Parallel Algorithms}}, howpublished = {Web Page}, month = {February}, year = 1999, note = "\newline\code{http://www.cs.cmu.edu/\~{}scandal/nesl/algorithms.html}", annote = {main NESL page with a list of algorithms} } @article{WadlerMonads, author = "Wadler, P.L.", title = "{??}", year = "??", } @phdthesis{Wadsworth:hnf, author = "C. P. Wadsworth", title = "{Semantics and Pragmatics of the Lambda-Calculus}", school = "University of Oxford", year = "1971"} @article{Wadsworth:whnf, author = "C. P. Wadsworth", title = "{The Relation Between Computational and Denotational Proerties for {S}cott's ${D\_\infty}$ Models of the Lambda-Calculus}", journal = "SIAM Journal of Computing", volume = "5", page = "488-521", year = "1976"} @article{Watson87, author = {I. Watson and J. Sargeant and P. Watson and V. Woods}, title = {{Flagship Computational Models and Machine Architecture}}, journal = {ICL Technical Journal}, pages = {555-574}, year = {1987}, keywords = {functional parallel} } @incollection{Watson87c, author = {P. Watson and I. Watson}, editor = {G. Kahn}, title = {{Evaluating Functional Programs on the {FLAGSHIP} Machine}}, booktitle = {Functional Programming Languages and Computer Architecture}, pages = {80-97}, publisher = {Springer-Verlag}, address = {Berlin, DE}, year = {1987}, keywords = {super combinator parallel graph reduction}, ISBN = {3-540-18317-5}, } @incollection{WedLe95, author={C. Wedler and C. Lengauer}, title={{Notes on the Classification of Parallel Implementations of Linearly Recursive Programs}}, booktitle={Proceedings of GI/ITG FG PARS'95}, series={PARS Mitteilungen Nr.14}, publisher={Gesellschaft f{\"u}r Informatik e.V.}, year=1995, pages={\mbox{140--147}} } @book{Wegner:programming, author = "P. Wegner", title = "{Programming Languages, Information Structures and Machine Organization}", publisher = "McGraw-Hill", year = "1971"} @Book{Whittington88, author = "R. P. Whittington", title = "{Database {S}ystems {E}ngineeering}", publisher = "Clarendon Press, Oxford", year = "1998", } @article{YSHK85, author = {T. Yuba and T. Shimada and K. Hiraki and H. Kashiwagi}, title = {{SIGMA-1: A Dataflow Computer for Scientific Computations}}, journal = {Computer Physics Communications}, pages = {141--148}, year = {1985}, } @PhdThesis{Yang98, author = {Yang, J.}, title = {{Co-ordination Based Structured Parallel Programming}}, school = {Department of Computing}, address = {Imperial College of Science, Technology and Medicine, University of London}, year = 1998, month = {September}, url = {http://hpc.doc.ic.ac.uk/environments/coordination/papers/jy.ps}, } @inproceedings{YeAg93, author = {D. Yeung and A. Agarwal}, title = {{Experience with Fine-Grain Synchronization in MIMD Machines for Preconditioned Conjugate Gradient}}, booktitle = {PPoPP'93 --- Symposium on Principles and Practice of Parallel Programming}, month = {May}, year = 1993, pages = {187--197}, } @Misc{ZPL97, OPTkey = {}, author = {{University of Washington}}, title = {{ZPL}}, year = {1997}, note = "\newline\code{http://\-www.cs.washington.edu/\-research/\-zpl/\-index.html}", OPTmonth = {}, OPTnote = {}, OPTannote = {} } @incollection{Zhang95, author = {X. Zhang and M.F. Webster and J.A. Sharp and P.W. Grant}, title = {{Parallel Computational Fluid Dynamics}}, crossref = "FLARE", year = {1995}, } @incollection{abr-lazy, author = "Samson Abramsky", title = "{The Lazy Lambda Calculus}", booktitle = "Research Topics in Functional Programming", editor = "David A. Turner", publisher = "Addison Wesley", pages = "65-116", year = 1990 } @article{actionCalc, author = "Robin Milner", year = "1996", journal = "Acta {I}nformatica", title = "{Calculi for {I}nteraction}", pages = "707-737", volume = "33" } @ARTICLE{amam84a, AUTHOR = {M. Amamiya and R. Hasegawa}, TITLE = {{{D}ataflow {C}omputing and {E}ager and {L}azy {E}valuation}}, JOURNAL = {New Generation Computing}, YEAR = 1984, VOLUME = {2}, NUMBER = {}, PAGES = {105--129}, NOTE = {}, KEYWORDS = {}, } @ARTICLE{ amam88, AUTHOR = {M. Amamiya}, TITLE = {{{D}ata {F}low {C}omputing and {P}arallel {R}eduction {M}achine}}, JOURNAL = {Future Generation Computer Systems}, YEAR = 1988, VOLUME = {4}, NUMBER = {}, PAGES = {53--67}, NOTE = {}, KEYWORDS = {}, } @ARTICLE{ arvi85a, AUTHOR = {Arvind and D.E. Culler}, TITLE = {{{D}ataflow {A}rchitectures}}, JOURNAL = {Annual Review of Computer Science}, YEAR = 1986, VOLUME = {1}, NUMBER = {}, PAGES = {225--254}, NOTE = {}, KEYWORDS = {}, } @article{backus, author="John Backus", title="{Can Programming Be Liberated From the {V}on {N}eumann Style?}", journal="Commuinactions of the ACM", year=1978, volume="21", pages = "287-307", number="8"} @ARTICLE{ bane93, AUTHOR = {P. Bailey and M. Newey}, TITLE = {{{I}mplementing {ML} on {D}istributed {M}emory {M}ulticomputers}}, JOURNAL = {ACM SIGPLAN Notices}, YEAR = 1993, VOLUME = {28}, NUMBER = {1}, PAGES = {59 -- 63}, NOTE = {}, KEYWORDS = {}, } @INPROCEEDINGS{ bane93a, AUTHOR = {P. Bailey and M. Newey}, TITLE = {{{A}n {E}xtension of {ML} for {D}istributed {M}emory {C}omputers}}, EDITOR = {}, BOOKTITLE = {Proceedings of 16th Australian Computer Science Conference, Brisbane, Australia}, PUBLISHER = {}, YEAR = 1993, PAGES = {387 -- 396}, NOTE = {}, KEYWORDS = {}, } @InProceedings{baumker:spaa96, author = {A. B{\"a}umker and W. Dittrich}, title = {{Fully Dynamic Search Trees for an Extension of the BSP Model}}, booktitle = {SPAA'96: {ACM} Symposium on Parallel Algorithms and Architectures}, year = 1996, pages = {233-242} } @InProceedings{bcg94, author = "D. A. Burgess and P. I. Crumpton and M. B. Giles", editor = "S. Wagner and E.H. Hirschel and J. P{\'e}riaux and R. Piva", title = "{A Parallel Framework for Unstructured Grid Solvers}", publisher = "John Wiley \& Sons", year = 1994, pages = "391-396", place = "Chicester", booktitle = "Computational Fluid Dynamics '94. Proceedings of the Second European Computational Fluid Dynamics Conference 5-8 September 1994 Stuttgart, Germany" } @article{bentley80, author = " J. L. Bentley", title = "{Multi-Dimensional Divide-and-Conquer}", journal = "Communications of the ACM", year = "1980", volume = "23", pages = "214--229"} @INPROCEEDINGS{ berk75, AUTHOR = {K.J. Berkling}, TITLE = {{{R}eduction {L}anguages for {R}eduction {M}achines}}, EDITOR = {}, BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Computer Architecture}, PUBLISHER = {ACM/IEEE}, YEAR = 1975, PAGES = {133--140}, NOTE = {}, KEYWORDS = {ACM/IEEE 75CH0916-7C}, } @INPROCEEDINGS{ berk78, AUTHOR = {K.J. Berkling}, TITLE = {{{C}omputer {A}rchitecture for {C}orrect {P}rogramming}}, EDITOR = {}, BOOKTITLE = {Proceedings of the 5th Annual Symposium on Computer Architecture}, PUBLISHER = {ACM/IEEE}, YEAR = 1978, PAGES = {78--84}, NOTE = {}, KEYWORDS = {}, } @INPROCEEDINGS{ bhk94, AUTHOR = {T. Buelck and A. Held and W.E. Kluge and S. Pantke and C. Rathsack and S-B. Scholz and R. Schroeder}, TITLE = {{{E}xperience with the {I}mplementation of a {C}oncurrent {G}raph {R}eduction {S}ystem on an {nCUBE/2} {P}latform}}, EDITOR = {}, BOOKTITLE = {Joint International Conference on Parallel and Vector Processing}, PUBLISHER = {Springer-Verlag}, series = LNCS, volume = "854", YEAR = 1994, PAGES = {}, NOTE = {}, KEYWORDS = {} } @inproceedings{bird87, author = "R. S. Bird", title = "{Introduction to the Theory of Lists}", editor = "M. Broy", publisher = "Springer-Verlag", booktitle = "Logic of Programming and Calculi of Discrete Design", volume = "36", series = "NATO ASI Series F", pages = "3-42", year = "1987"} @article{bird:laws, author = {Bird, R. S.}, journal = {The Computer Journal}, number = {2}, pages = {122--126}, title = {{Algebraic Identities for Program Calculation}}, volume = {32}, year = {1989} } @incollection{birdCalculus, author = "Richard S. Bird", title = "{A {C}alculus of {F}unctions for {P}rogram {D}erivation}", booktitle = "Research Topics in Functional Programming", editor = "David A. Turner", publisher = "Addison Wesley", pages = "287-308", year = 1990 } @INPROCEEDINGS{bisseling94, AUTHOR = "R. H. Bisseling and W. F. McColl", TITLE = "{Scientific Computing on Bulk Synchronous Parallel Architectures}", BOOKTITLE = "Technology and Foundations: Information Processing '94, Vol. I", EDITOR = "B. Pehrson and I. Simon", SERIES = "IFIP Transactions A", VOLUME = 51, PAGES = "509-514", PUBLISHER = "Elsevier Science Publishers, Amsterdam", YEAR = 1994, KEYWORDS = "BSP, grid distribution, iterative, matvec, molecular dynamics, parallel, sparse, tiling" } @INPROCEEDINGS{bisseling95, AUTHOR = "Rob H. Bisseling", TITLE = "{Sparse Matrix Computations on Bulk Synchronous Parallel Computers}", BOOKTITLE = "Proceedings ICIAM'95. Issue 1. Numerical Analysis, Scientific Computing, Computer Science", EDITOR = "Goetz Alefeld and Oskar Mahrenholtz and Reinhard Mennicken", PAGES = "127--130", PUBLISHER = "Akademie Verlag, Berlin", YEAR = 1996, KEYWORDS = "BSP, Cholesky, grid distribution, parallel, sparse" } @INPROCEEDINGS{bisseling96b, AUTHOR = "R. H. Bisseling", TITLE = "{Basic Techniques for Numerical Linear Algebra on Bulk Synchronous Parallel Computers}", BOOKTITLE = "Proceedings First Workshop on Numerical Analysis and Applications, Rousse, Bulgaria, 1996", EDITOR = "Lubin Vulkov and Jerzy Wa{\'{s}}niewski and Plamen Yalamov", SERIES = "Lecture Notes in Computer Science", VOLUME = 1196, PAGES = "46-57", PUBLISHER = "Springer-Verlag, Berlin", YEAR = 1997, KEYWORDS = "broadcast, BSP, communication, dense, grid distribution, LU, parallel" } @ARTICLE{ ble94, AUTHOR = {G. E. Blelloch and S. Chatterje and J.C. Hardwick and J. Sipelstein and M. Zagha}, TITLE = {{{I}mplementation of a {P}ortable {N}ested {D}ata--{P}arallel {L}anguage}}, JOURNAL = {Journal of Parallel and Distributed Computing}, YEAR = 1994, VOLUME = {21}, NUMBER = {1}, PAGES = {4 -- 14}, NOTE = {}, KEYWORDS = {}, } @book{blelloch:dp, author = {G. E. Blelloch}, publisher = {MIT Press}, title = {{Vector Models for Data-Parallel Computing}}, year = {1990} } @article{blelloch:sabot2, author = {G. E. Blelloch and G.W. Sabot}, title = {{Compiling Collection-Oriented Languages onto Massively-Parallel Computers}}, journal = {Journal of Parallel and Distributed Computing}, year = {1990}, pages = {119--134}, } @inproceedings{botorog, author ="Botorog, George H. and Kuchen, Herbert", title ="{Efficient Parallel Programming with Algorithmic Skeletons}", editor ="L. Bouge and P. Fraigniaud and A. Mignotte and Y. Robert", series = LNCS, booktitle ="Proceedings of EuroPar '96", publisher ="Springer-Verlag", pages ="718-731", volume ="1123", year ="1996", } @InCollection{bouge:dp, author = {Luc Boug\'e}, title = {{The Data-Parallel Programming Model: A Semantic Perspective}}, booktitle = {The Data-Parallel Programming Model}, publisher = {Springer-Verlag}, year = 1996, volume = 1132, series = LNCS, month = {June}, pages = {4-26} } @inproceedings{bratvold, author ="Bratvold, T. A.", title ="{Parallelising a Functional Program Using a List-Homomorphism Skeleton}", editor ="Hong, Hoon", booktitle ="PASCO'94: First International Symposium on Parallel Symbolic Computation", publisher ="World Scientific Publishing Company", pages ="44--53", month = sep, year ="1994", } @article{brent, author = {R.P. Brent}, title = {{The Parallel Evaluation of General Arithmetic Expressions}}, journal = {Journal of the {ACM}}, volume = {21, No.2}, month = {April}, year = {1974}, pages = {201--206}, } @ARTICLE{bru72, AUTHOR = {N. G. de Bruijn}, TITLE = {{{L}ambda--{C}alculus {N}otation with {N}ameless {D}ummies. {A} {T}ool for {A}utomatic {F}ormula {M}anipulation with {A}pplication to the {C}hurch--{R}osser {T}heorem}}, JOURNAL = {Indagationes Mathematicae}, YEAR = 1972, VOLUME = {34}, NUMBER = {}, PAGES = {484--492}, NOTE = {}, KEYWORDS = {}, } @inproceedings{bsml, author= {F. Loulergue}, title= {{{BSML} : Programmation {BSP} Purement Fonctionnelle}}, booktitle= {{RENPAR'10}, Rencontres Francophones du Parallélisme}, year= 1998, month= {Juin}, organization = "Universit\'e de Strasbourg", } @Misc{bsp:patent, author = {L.~G. Valiant}, title = {{Bulk-Synchronous Parallel Computer}}, howpublished = {U.S. Patent No. 5083265}, year = 1992 } @inproceedings{bsp:pram1, author ="Alexandrakis, A. G. and Gerbessiotis, A. V. and Lecomber, D. S. and Siniolakis, C. J.", title ="{Bandwidth, Space and Programming: The {BSP} Approach}", address ="Krakow", booktitle ="Proceedings of SUPEUR'96", month ="May", year ="1996", scope ="bsp", documentURL ="http://www.comlab.ox.ac.uk/oucl/users/david.lecomber/ibm.ps.gz" } @InProceedings{bsp:pram2, author = {D. S. Lecomber and K. R. Sujithan and C. J. Siniolakis}, title = {{PRAM Programming In Theory and In Practice}}, booktitle = {Concurrency: Practice and Experience}, year = 1998 } @Article{bsplib, author = {Jonathan M. D. Hill and Bill McColl and Dan C. Stefanescu and Mark W. Goudreau and Kevin Lang and Satish B. Rao and Torsten Suel and Thanasis Tsantilas and Rob Bisseling}, title = {{{BSPlib}: {T}he {BSP} {P}rogramming {L}ibrary}}, journal = {Parallel Computing}, note = {see \texttt{www.bsp-worldwide.org} for more details}, year = {to appear 1998}, } @Article{bspram, author = {A. Tiskin}, title = {{The Bulk-Synchronous Parallel Random Access Machine}}, journal = {Theoretical Computer Science}, year = 1998, volume = 196, number = 1, pages = {109--130} } @InProceedings{bspstar, author ="B{\"a}umker, Armin and Dittrich, Wolfgang and {Meyer auf der Heide}, Friedhelm and Rieping, Ingo", title ="{Realistic Parallel Algorithms: Priority Queue Operations and Selection for the {BSP}$^*$ Model}", booktitle ="EuroPar'96", month =aug, pages ="369--376", publisher ="Springer-Verlag", address ="Lyon, France", number ="1124", series ="Lecture Notes in Computer Science", year =1996 } @techreport{burgessgiles, author="D. A. Burgess and M. B. Giles", title="{Renumbering Unstructured Grids to Improve the Performance of Codes on Hierarchical Memory Machines}", institution="Numerical Analysis Group, Oxford University Computing Laboratory", address="Oxford OX1 3QD, England", number="95/06", month="May", year="1995" } @ARTICLE{calinescu:sim, AUTHOR = "R. Calinescu", TITLE = "{Bulk Synchronous Parallel Algorithms for Conservative Discrete Event Simulation}", JOURNAL = "Parallel Algorithms and Applications", PUBLISHER = "Gordon and Breach Science Publishers SA", YEAR = "1996", VOLUME = "9", PAGES = "15--38", NOTE = "A preliminary version of this paper appeared as Technical Report PRG-TR-16-95, Programming Research Group, Oxford University Computing Laboratory, April 1995." } @inproceedings{camlflight, author ="Foisy, Christian and Chailloux, Emmanuel", title ="{Caml Flight: A Portable {SPMD} Extension of ML for Distributed Memory Multiprocessors}", pages ="83-96", editor ="{B{\"o}hm}, A. P. Wim and Feo, John T.", booktitle ="High Performance Functional Computing", month ="April", year ="1995", scope ="parmisc", documentURL ="ftp://sisal.llnl.gov/pub/hpfc/papers95/paper16.ps" } @TECHREPORT{ can89, AUTHOR = {D.C. Cann}, TITLE = {{{C}ompilation {T}echniques for {H}igh {P}erformance {A}pplicative {C}omputation}}, INSTITUTION = {Lawrence Livermore National Laboratory}, ADDRESS = {LLNL, Livermore, California}, TYPE = {}, NUMBER = {CS-89-108}, YEAR = 1989, NOTE = {}, } @ARTICLE{ can95, AUTHOR = {D.C. Cann and P. Evripidou}, TITLE = {{{A}dvanced {A}rray {O}ptimizations for {H}igh {P}erformance {F}unctional {L}anguages}}, JOURNAL = {IEEE Transactions on Parallel and Distributed Systems}, YEAR = 1995, VOLUME = {6}, NUMBER = {3}, PAGES = {229--239}, NOTE = {}, KEYWORDS = {}, } @ARTICLE{ card83, AUTHOR = {L. Cardelli and D. McQueen}, TITLE = {{{T}he {F}unctional {A}bstract {M}achine}}, JOURNAL = {The ML/LCF/HOPE Newsletter, AT\&T, Bell Labs, Murray Hill, NJ}, YEAR = 1983, VOLUME = {}, NUMBER = {}, PAGES = {}, NOTE = {}, KEYWORDS = {}, } @article{cardelli:FAM, author = "L. Cardelli", title = "{ML Under UNIX}", journal = "Polymorphism: The ML/LCF/Hope Newsletter", volume = "I", number = "3", month = "December", year = "1983"} @book{ccs, author = {Robin Milner}, title = "{C}ommunication and {C}oncurrency", publisher = "Prentice-Hall", year = 1989, } @PHDTHESIS{ che94, AUTHOR = {I.G. Checkland}, TITLE = {{{S}peculative {C}oncurrent {E}valuation in a {L}azy {F}unctional {L}anguage}}, SCHOOL = {Department of Computer Science, University of York}, ADDRESS = {}, YEAR = 1994, NOTE = {}, KEYWORDS = {}, } @book{cmlANN98book, Author= {T.~Amtoft and F.~Nielson and H.~R.~Nielson}, Title = {{Type and Effect Systems: Behaviours for Concurrency}}, Publisher = {Imperial College Press}, Year = {1999}, } @Article{cmlANN98sttt, author= "T.~Amtoft and H.~R.~Nielson and F.~Nielson", title = "{Behaviour Analysis for Validating Communication Patterns}", journal = "Software Tools for Technology Transfer", volume = "2", number = "1", pages = "13-28", year = "1998", } @InProceedings{cmlBDNN98, Author= {C.~Bodei and P.~Degano and F.~Nielson and H.~R.~Nielson}, Title = {{Control Flow Analysis for the $\pi$-Calculus}}, Booktitle = {Proceedings of~CONCUR'98}, Year = {1998}, Pages = {84--98}, Number = {1466}, Series = {Lecture Notes in Computer Science}, Publisher = {Springer-Verlag}, } @InProceedings{cmlBDNN99, Author= {C.~Bodei and P.~Degano and F.~Nielson and H.~R.~Nielson}, Title = {{Static Analysis of Processes for No Read-Up No Write-Down}}, Booktitle = {Proceedings of~FOSSACS'99}, Year = {1999}, Pages = {120--134}, Number = {1578}, Series = {Lecture Notes in Computer Science}, Publisher = {Springer-Verlag}, } @book{cmlHaRi99, Author= {M.~R.~Hansen and H.~Rischel}, Title = {{Introduction to Programming Using SML}}, Publisher = {Addison Wesley Longman}, Year = {1999}, } @inproceedings{cmlJon92esop, Author = {M. P. Jones}, Title = {{A Theory of Qualified Types}}, Booktitle = {Proceedings of~ESOP'92}, Publisher = {Springer-Verlag}, Series = {Lecture Notes in Computer Science}, Volume = {582}, Pages = {287-306}, Year = 1992, } @book{cmlLeLi95, Author = {C.~Lewerentz and T.~Lindner}, Title = {{Formal Development of Reactive Systems, Case Study ``Production Cell''}}, Publisher = {Springer-Verlag}, Series = {{\rm Lecture Notes in Computer Science}}, Volume = {891}, Year = 1995, } @book{cmlMTH90, Author = {R.~Milner and M.~Tofte and B.~Harper}, Title = {{The Definition of Standard {ML}}}, Publisher = {MIT Press}, Year = 1990, } @InProceedings{cmlNAN98fase, author= "H.~R.~Nielson and T.~Amtoft and F.~Nielson", title = "{Behaviour Analysis and Safety Conditions: A Case Study in {CML}}", booktitle = "Proceedings of~FASE'98", year = "1998", pages = "255--269", number = "1382", series = "Lecture Notes in Computer Science", publisher = "Springer-Verlag", } @InCollection{cmlNNA97inf, author = "H.~R.~Nielson and F.~Nielson and T.~Amtoft", title = "{Polymorphic Subtyping for Effect Analysis: The Static Semantics}", booktitle = "Analysis and Verification of Multiple-Agent Languages", publisher = "Springer-Verlag", year = "1997", editor = "M.~Dam", number = "1192", series = "Lecture Notes in Computer Science", pages = "141--171", } @Book{cmlNNH99fe, author = "F.~Nielson and H.~R.~Nielson and C.~L.~Hankin", title = "{Principles of Program Analysis}", publisher = "Springer-Verlag", year = "1999", } @InProceedings{cmlNNHJ99fire, author= "F.~Nielson and H.~R.~Nielson and R.~R.~Hansen and J.~G.~Jensen", title = "{Validating Firewalls in Mobile Ambients}", booktitle = "Proceedings of~CONCUR'99", year = "1999", series = "Lecture Notes in Computer Science", publisher = "Springer-Verlag", } @InCollection{cmlNiNi97conc, author = "H.~R.~Nielson and F.~Nielson", title = "{Communication Analysis for {C}oncurrent {ML}}", crossref = "mlwithconc", year = "1997", pages = "185--235", } @InCollection{cmlPaRe97, author = "P. Panangaden and J. H. Reppy", title = "{The Essence of {C}oncurrent {ML}}", crossref = "mlwithconc", year = "1997", pages = "5--29", } @book{cmlRep99, Author = {J. H. Reppy}, Title = {{Concurrent Programming in {ML}}}, Publisher = {Cambridge University Press}, Year = 1999, } @InProceedings{cmlRiSu97, author= "H.~Rischel and H.~Sun", title = "{Design and Prototyping of Real-time Systems Using {CSP} and {CML}}", booktitle = "Proceedings of~9th Euromicro Workshop on Real-Time Systems", year = "1998", pages = "121--127", publisher = "IEEE Computer Society Press", } @article{cmlSmi94scp, Author = {G.~S.~Smith}, Title = {{Principal Type Schemes for Functional Programs with Overloading and Subtyping}}, Journal = {Science of Computer Programming}, Volume = 23, Pages = {197--226}, Year = 1994, } @article{cmlTaJo94inf, Author = {J.-P.~Talpin and P.~Jouvelot}, Title = {{The Type and Effect Discipline}}, Journal = {Information and Computation}, Volume = 111, Number = 2, Pages = {245-296}, Year = 1994, } @inproceedings{cmlisp, author = {Steele, Jr., Guy L. and Hillis, W. D.}, booktitle = {{ACM} Conference on {Lisp} and Functional Programming}, pages = {279-297}, title = {{{C}onnection {M}achine {Lisp} : Fine-Grained Parallel Symbolic Processing}}, year = {1986} } @book{cole:book, author = {M. I. Cole}, title = {{Algorithmic Skeletons: Structured Management of Parallel Computation}}, publisher = {Pitman}, series = {Research Monographs in Parallel and Distributed Computing}, year = {1989}, } @TECHREPORT{ como90, AUTHOR = {E.C. Cooper and J.G. Morrisett}, TITLE = {{{A}dding {T}hreads to {S}tandard {ML}}}, INSTITUTION = {School of Computer Science, Carnegie--Mellon University}, ADDRESS = {Pittsburgh, PA 15213}, TYPE = {}, NUMBER = {CMU--CS--90--186}, YEAR = 1990, NOTE = {}, KEYWORDS = {}, } @incollection{cousotPar, author = "Patrick Cousot", title = "{Methods and {L}ogics for {P}roving {P}rograms}", booktitle = "Handbook of {T}heoretical {C}omputer {S}cience, Volume B: {F}ormal {M}odels and {S}emantics", publisher = "MIT Press/Elsevier", pages = "814-993", year = "1990", editor = "Jan van Leeuwen" } @Book{csp, author = {C. A. R. Hoare}, title = {{Communicating Sequential Processes}}, publisher = {Prentice-Hall International}, year = 1985 } @ARTICLE{ cu87, AUTHOR = {G. Cousineau and P.L. Curien and M. Mauny}, TITLE = {{{T}he {C}ategorial {A}bstract {M}achine}}, JOURNAL = {Science of Computer Programming}, YEAR = 1987, VOLUME = {8}, NUMBER = {}, PAGES = {173--202}, NOTE = {}, KEYWORDS = {}, } @inproceedings{darlington93, author = "J. Darlington and A. J. Field and P. G. Harrison and P. H. J. Kelly and D. W. N. Sharp and Q. Wu", title = "{Parallel Programming Using Skeleton Functions}", editor = "A. Bode and M. Reeve and G. Wolf", booktitle = "Proceedings of PARLE '93", pages = "146-160", year = "1993"} @inproceedings{darlington93c, author ="Darlington, J. and To, H. W.", title ="{Building Parallel Applications Without Programming}", address ="Leeds", booktitle ="Abstract Machine Models", year ="1993" } @inproceedings{darlington94a, author ="Darlington, John and Guo, Yike and To, Hing Wing and Wu, Qian and Yang, Jin and Kohler, Martin", title ="{Fortran-S: A Uniform Functional Interface to Parallel Imperative Languages}", address ="Fujitsu Laboratories Ltd, Kawasaki Japan", booktitle ="Proceedings of the Third Parallel Computing Workshop", year ="1994" } @inproceedings{darlington95, author = "J. Darlington and Y. Guo and H.W. To and J. Yang", title = "{Parallel Skeletons for Structured Composition}", booktitle = "Proceedings of ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming", publisher = "ACM Press", pages = "19--28", year = "1995"} @techreport{davy96, author = "J. R. Davy and H. Deldarie and P. M. Dew", title = "{\em Constructive Solid Geometry Using Algorithmic Skeletons}", institution = "School of Computer Studies, University of Leeds", type = "Research Report", number = "96.1", year = "1996"} @InProceedings{dehne:icalp97, author = {E. Caceres and F. Dehne and A. Ferreira and P. Flocchini and I. Rieping and A. Roncato and N. Santoro and S. W. Song}, title = {{Efficient Parallel Graph Algorithms for Coarse Grained Multicomputers and BSP}}, booktitle = {24th International Colloquium on Automata, Languages and Programming (ICALP'97)}, volume = 1256, series = LNCS, year = 1997, publisher = {Springer-Verlag}, address = {Bologna, Italy}, pages = {390-400} } @incollection{den84, author = {J. B. Dennis}, title = {{D}ataflow {C}omputation}, editor = {M. Broy}, booktitle = {Control Flow and Data Flow: Concepts of Distributed Programming}, series = {NATO ASI Series, Series F: Computer and System Sciences}, volume = {14}, publisher = {Springer-Verlag}, year = "1984", pages = {346--398}, note = {}, keywords = {} } @Book{dennis:DAP, title = "{Massively Parallel Computing with the DAP}", publisher = "Pitman", year = "1990", editor = "Dennis Parkinson and John Litt", series = "Research Monographs in Parallel and Distributed Computing" } @article{doso, author = "Dongarra, J. J. and D. C. Sorensen", title = "{A Fully Parallel Algorithm for the Symmetric Eigenvalue Problem}", journal = "SIAM Journal of Scientific and Statistical Computation", volume = "8", pages = "139-154", month = "March", year = "1987"} @inproceedings{dosoId, author = "S. Sur and A. P. W. {B\"{o}hm}", title = "{Analysis of Non-Strict Functional Implementations of the Dongarra-Sorensen Eigensolver}", booktitle = "Proceedings of ICS94", pages = "412-418", address = "Manchester, UK", year = "1994"} @BOOK{ dyb87, AUTHOR = {R.K. Dybvig}, TITLE = {{{T}he {\sc scheme} {P}rogramming {L}anguage}}, SERIES = {}, VOLUME = {}, PUBLISHER = {Prentice-Hall, Englewood Cliffs, NJ}, YEAR = 1987, NOTE = {}, KEYWORDS = {}, } @INPROCEEDINGS{edenHIPS97, AUTHOR={Silvia Breitinger and Rita Loogen and Yolanda Ortega-Mall\'en 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}, ORGANIZATION={}, SERIES= LNCS, volume = {1123}, XPAGES={}, YEAR=1997 } @TECHREPORT{edenTR, AUTHOR={Silvia Breitinger and Rita Loogen and Yolanda Ortega-Mall\'en and R. Pe{\~n}a}, TITLE={{Eden --- Language Definition and Operational Semantics}}, INSTITUTION={Philipps-Universitat Marburg}, NUMBER={10}, STATUS={}, YEAR=1996 } @inproceedings{elemStrong, author = {David A. Turner}, title = {{Elementary Strong Functional Programming}}, booktitle = {Functional Programming Languages in Education ({FPLE})}, series = LNCS, volume = 1022, editor = {Pieter Hartel and Rinus Plasmeijer}, pages = "1-13", publisher = {Springer-Verlag, Heidelberg}, year = {1995} } @InProceedings{epoch:hpgn98, author = {C. P. Riley and R. C. F. McLatchie and R. Janssen and A. Longo and T. Guti\'errez and S. Casado and J. Simkin and P. Brochet and G. Molinari and P. Alotto and J-F. Lemoine and G. Drago}, title = {{Optimisation of Electromagnetic Design Using {HPCN}}}, booktitle = {HPCN'98: High-Performance Computing and Networking}, volume = 1401, series = LNCS, year = 1998, publisher = {Springer-Verlag}, month = {April} } @BOOK{erlang, AUTHOR={Joe Armstrong and Robert Virding and Claes Wikstr\"{o}m and Mike Williams}, TITLE={{Concurrent Programming in Erlang, Second Edition}}, PUBLISHER={Prentice-Hall}, YEAR={1996} } @INPROCEEDINGS{fair88, AUTHOR = {J. Fairbairn and S.C. Wray}, TITLE = {{{TIM} : {A} {S}imple {L}azy {A}bstract {M}achine to {E}xecute {S}upercombinators}}, BOOKTITLE = {Proceedings of Conference on Functional Programming and Computer Architecture}, PUBLISHER = {Springer-Verlag}, series = LNCS, volume = {274}, editor = {G. Kahn}, YEAR = 1987, PAGES = {34--45}, NOTE = {}, KEYWORDS = {} } @InProceedings{femi:mg, author = {Femi O. Osoba and Fethi A. Rabhi}, title = {{A Parallel Multigrid Skeleton Using {BSP}}}, booktitle = {EuroPar'98}, volume = 1470, series = LNCS, year = 1998, publisher = {Springer-Verlag}, month = {September}, pages = {704--708} } @article{fftjpdc, author = "{B\"{o}hm}, A. P. W. and Hiromoto, R. E.", title = "{Dataflow Time and Space Complexity of FFTs}", journal = "Journal of Parallel and Distributed Computing", volume = "18", year = "1993"} @incollection{fftpar, author = "A. P. W. {B\"{o}hm} and R. E. Hiromoto", title = "{The Dataflow Complexity of Fast Fourier Transforms}", editor = "L. Bic and G. R. Gao and J. L. Gaudiot", booktitle = "Advanced Topics in Dataflow Computing and Multithreading", cwpages = "393-404", publisher = "IEEE CS Press", year = "1995"} @book{field:funcprog, author = "A. J. Field and P. G. Harrison", title = "{Functional Programming}", publisher = "Addison-Wesley", year = 1988} @inproceedings{finkel87, author = "R. A. Finkel", title = "{Large Grain Parallelism - Three Case Studies}", editor = "L. Jamieson and D. Gannon and R.J. Douglass", booktitle = "Characteristics of Parallel Algorithms", year = "1987", pages = "21--64"} @inproceedings{fortune:wyllie, author= {S. Fortune and J. Wyllie}, title = {{Parallelism in Random Access Machines}}, booktitle = {Proceedings of the 10th Annual ACM Symposium on Theory of Computing}, year = {1978}, pages = {114--118}, } @inproceedings{fx, author = {Talpin, Jean-Pierre and Jouvelot, Pierre}, booktitle = {Workshop on Static Analysis}, volume = {724}, series = LNCS, title = {{Compiling {FX} on the {CM}-2}}, year = {1993}, mynote = "Available by {FTP} from chailly.ensmp.fr" } @Article{geign:bcast, author = {M. Barnett and D. Payne and van de Geijn, R. and J. Watts}, title = {{Broadcasting on Meshes with Wormhole Routing}}, journal = {Journal of Parallel and Distributed Computing}, year = 1996, volume = 35, number = 2, pages = {111--122} } @InProceedings{gerb:listcontract, author = {Alexandros V. Gerbessiotis and Constantinos J. Siniolakis and Alexandre Tiskin}, title = {{Parallel Priority Queue and List Contraction: The {BSP} approach}}, booktitle = {Europar'97}, series = LNCS, year = 1997, publisher = {Springer-Verlag}, address = {Passau, Germany}, pages = {409--416} } @techreport{gerb:prim, author ="Gerbessiotis, Alexandros V. and Siniolakis,Constantinos J.", title ="{Primitive Operations on the {BSP} Model}", number ="PRG-TR-23-96", institution ="Oxford Unversity Computing Laboratory", month ="October", year =1996 } @inproceedings{gerb:queue, author ="Gerbessiotis, Alexandros V. and Siniolakis, Constantinos", title ="{Selection on the Bulk-Synchronous Parallel Model with Applications to Priority Queues}", booktitle ="Proceedings of the 1996 International Conference on Parallel and Distributed Processing Techniques and Applications", month ="August", year ="1996", scope ="Combinatorial algorithms", keywords ="BSP Model, Selection, Priority Queues" } @techreport{gerb:sort, author ="Gerbessiotis, Alexandros V. and Siniolakis,Constantinos J.", title ="{An Experimental Study of {BSP} Sorting Algorithms: Theory, Practice and Experience}", number ="PRG-TR-06-97", institution ="Oxford Unversity Computing Laboratory", month ="February", year =1997 } @InProceedings{gerb:sort2, author = {Gerbessiotis, Alexandros V. and Siniolakis,Constantinos J.}, title = {{Deterministic Sorting and Randomized Median Finding on the {BSP} Model.}}, booktitle = {Proceedings of the $8^{th}$ ACM Symposium on Parallel Algorithms and Archictures}, year = 1996, publisher = {ACM Press}, address = {Padova, Italy}, month = {June} } @ARTICLE{ gk96, AUTHOR = {D. Gaertner and W.E. Kluge}, TITLE = {{$\pi$-{\sc red}$^+$ -- {A}n Interactive Compiling Graph Reduction System for an Applied $\lambda$--Calculus}}, JOURNAL = {Journal of Functional Programming}, YEAR = 1996, VOLUME = {6}, NUMBER = {5}, PAGES = {723--757}, NOTE = {}, KEYWORDS = {}, } @book{gordon-book, author = "Andrew J. Gordon", title = "{Functional Programming and Input/Output}", publisher = "Cambridge University Press", series = "British Computer Society Distinguished Dissertations in Computer Science", year = "1994"} @techreport{gorlatch:tr98, author={S. Gorlatch}, title={{Abstraction and Performance in the Design of Parallel Programs}}, institution="Universitat Passau", month={January}, year=1998, number="MIP-9803" } @INPROCEEDINGS{ gplref1 , TITLE="{ {BSP} Programming }", AUTHOR="W. F. McColl ", BOOKTITLE="Specification of Parallel Algorithms. Proceedings of DIMACS Workshop, Princeton, May 9-11, 1994 ", EDITOR=" G E Blelloch and K M Chandy and S Jagannathan ", pages="21-35", series="{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science", volume=18, YEAR= 1994 , PUBLISHER="{American Mathematical Society}" } @TECHREPORT{gplref2 , TITLE="{The {GPL} Language: Reference Manual }", AUTHOR=" W. F. McColl and Q. Miller ", INSTITUTION="Oxford University Computing Laboratory ", YEAR= 1995 , TYPE=" Technical Report, {ESPRIT GEPPCOM Project} ", MONTH= oct } @INPROCEEDINGS{ gre98, AUTHOR = {C. Grelck}, EMAIL = {}, TITLE = {{{S}hared--{M}emory {M}ultiprocessor {S}upport for {\sc sac}}}, crossref = "ifl98-selectedpapers", YEAR = 1999, PAGES = {38--54}, NOTE = {}, KEYWORDS = {}, } @INPROCEEDINGS{green:spaa, title ="{Towards Efficiency and Portability: Programming with the {BSP} Model}", author ="Mark W. Goudreau and Kevin Lang and Satish B. Rao and Torsten Suel and Thanasis Tsantilas", booktitle="Proceedings of 8th Annual ACM Symposium on Parallel Algorithms and Architectures", pages={1--12}, month={June}, year= 1996 } @inproceedings{hains:europar97, author= {F. Loulergue and G. Hains}, title= {{Parallel Functional Programming with Explicit Processes: Beyond {SPMD}}}, booktitle= {{EuroPar'97} Parallel Processing}, year= 1997, editor= {{C. Lengauer} and {M. Griebl} and {S. Gorlatch}}, volume= 1300, series= LNCS, pages= {530--537}, address= {Passau, {G}ermany}, month= {August}, publisher= {{Springer-Verlag}} } @InProceedings{hains:joins, author = {M. Bamha and G. Hains}, title = {{A Self-Balancing Join Algorithm for SN Machines}}, booktitle = {PDCS'98 10th International Conference on Parallel and Distributed Computing Systems}, year = 1998, address = {Las Vegas} } @TechReport{hains:lifo98-09, author = "F. Loulergue and G. Hains", title = "{An Introduction to BS$\lambda$}", institution = "Universit\'e d'Orl\'eans, LIFO", year = 1998, type = {Rapport de Recherche}, number = "98-09", address = "Orl\'eans, France", month = "september" } @article{harrison92, author = "P. G. Harrison", title = "{A Higher-Order Approach to Parallel Algorithms}", journal = "Computer Journal", year = "1992", volume = "35", number = "6", pages = "555--566"} @book{ hasCraft, AUTHOR = "Simon Thompson", TITLE = "{Haskell: The Craft of Functional Programming (2nd Edition)}", PUBLISHER = "Addison-Wesley", YEAR = 1999 } @ARTICLE{ hb93, AUTHOR = {M. Haines and A. P. W. {B\"{o}hm}}, TITLE = {{{T}ask {M}anagement, {V}irtual {S}hared {M}emory, and {M}ultithreading in a {D}istributed {I}mplementation of {\sc Sisal}}}, JOURNAL = {Lecture Notes in Computer Science}, YEAR = 1993, VOLUME = {694}, NUMBER = {}, PAGES = {12 -- 23}, NOTE = {}, KEYWORDS = {}, } @inproceedings{henderson, author = {Peter Henderson}, title = "{Functional Geometry}", booktitle = {Proceedings of the 1982 ACM Symposium on LISP and Functional Programming}, publisher = {ACM Press}, year = {1982} } @article{hicks, author = " Hicks, J. and Chiou, D. and Ang, B. S. and Arvind", title = "{Performance studies of Id on the Monsoon Dataflow System}", journal = "Journal of Parallel and Distributed Computing", volume = "18", number = "3", pages = "273-300", year = "1993"} @inproceedings{hill:aim, author = {Hill, Jonathan~M.~D.}, title = {{The {\em aim} is Laziness in a Data-Parallel Language}}, booktitle = {Glasgow Functional Programming Workshop}, editor = {Hammond, K. and O'Donnell, J. T.}, pages = {83--99}, publisher = {Springer-Verlag}, series = {Workshops in Computing}, year = {1993} } @InProceedings{hill:barrier, author = {Jonathan M. D. Hill and David B. Skillicorn}, title = {{Practical Barrier Synchronisation}}, booktitle = {6th EuroMicro Workshop on Parallel and Distributed Processing (PDP'98)}, pages = {438--444}, year = 1998, publisher = {IEEE Computer Society Press}, month = {January}, } @InProceedings{hill:bspcsp:conf, author = {Andrew Simpson and Jonathan M. D. Hill and Stephen R. Donaldson}, title = {{BSP} in {{CSP}: Easy as {ABC}}}, booktitle = {Workshop on Formal Methods for Parallel Computing, held in conjunction with IPPS/SPDP (IPPS'99)}, address = {San Juan, Puerto Rico}, month = {April}, year = 1999, publisher = {Springer-Verlag} } @InProceedings{hill:cg, author = {Jonathan M. D. Hill and Stephen Jarvis and Constantinos Siniolakis and Vasil P. Vasilev}, title = {{Portable and Architecture Independent Parallel Performance Tuning Using a Call-Graph Profiling Tool}}, booktitle = {6th EuroMicro Workshop on Parallel and Distributed Processing (PDP'98)}, pages = {286--292}, year = 1998, publisher = {IEEE Computer Society Press}, month = {January} } @TechReport{hill:clusters, author = {Stephen R. Donaldson and Jonathan M.~D. Hill and David B. Skillicorn}, title = "{{BSP} Clusters: High Performance, Reliable and Very Low Cost}", institution = {Programming Research Group, Oxford University Computing Laboratory}, number = {PRG-TR-5-98}, year = 1998, month = {September} } @InProceedings{hill:db, author = {K. Ronald Sujithan and Jonathan M. D. Hill}, title = {{Collection Types for Database Programming in the {BSP} Model}}, booktitle = {5th EuroMicro Workshop on Parallel and Distributed Processing (PDP'97)}, publisher = {IEEE Computer Society Press}, month = jan, year = {1997}, url = {ftp://ftp.comlab.ox.ac.uk/pub/Documents/techpapers/Jonathan.Hill/SujithanHil\_euromicro96.ps.Z} } @InProceedings{hill:ipps99:global, author = {Stephen R. Donaldson and Jonathan M.~D. Hill and David B. Skillicorn} , title = {{Exploiting Global Structure for Performance on Clusters}}, booktitle = {IPPS/SPDP}, address = {San Juan, Puerto Rico}, month = {April}, publisher = {Springer-Verlag}, year = 1999, } @InProceedings{hill:ipps:now, author = {Stephen R. Donaldson and Jonathan M.~D. Hill and David B. Skillicorn}, title = {{Performance Results for a Reliable Low-latency Cluster Communication Protocol}}, booktitle = {PC-NOW '99: International Workshop on Personal Computer based Networks Of Workstations, held in conjunction with IPPS'99}, address = {San Juan, Puerto Rico}, publisher = {Springer-Verlag}, month = {April}, year = 1999, } @Article{hill:lessons, author = {Jonathan M. D. Hill and David B. Skillicorn}, title = {{Lessons Learned from Implementing {BSP}}}, journal = {Journal of Future Generation Computer Systems}, year = 1998, month = {March}, } @InProceedings{hill:mmpm97, author = {Jonathan M. D. Hill and Stephen R. Donaldson and David B. Skillicorn}, title = {{Portability of Performance with the \textsl{BSPlib} Communications Library}}, booktitle = {Programming Models for Massively Parallel Computers, (MPPM'97)}, year = 1997, publisher = {IEEE Computer Society Press}, address = {London}, month = {November} } @InProceedings{hill:pram, author = {David S. Lecomber and K. Ronald Sujithan and Jonathan M. D. Hill}, title = {{Architecture-Independent Locality Analysis and Efficient {PRAM} Simulations}}, booktitle = {High Performance Computing and Networking (HPCN'97)}, year = 1997, volume = 1225, publisher = {Springer-Verlag}, month = {April} } @Article{hill:qa, author = {David B. Skillicorn and Jonathan M. D. Hill and W. F. McColl}, title = {{Questions and Answers about {BSP}}}, journal = {Scientific Programming}, volume = 6, number = 3, pages = {249--274}, month = {Fall}, year = {1997}, publisher={IOS Press} } @TechReport{hill:stability, author = {Jonathan M. D. Hill and Stephen R. Donaldson and David B. Skillicorn}, title = {{Stability of Communication Performance in Practice: from the {Cray} {T3E} to Networks of Workstations}}, institution = {Programming Research Group, Oxford University Computing Laboratory}, year = 1997, number = {PRG-TR-33-97}, month = {October}, url = {ftp://ftp.comlab.ox.ac.uk/pub/Documents/techpapers/Jonathan.Hill/HillDonaldSkill\_stability.ps.Z} } @InProceedings{hill:tcpip, author = {Stephen R. Donaldson and Jonathan M. D. Hill and David B. Skillicorn}, title = {{Predictable Communication on Unpredictable Networks: Implementing {BSP} over {TCP/IP}}}, booktitle = {EuroPar'98}, series = LNCS, year = 1998, publisher = {Springer-Verlag}, address = {Southampton, UK}, month = {September} } @phdthesis{hill:thesis, author = {Hill, Jonathan~M.~D.}, title = {{Data-Parallel Lazy Functional Programming}}, school = {Departmentof Computer Science, Queen Mary \& Westfield College, University of London}, month = sep, year = 1994, url = {http://www.comlab.ox.ac.uk/oucl/users/jonathan.hill/PhdThesis/} } @Article{hill:var, author = {Stephen R. Donaldson and Jonathan M. D. Hill and David B. Skillicorn}, title = {{Communication Performance Optimisation Requires Minimising Variance}}, journal = {Journal of Future Generation Computer Systems}, year = 1999, month = {April} } @book{hillis:cm, author = {Hillis, W. D.}, publisher = {{MIT} Press}, title = {{The {C}onnection {M}achine}}, year = {1985} } @manual{hpf, address = {Houston, Texas}, month = {November}, note = {Version 1.1}, organization = {High Performance Fortran Forum}, title = {{High Performance Fortran Language Specification}}, year = {1994} } @Article{huang:fgcs98, author = {Yuguang Huang and William F. McColl}, title = {{Two-Way {BSP} Algorithm for Tridiagonal Systems}}, journal = {Future Generation Computer Systems}, year = 1998, volume = 13, month = {March}, pages = {337--347} } @Article{huang:phys, author = {Yuguang Huang and William F. McColl}, title = {{Analytical Inversion of General Tridiagonal Matrices}}, journal = {Journal of Physics, A: Mathematics and General.}, year = 1997, volume = 30, month = {November}, pages = {7919--7933} } @article{hughes, author = {R. J. M. Hughes}, journal = {The {C}omputer {J}ournal}, number = {2}, pages = {98-107}, title = {{Why Functional Programming Matters}}, volume = {32}, year = {1989} } @book{ih90, editor = {{I}to, {T}. and {H}alstead, {R}. {H}.}, title = {{P}arallel {L}isp: {L}anguages and {S}ystems}, series = LNCS, volume = {441}, publisher = {Springer-Verlag}, year = "1990" } @phdthesis{irvin, author= {R.B. Irvin}, title = {{Performance Tool for High-Level Parallel Programming Languages}}, school = {University of Wisconsin-Madison}, month = {November}, year = {1995}, } @article{istr, author = "Arvind and Nikhil, R. S. and Pingali, K. K.", title = "{I-structures: Data Structures for Parallel Computing}", journal = "ACM Transactions on Programming Languages and Systems", volume = "11", number = "4", month = "October", year = "1989", pages = "589-632"} @inproceedings{janssonjeuring1997a, author ="P. Jansson and J. Jeuring", title ="{Poly{P} - a Polytypic Programming Language Extension}", booktitle ="{POPL} '97: The 24th {ACM SIGPLAN-SIGACT} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages", publisher ="ACM Press", pages ="470--482", year ="1997", documentURL ="http://www.cs.chalmers.se/~johanj/polytypism/polyp.ps" } @ARTICLE{jg89, AUTHOR = {{J}enkins, {M}. {A}.; {G}lagow, {J}. {I}.}, TITLE = {{{A} {L}ogic {B}asis for {N}ested {A}rray {D}ata {S}tructures}}, JOURNAL = {{C}omputer {L}anguages {J}ournal}, YEAR = 1989, VOLUME = {14}, NUMBER = {1}, PAGES = {35 -- 51}, } @article{jsa, author= {D. B. Skillicorn}, title = {{Towards a Framework for Cost-Based Transformation}}, journal = {Journal of Systems and Architectures (the Euromicro Journal)}, volume = {42}, year = {1996}, pages = {331--340}, } @inproceedings{jung, author= {H. Jung and L. Kirousis and P. Spirakis}, title = {{Lower Bounds and Efficient Algorithms for Multiprocessor Scheduling of {DAGs} with Communication Delays}}, booktitle = {Proceedings of ACM Symposium on Parallel Architectures and Algorithms}, year = {1989}, pages = {254--264}, } @Article{juurlink:bcast, author = {B. H. H. Juurlink and H. A. G. Wijshoff}, title = {{Communication Primitives for {BSP} Computers}}, journal = {Information Processing Letters}, year = 1996, volume = 58, pages = {303--310} } @InProceedings{karlsen_glafp97, author = {Karlsen, E.W.}, title = {{The UniForM Concurrency Toolkit and its Extensions to Concurrent Haskell}}, booktitle = WSTITLE, year = 1997, organization = {Department of Computing Science, University of Glasgow}, address = {Ullapool, Scotland}, month = {September}, url = {http://www.dcs.gla.ac.uk/\~{}jtod/fp-workshop-97/Karleson.ps.gz}, annote = {draft proceedings}, } @TECHREPORT{kge95, AUTHOR = {Kluge, W.E.}, TITLE = {{{A} {U}ser's {G}uide for the {R}eduction {S}ystem $\pi$-{\sc red}}}, INSTITUTION = {Department of Computer Science, University of Kiel}, ADDRESS = {}, TYPE = {Internal Report}, NUMBER = {9409}, YEAR = 1994, } @TECHREPORT{kie88, AUTHOR = {Kieburtz, R.}, TITLE = {{{P}erformance {M}easurements of a {G}--{M}achine {I}mplementation}}, INSTITUTION = {Oregon Graduate Center, University of Oregon}, ADDRESS = {}, TYPE = {}, NUMBER = {}, YEAR = 1988, } @ARTICLE{kk97, AUTHOR = {Kaser, O. and Ramakrishnan, C.R. and Ramakrishnan, I. V. and Sekar, R. C.}, TITLE = {{{\sc Equals} -- A Fast Parallel Implementation of a Lazy Language}}, JOURNAL = {Journal of Functional Programming}, YEAR = 1997, VOLUME = {7}, NUMBER = {2}, PAGES = {183 -- 217}, } @TechReport{klug79, author = "Werner E. Kluge", title = "{{T}he {A}rchitecture of a {R}eduction {L}anguage {M}achine --- {H}ardware {M}odel}", institution = "Institut f{\"u}r Informationssystemforschung", year = "1979", type = "Internal Report", number = "ISF 79.03", address = "Gesellschaft f{\"u}r Mathematik und Datenverarbeitung, St. Augustin, Germany", month = "Augugst", owner = "risc", descr = "phred", } @Book{knuth:sort, author = {Donald E. Knuth}, title = {{The Art of Computer Programming. Volume {III}: Sorting and Searching}}, publisher = {Addison-Wesley}, year = 1973 } @book{kobayashi, author= {H. Kobayashi}, title = {{Modeling and Analysis: An Introduction to System Performance Evaluation Methodology}}, publisher = {Addison-Wesley}, year = {1978}, } @INPROCEEDINGS{koster94, AUTHOR = "Jacko Koster and Rob H. Bisseling", TITLE = "{An Improved Algorithm for Parallel Sparse {LU} Decomposition on a Distributed-Memory Multiprocessor}", BOOKTITLE = "Proceedings of the Fifth {SIAM} Conference on Applied Linear Algebra", EDITOR = "John G. Lewis", PAGES = "397-401", PUBLISHER = "SIAM, Philadelphia, PA", YEAR = 1994, KEYWORDS = "grid distribution, LU, Markowitz, parallel, sparse" } @inproceedings{kung80, author = "H.T. Kung", title = "{The Structure of Parallel Algorithms}", booktitle = "Advances in Computers, Volume 19", editor = "M.C. Yovits", publisher = "Academic Press", year = "1980", pages = "65--112"} @article{ladner:pprefix, author = {Ladner, Richard. E. and Fischer, Michael. J}, journal = {Journal of the ACM}, month = oct, number = {4}, pages = {831--838}, title = {{Parallel Prefix Computation}}, volume = {27}, year = {1980} } @ARTICLE{land64, AUTHOR = {Landin, P.J.}, TITLE = {{{T}he {M}echanical {E}valuation of {E}xpressions}}, JOURNAL = {The Computer Journal}, YEAR = 1964, VOLUME = {6}, NUMBER = {4}, PAGES = {308--320}, } @article{landin:secd, author = "P. Landin", title = "{The Mechanical Evaluation of Expressions}", journal = "Computer Journal", volume = "6", number = "4", pages = "308-320", month = "January", year = "1964"} @article{lfm3, author = "Simon Thompson", title = "{A {L}ogic for {M}iranda, {R}evisited}", journal = "Formal Aspects of Computing", pages = "412-429", year = 1995, volume = 7 } @book{logicandcomp, author="Laurence C. Paulson", title="{Logic and Computation --- {I}nteractive proof with {C}ambridge {LCF}}", publisher="Cambridge University Press", year=1987} @InProceedings{lowe:europar98, author = {J\"orn Eisenbiegler and Welf L\"owe and Wolf Zimmermann}, title = {{{BSP}, {LogP}, and Oblivious Programs}}, booktitle = {EuroPar'98}, volume = 1470, series = LNCS, year = 1998, publisher = {Springer-Verlag}, month = {September}, pages = {865--874} } @ARTICLE{mag79, AUTHOR = {Mago, G.}, TITLE = {{{A} {N}etwork of {M}ultiprocessors to {E}xecute {R}eduction {L}anguages}}, JOURNAL = {International Journal of Computer and Information Science}, YEAR = 1979, VOLUME = {8}, NUMBER = {5}, PAGES = {349 -- 471}, } @InProceedings{marin:europar97, author = {Mauricio Marin}, title = {{Priority Queue Operations on {EREW-PRAM}}}, booktitle = {Europar'97}, series = LNCS, year = 1997, publisher = {Springer-Verlag}, address = {Passau, Germany}, pages = {417--420} } @InProceedings{marin:europar98, author = {Mauricio Marin}, title = {{Asynchronous (Time-Warp) Versus Synchronous (Event-Horizon) Simulation Time Advance in {BSP}}}, booktitle = {EuroPar'98}, volume = 1470, series = LNCS, year = 1998, publisher = {Springer-Verlag}, month = {September}, pages = {897--905} } @InProceedings{marin:pads97, author = {Mauricio Marin}, title = {{Billiards and Related Systems On The Bulk Synchronous Parallel Model}}, booktitle = {ACM/IEEE/SCS 11th Workshop on Parallel and Distributed Simulation (PADS'97)}, year = 1997, publisher = {IEEE-CS Press}, address = {Vienna, Austria}, month = {June} } @PHDTHESIS{mat93, AUTHOR = {Mattson, J. S.}, TITLE = {{{A}n {E}fficient {S}peculative {E}valuation {T}echnique for {P}arallel {S}upercombinator {G}raph {R}eduction}}, SCHOOL = {Department of Computer Science and Engineering, University of California at San Diego}, ADDRESS = {}, YEAR = 1993, } @InProceedings{mccoll:1000, author = {W. F. McColl}, title = {{Scalable Computing}}, booktitle = {Computer Science Today: Recent Trends and Developments}, editor = {J. van Leeuwen}, volume = {1000}, series = {Lecture Notes in Computer Science}, year = 1995, publisher = {Springer-Verlag}, pages = {46--61} } @InProceedings{mccoll:bsp2, author = {W. F. McColl}, title = {{Scalable Parallel Computing: A Grand Unified Theory and its Practical Development}}, booktitle = {Proceedings of IFIP World Congress}, volume = 1, year = 1994, address = {Hamburg}, month = {August}, pages = {539-546} } @incollection{mccoll:gppc, author= {W. F. McColl}, title = {{General Purpose Parallel Computing}}, booktitle = {Lectures on Parallel Computation}, editor = {A.M. Gibbons and P. Spirakis}, publisher = {Cambridge University Press}, address = {Cambridge}, series = {Cambridge International Series on Parallel Computation}, year = {1993}, pages = {337--391}, } @techreport{mcnp, author = "Briesmeister, J. F.", year = "1993", title = "{MCNP--A General Monte Carlo N-Particle Transport Code, Version 4A}", institution = "Los Alamos National Laboratory", number = "Report LA-12625-M"} @inproceedings{mcnpSis, author = "J. Hammes and A. P. W. {B\"{o}hm}", title = "{Towards a Time and Space Efficient Functional Implementation of a Monte Carlo Photon Transport Code}", booktitle = "Proceedings of PACT'97", pages = "286-294", year = "1997"} @incollection{meertens, author = {L.G.L.T. Meertens}, title = {{Algorithmics -- Towards Programming as a Mathematical Activity}}, booktitle = {Proceedings of CWI Symposium on Mathematics and Computer Science}, publisher = {North-Holland}, year = {1986}, pages = {289--334}, } @inproceedings{michaelson97, author ="G. Michaelson and A. Ireland and P.J.B. King", crossref = "ifl97-selectedpapers", title = "{Towards a Skeleton Based Parallelising Compiler for SML}", year = "1997", pages = "539-546" } @InProceedings{miller:bcs, author = "Richard Miller", title = "{A Library for {B}ulk {S}ynchronous {P}arallel Programming}", pages = "100-108", booktitle = "Proceedings of the BCS Parallel Processing Specialist Group Workshop on General Purpose Parallel Computing", year = 1993, month = "December" } @Book{miller:phd, author = {Richard Miller}, title = {{Two Approaches to Architecture-Independent Parallel Computation}}, publisher = {{D}.{P}hil thesis, Oxford University Computing Laboratory}, year = 1994, address = {Wolfson Building, Parks Road, Oxford OX1 3QD}, month = {Michaelmas Term} } @INPROCEEDINGS{mo85, AUTHOR = {Moon, D.A.}, TITLE = {{{T}he {{A}rchitecture of the {S}ymbolics 3600}}}, EDITOR = {}, BOOKTITLE = {Proceedings of 12th International Symposium on Computer Architecture, Boston}, PUBLISHER = {}, YEAR = 1985, PAGES = {76 -- 83}, NOTE = {}, KEYWORDS = {}, } @article{moller87, author = "P. Moller-Nielsen and J. Staunstrup", title = "{Problem-Heap: A Paradigm for Multi-Processor Algorithms}", journal = "Parallel Computing", year = "1987", volume = "4", pages = "63--74"} @InProceedings{mpi, author = "{Message Passing Interface Forum}", title = "{{MPI}: {A} Message Passing Interface}", booktitle = "Proceedings of Supercomputing '93", pages = "878--883", publisher = "IEEE Computer Society Press", year = "1993" } @techreport{nas, author = "Bailey, D. and et. al.", title = "{The NAS Parallel Benchmarks}", number = "Report RNR-91-002 revision 2", institution = "NASA Ames Research Center", year = "1991"} @article{nasfft, author = "J. Hammes and S. Sur and A. P. W. {B\"{o}hm}", title = "{On the Effectiveness of Functional Language Features: NAS benchmark FT}", journal = "Journal of Functional Programming", volume = "7", number = "1", month = "January", year = "1997"} @inproceedings{nelson87, author = "P.A. Nelson and L. Snyder", title = "{Programming Paradigms for Nonshared Memory Parallel Computers}", editor = "L. Jamieson and D. Gannon and R.J. Douglass", booktitle = "Characteristics of Parallel Algorithms", year = "1987", pages = "3--20"} @ARTICLE{nesl, AUTHOR={G. E. Blelloch}, TITLE={{Programming Parallel Algorithms}}, JOURNAL={{Communications of the ACM March 1996}}, VOLUME = 39, NUMBER = 3, PUBLISHER={ACM Press}, PAGES={85--97}, YEAR=1996 } @InProceedings{o'donnell_glafp97, author = {O'Donnell, J. and Ruenger, G.}, title = {{A Coordination Level Functional Implementation of the Hierarchical Radiosity Algorithm}}, booktitle = WSTITLE, year = 1997, organization = {Department of Computing Science, University of Glasgow}, address = {Ullapool, Scotland}, month = {September}, url = {http://www.dcs.gla.ac.uk/\~{}jtod/fp-workshop-97/ODonnellRuenger.ps.gz}, annote = {draft proceedings}, } @InProceedings{oplus, author = {Paul I. Crumpton and Mike B. Giles}, title = {{Multigrid Aircraft Computations Using the {OPlus} Parallel Library}}, booktitle = {Parallel Computational Fluid Dynamics: Implementation and Results Using Parallel Computers. Proceedings Parallel CFD'95}, year = 1995, publisher = {Elsevier/North-Holland}, address = {Pasadena, CA, USA}, month = {June}, pages = {339--346} } @INCOLLECTION{osb90, AUTHOR = {Osborne, R. B.}, TITLE = {{{S}peculative {C}omputation in {M}ultilisp}}, EDITOR = {Ito, T. and Halstead, Jr., R. H.}, BOOKTITLE = {Parallel Lisp: Languages and Systems}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {441}, PUBLISHER = {Springer-Verlag}, YEAR = 1990, PAGES = {103 -- 137}, } @Misc{pH, author = {R. S. Nikhil and Arvind and J. Hicks}, title = {{{pH} {L}anguage {P}roposal ({P}reliminary)}}, note = {Electronic communication on comp.lang.functional}, year = {1993}, month = {1st. September}, } @InProceedings{parrott:bsp1, author = {P. B. Monk and A. K. Parrott and P. J. Wesson}, title = {{A Parallel Finite Element Method for Electro-Magnetic Scattering}}, booktitle = {COMPEL}, volume = 13, year = 1994, pages = {Supp.A:237--242} } @article{parrott:bsp2, title = {{Portability, Predictability and Performance for Parallel Computing: {BSP} in Practice}}, author = {Reed, Joy and Parrott, Kevin and Lanfear, Tim}, journal = {Concurrency: Practice and Experience}, volume = 8, number = 10, month = {December}, pages = {799--812}, year = 1996 } @Article{parrott:bsp3, author = {M. C. Dracopoulos and C. Glasgow and K. Parrott and J. Simkin}, title = {{Bulk Synchronous Parallelisation of Industrial Electromagnetic Software}}, journal = {International Journal of Supercomputer Application of High Performance Computing}, year = 1996 } @PHDTHESIS{pat91, AUTHOR = {Partridge, A. S.}, TITLE = {{{S}peculative {E}valuation in {P}arallel {I}mplementations of {L}azy {F}unctional {L}anguages}}, SCHOOL = {Department of Computer Science, University of Tasmania}, ADDRESS = {}, YEAR = 1991, } @INPROCEEDINGS{pd89, AUTHOR = {Partridge, A. S. and Dekker, A.}, TITLE = {{{S}peculative {P}arallelism in a {D}istributed {G}raph {R}eduction {M}achine}}, EDITOR = {}, BOOKTITLE = {Proceedings of 22nd Anual Hawaii International Conference on System Sciences, Vol.~2}, PUBLISHER = {}, YEAR = 1989, PAGES = {771 -- 779}, } @InProceedings{pelagatti97b, author = "S. Pelagatti", title = "{Compiling and Supporting Skeletons on MPP}", note = "to appear", booktitle = "Proceedings of MPPM97", publisher = "IEEE Computer Society Press", year = "1997" } @book{pelagatti98, author = "S. Pelagatti", title = "{Structured Development of Parallel Programs}", publisher = "Taylor and Francis", year = "1998" } @incollection{pep93a, author = {Pepper, P.}, title = {{Deductive Derivation of Parallel Programs}}, booktitle = {{Parallel Algorithm Derivation and Program Transformation}}, chapter = {1}, year = {1993}, OPTeditor = {Paige, R. and Reif, J. and Wachter, R.}, note = {Also: Technical Report 92-23, Technische Universitat Berlin, July 1992}, pages = {1--53}, publisher = KAP, url = {http://uebb.cs.tu-berlin.de/papers/published/TR92-23.ps.gz}, keywords = {parallel, functional programming, skeleton, derivation}, location = {uebb}, } @inproceedings{peters81, author = "F.J. Peters", title = "{Tree Machines and Divide and Conquer Algorithms}", booktitle = "Proceedings CONPAR 81", series = LNCS, volume = "111", publisher = "Springer-Verlag", year = "1981", pages = "25--36"} @InProceedings{petrini:ipps98, author = {Fabrizio Petrini}, title = {{Total-Exchange on Wormhole K-ary N-Cubes with Adaptive Routing}}, booktitle = {12th International Parallel Processing Symposium \& 9th Symposium on Parallel and Distributed Processing}, year = 1998, month = {April} } @article{pitts-coind, author="Andrew M. Pitts", title="{A Co-Induction Principle for Recursively Defined Domains}", volume = "124", number = "2", pages = "195-219", year = "1994", journal="Theoretical Computer Science"} @Article{pram1, author = {K. Mehlhorn and U. Vishkin}, title = {{Randomized and Deterministic Simulations of {PRAM}s by Parallel Machines with Restricted Granularity of Parallel Memories}}, journal = {Acta Informatica}, year = 1984, volume = 21, pages = {339--374} } @Article{pram2, author = {T. J. Harris}, title = {{A Survey of {PRAM} Simulation Techniques}}, journal = {ACM Computing Surveys}, year = 1994, volume = 26, number = 2, month = {June}, pages = {187--206} } @article{preparata81, author = "F.P. Preparata and J. Vuillemin", title = "{The Cube-Connected Cycles: A Versatile Network for Parallel Computation}", journal = "Communications of the ACM", year = "1981", volume = "24", number = "5", pages = "300--309"} @inproceedings{pritchard87, author = "D.J. Pritchard and others.", title = "{Practical Parallelism Using Transputer Arrays}", editor = "J.W. de Bakker", publisher = "Springer-Verlag", booktitle = "PARLE 87", series = LNCS, volume = "258", year = "1987", pages = ""} @InProceedings{publib, author = {Olaf Bonorden and Ben Juulink and von Otto, Ingo and Ingo Rieping}, title = {{The Paderborn University {BSP} ({PUB}) Library---Design, Implementation and Performance}}, booktitle = {13th International Parallel Processing Symposium \& 10th Symposium on Parallel and Distributed Processing}, year = 1999, month = {April} } @book{quinn94, author = "M. J. Quinn", title = "{Parallel Computing: Theory and Practice}", publisher = "McGraw-Hill", year = "1994"} @inproceedings{rabhi95, author ="Rabhi, Fethi A.", title ="{A Parallel Programming Methodology Based on Paradigms}", editor ="Nixon, P.", booktitle ="Transputer and Occam Developments", publisher ="IOS Press", pages ="239-252", year ="1995", } @InProceedings{radu:loop, author = {Radu Calinescu}, title = {{A {BSP} Approach to the Scheduling of Tightly-Nested Loops}}, booktitle = {nternational Parallel Processing Symposium (IPPS'97)}, year = 1997, publisher = {IEEE Computer Society Press}, address = {Geneva, Switzerland,}, month = {April}, pages = {549-553} } @Article{radu:qr, author = {R. Calinescu and D.J. Evans }, title = {{Bulk-Synchronous Parallel Algorithms for QR and QZ Matrix Factorisation}}, journal = {Parallel Algorithms and Applications}, year = 1997, volume = 11, pages = {97-112} } @techreport{rauber:runger, author= {T. Rauber and G. R\"{u}nger}, title = {{Parallel Numerical Algorithms with Data Distribution Types}}, institution = {University of Saarbrucken, Sonderforschungsbereich 124}, number = {95-04}, year = {1995}, } @TECHREPORT{rep92, AUTHOR = {Reppy, J. H.}, TITLE = {{{H}igher--{O}rder {C}oncurrency}}, INSTITUTION = {Department of Computer Science, Cornell University}, ADDRESS = {Ithaca, NY 14853}, TYPE = {TR 92--1852}, NUMBER = {}, YEAR = 1992, } @article{rewini, author= {H. El-Rewini and T. Lewis}, title = {{Scheduling Parallel Programming Tasks onto Arbitrary Target Machines}}, journal = {Journal of Parallel and Distributed Computing}, volume = {9}, year = {1989}, pages = {138-153}, } @book{sabot:parallation, author = {Gary Sabot}, publisher = {{MIT} Press}, title = {{The Parallation Model : Architecture Independent {SIMD} Programming}}, year = {1988} } @INPROCEEDINGS{sch86, AUTHOR = {Scheevel, M.}, TITLE = {{{NORMA}: {A} {G}raph {R}eduction {P}rocessor}}, EDITOR = {}, BOOKTITLE = {ACM Conference on LISP and Functional Programming, Cambridge, MA}, PUBLISHER = {}, YEAR = 1986, PAGES = {109--139}, } @INPROCEEDINGS{sch97, AUTHOR = {Schroeder, R.}, TITLE = {{{D}istributed {B}readth--First {S}earches as {S}peculative {E}valuations}}, crossref = "ifl97-selectedpapers", year = "1997", PAGES = {243 -- 259}, } @ARTICLE{schm91b, AUTHOR = {Schmittgen, C. and Bloedorn, H. and Kluge, W.}, TITLE = {{$\pi$-{\sc red}$^*$ -- {A} {G}raph {R}educer for a {F}ull-{F}ledged $\lambda$-{C}alculus}}, JOURNAL = {New Generation Computing, OHMSHA Ltd.\ and Springer-Verlag}, YEAR = 1992, VOLUME = {10}, NUMBER = {2}, PAGES = {173--195}, } @inproceedings{serot:europar97, author= {Jocelyn S\'erot}, title= {{Embodying Parallel Functional Skeletons: An Experimental Implementation on Top of {MPI}}}, booktitle= {{EuroPar'97} Parallel Processing}, year= 1997, editor= {{C. Lengauer} and {M. Griebl} and {S. Gorlatch}}, number= 1300, series= LNCS, pages= {629--633}, address= {Passau, {G}ermany}, month= {August}, publisher= {{Springer-Verlag}} } @INPROCEEDINGS{shz97, AUTHOR = {Scholz, S-B.}, TITLE = {{{O}n {P}rogramming {S}cientific {A}pplications in {\sc sac} -- a {F}unctional {P}rogramming {L}anguage {E}xtended by a {S}ubsystem for {H}igh--{L}evel {A}rray {O}perations}}, crossref = "ifl96-selectedpapers", year = "1996", PAGES = {85 -- 104}, } @inproceedings{sisal:sked, AUTHOR={Stephen K. Skedzielewski}, TITLE={{Sisal}}, BOOKTITLE={Parallel Functional Languages and Compilers}, EDITOR={Szymanski}, PUBLISHER={ACM Press}, YEAR=1991 } @book{sjt-book, title = "{Type Theory and Functional Programming}", author = "Simon Thompson", publisher = "Addison Wesley", year = 1991} @InProceedings{skill:europar98.1, author = {D. B. Skillicorn and M. Danelutton and S. Pelagatti and A. Zavanella}, title = {{Optimising Data-Parallel Programs Using the {BSP} Cost Model}}, booktitle = {EuroPar'98}, volume = 1470, series = LNCS, year = 1998, publisher = {Springer-Verlag}, month = {September}, pages = {698--708} } @InProceedings{skill:europar98.2, author = {Cristina Boeres and Vinod E. F. Rebello and David B. Skillicorn}, title = {{Static Scheduling Using Task Replication for {LogP} and {BSP} Models}}, booktitle = {EuroPar'98}, volume = 1470, series = LNCS, year = 1998, publisher = {Springer-Verlag}, month = {September}, pages = {698--708} } @unpublished{skill:minibsp, author ="Skillicorn, David B.", title ="{{miniBSP}: A {BSP} Language and Transformation System}", month ="November", year ="1996", scope ="bulk synchronous parallel model (BSP)", abstractURL ="http://www.qucis.queensu.ca/home/skill/papers.html", documentURL ="http://www.qucis.queensu.ca/home/skill/mini.ps", note ="http://www.qucis.queensu.ca/home/skill/mini.ps", keywords ="program transformation, cluster computing, dataflow" } @book{skillicorn:book, author = {D. B. Skillicorn}, title = {{Foundations of Parallel Programming}}, publisher = {Cambridge University Press}, series = {Cambridge Series in Parallel Computation}, number = {6}, year = {1994}, } @article{skillicorn:cost2, author = {D. B. Skillicorn and W. Cai}, title = {{A Cost Calculus for Parallel Functional Programming}}, journal = {Journal of Parallel and Distributed Computing}, volume = {28}, number = {1}, month = {July}, year = {1995}, pages = {65--83}, } @article{skillicorn:treecalc, author= {D. B. Skillicorn}, title = {{Parallel Implementation of Tree Skeletons}}, journal = {Journal of Parallel and Distributed Computing}, volume = {39}, year = {1996}, pages = {115--125}, } @TECHREPORT{sm84, AUTHOR = {Smith, S.}, TITLE = {{{T}he {LMI} {L}ambda {T}echnical {S}ummary}}, INSTITUTION = {LMI Inc.}, ADDRESS = {Los Angeles, CA}, TYPE = {}, NUMBER = {}, YEAR = 1984, } @phdthesis{sujithan:phd, author = "K. Ronald Sujithan", title = "{{B}ulk {S}ynchronous {P}arallelism in {O}bject-{R}elational {D}atabase {S}ystems}", school = "Oxford University Computing Laboratory", type = "{D.Phil.} Thesis", month = "Trinity Term", year = 1997 } @inproceedings{telfTurner, author="Alastair Telford and David Turner", title="{Ensuring Streams Flow}", pages = "509-523", editor="M.\ Johnson", booktitle="Algebraic Methodology and Software Technology 1997", publisher="Springer-Verlag", year=1997} @phdthesis{thesis, author = "M. I. Cole", title = "{Algorithmic Skeletons: A Structured Approach to the Management of Parallel Computation}", school = "University of Edinburgh, Computer Science Department", type = " PhD thesis", number = "CST-56-88", year = "1988"} @phdthesis{to95, author = "H. W. To", title = "{Optimising the Parallel Behaviour of Combinations of Program Components}", school = "{Department of Computer Science, Imperial College}", type = "{PhD Thesis}", year = "1995"} @book{tt-book, author = {Bengt Nordstr\"{o}m and Kent Petersson and Jan M. Smith}, title = {{Programming in {Martin-L\"{o}f's} Type Theory --- An Introduction}}, publisher = "Oxford University Press", year = 1990 } @Article{valiant:acm, author = "Leslie G. Valiant", title = "{A Bridging Model for Parallel Computation}", journal = "Communications of the ACM", year = 1990, volume = 33, number = 8, pages = "103--111", month = "August" } @incollection{valiant:long, author = {L. G. Valiant}, title = {{General Purpose Parallel Architectures}}, booktitle = {Handbook of Theoretical Computer Science, Vol. {A}}, editor = {J. van Leeuwen}, publisher = {Elsevier Science Publishers and {MIT} Press}, year = {1990}, } @Article{valiant:randomroute, author = "Leslie G. Valiant", title = "{A Scheme for Fast Parallel Communication}", journal = "SIAM Journal of Computing", volume = "11", number = "2", month = may, year = "1982", pages = "350--361" } @ARTICLE{veg84, AUTHOR = {Vegdahl, S. R.}, TITLE = {{{A} {S}urvey of {P}roposed {A}rchitectures for the {E}xecution of {F}unctional {L}anguages}}, JOURNAL = {IEEE--Transactions on Computers}, YEAR = 1984, VOLUME = {C--33}, NUMBER = {12}, PAGES = {1050 -- 1071}, } @Article(wad92, Author={Wadler, P.}, Title={{Comprehending Monads}}, Journal={Mathematical Structures in Computer Science}, Year={1993}, Note={Special issue of selected papers from 6'th Conference on Lisp and Functional Programming, 1992} ) @article{wadler, author = "Wadler, P.", title = "{Why No One Uses Functional Languages}", journal = "ACM SIGPLAN", volume = "33", number = "8", month = "August", year = "1998"} @incollection{walther, author="D.\ McAllester and K.\ Arkondas", title="{Walther Recursion}", booktitle="{CADE 13}", editor="M.A.\ Robbie and J.K.\ Slaney", publisher="{Springer-Verlag}", pages = "643-657", year=1996} @book{winskel, title = "{The Formal Semantics of Programming Languages}", author = "Glynn Winskel", publisher = "MIT Press", year = 1993 } @techreport{x6bench, author = "Whalen, D. J. and Hollowell, D. E. and Hendricks, J. S.", year = "1991", title = "{MCNP: Photon Benchmark Problems}", institution = "Los Alamos National Laboratory", number = "Report LA-12196"} @BOOK{zim91, AUTHOR = {Zimmer, R.}, TITLE = {{{Z}ur {P}ragmatik eines {O}perationalisierten $\lambda$-{K}alkuels als {B}asis fuer {I}nteraktive {R}eduktionssysteme}}, SERIES = {GMD-Bericht}, VOLUME = {192}, PUBLISHER = {Oldenbourg}, YEAR = 1991, NOTE = {}, KEYWORDS = {}, } @inproceedings{ifl96-selectedpapers, key = "Kluge", booktitle = "Proceedings of 8th International Workshop on the Implementation of Functional Languages", editor = "W. Kluge", publisher = "Springer-Verlag", volume = "1268", series = {Lecture Notes in Computer Science}, year = 1996 } @inproceedings{ifl97-selectedpapers, key = "Clack", booktitle = "Proceedings of 9th International Workshop on the Implementation of Functional Languages", editor = "C. Clack and K. Hammond and T. Davie", publisher = "Springer-Verlag", volume = "1467", series = {Lecture Notes in Computer Science}, year = 1997 } @inproceedings{ifl98-selectedpapers, key = "Hammond", booktitle = "Proceedings of 10th International Workshop on the Implementation of Functional Languages", editor = "K. Hammond and T. Davie and C. Clack", publisher = "Springer-Verlag", volume = "1595", series = {Lecture Notes in Computer Science}, year = 1998 } @incollection{IlliacIV, author = "G. H. Barnes and R. M. Brown and M. Kato and D. Kuck and D. Slotnick and R. Stokes", title = "{The ILLIAC IV Computer}", chapter = "27", booktitle = "Computer Structures: Readings and Examples", editor = "C. G. Bell and A. Newell", publisher = "McGraw-Hill", year = "1971" } @unpublished{BaileyPete1994, author ="Bailey, Peter", title ="{Algorithmic Skeletons in paraML}", langModel ="func", note ="TRACS Research Report, Edinburgh Parallel Computing Centre", year ="1994" } @inproceedings{Darlington93b, author ="Darlington, J. and Ghanem, M. and To, H.W.", title ="{Structured Parallel Programming}", address ="Berlin", pages ="160--169", publisher ="IEEE Computer Society Press", booktitle ="Massively Parallel Programming Models Conference", month ="Sept", year ="1993" } @book{LOTOS, author = "ISO", title = "{Information Processing Systems: Open Systems Interconnection: LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour}", publisher = "International Organization for Standards", series = "ISO 8807:1989(E)", year = "1989" } {@book{Estelle, author = "ISO", title = "{Information Processing Systems: Open Systems Interconnection: Estelle: A Formal Description Technique Based on an Extended State Transition Model}", publisher = "International Organization for Standards", series = "ISO 9074:1989", year = "1989" } @INPROCEEDINGS{hugh82, AUTHOR = {Hughes, R. J. M.}, TITLE = {{{S}uper-{C}ombinators - {A} {N}ew {I}mplementation {T}echnique for {A}pplicative {L}anguages}}, EDITOR = {}, BOOKTITLE = {Proceedings of ACM Conference on LISP and Functional Programming, Pittsburgh, PA}, PUBLISHER = {}, YEAR = 1982, PAGES = {1 -- 19}, } @INCOLLECTION{hugo85, AUTHOR = {{H}udak, {P}. and {G}oldberg, {B}.}, TITLE = {{{S}erial {C}ombinators: {O}ptimal {G}rains for {P}arallelism}}, EDITOR = {}, BOOKTITLE = {{P}roceedings of the {C}onference on {F}unctional {P}rogramming and {C}omputer {A}rchitecture}, SERIES = {{L}ecture {N}otes in {C}omputer {S}cience}, VOLUME = {201}, PUBLISHER = {Springer-Verlag}, YEAR = 1985, PAGES = {382--399}, } @ARTICLE{kge83, AUTHOR = {Kluge, W.E.}, TITLE = {{C}ooperating {R}eduction {M}achines}, JOURNAL = {IEEE Transactions on Computers}, YEAR = 1983, VOLUME = {C-32}, NUMBER = {11}, PAGES = {1002 - 1012}, } @TECHREPORT{ arvi80, AUTHOR = {Arvind and R.E. Thomas}, TITLE = {{{I}-{S}tructures : {A}n {E}fficient {D}ata {T}ype for {F}unctional {L}anguages}}, INSTITUTION = {MIT Laboratory of Computer Science}, ADDRESS = {}, TYPE = {}, NUMBER = {178}, YEAR = 1980, NOTE = {}, KEYWORDS = {}, } @book{curien:cam, author = "P. L. Curien", title = "{Categorical Combinators, Sequential Algorithms and Functional Programming}", publisher = "Wiley", series = "Research Notes in Theoretical Computer Science", year = "1986"} @book{lemmon, title="{Beginning Logic}", author="E. J. Lemmon", publisher="{T}homas {N}elson and Sons Limited", year=1965} @inproceedings{Gosling95, author = {J. Gosling}, title = {{Java Intermediate Bytecodes}}, booktitle = {Papers of the ACM SIGPLAN workshop on Intermediate representations}, publisher = {ACM}, address = {New York, NY}, year = {1995} } @incollection{Goldsmith93, AUTHOR = {R. G. Goldsmith and D. L. McBurney and M. R. Sleep}, TITLE = {{Parallel Execution of Concurrent Clean on ZAPP}}, YEAR = 1993, BOOKTITLE = {Term Graph Rewriting: Theory and Practice}, EDITOR = {M. R. Sleep and M. J. Plasmeijer and M. C. J. van Eekelen}, PUBLISHER = {Wiley}, ADDRESS = {Toronto}, PAGES = {283-302}, KEYWORDS = {} } @incollection{Lester87, author = {D.R. Lester}, editor = {G. Kahn}, title = {{The {G}-Machine as a Representation of Stack Semantics}}, booktitle = {Functional Programming Languages and Computer Architecture}, pages = {47-59}, publisher = {Springer-Verlag}, address = {Berlin, DE}, year = {1987}, ISBN = {3-540-18317-5}, abstract = {This paper outlines a proof that an implementation similar to Johnsson's is correct with respect to a stack semantics for a simple lazy functional programming language.}, note = {Lecture Notes in Computer Science 274; Proceedings of Conference held at Portland, OR.} } @techreport{Lester89a, author = {D.R. Lester}, title = {{Combinator Graph Reduction: {A} Congruence and its Applications}}, institution = {Oxford University Computing Laboratory}, type = {Technical Monograph}, number = {PRG-73}, address = {Oxford, UK}, year = {1989}, keywords = {semantics functional gmachine machine}, ISBN = {0-902928-55-4}, abstract = {This thesis may be read as a formal mathematical proof the the G-machine is correct with respect to a denotational semantic specification of a simple language. A simple lazy functional language is defined both denotationally and operationally; both are defined to handle erroneous results. The operational semantics models graph reduction, and is based on reduction to weak head normal form. The two semantic definitions are shown to be congruent.}, note = {D. Phil Thesis.} } @techreport{Raber87a, author = {M. Raber and T. Remel and E. Hoffman and D. Maurer and F. Muller and H-G Oberhauser and R. Wilhelm}, title = {{Compiled Graph Reduction on a Processor Network}}, institution = {Universitdt des Saarlandes}, type = {Technical Report}, address = {Saarbrucken, DE}, keywords = {functional}, year = {1987} } @techreport{Raber87b, author = {M. Raber and T. Remel and D. Maurer and F. Muller and H-G Oberhauser and R. Wilhelm}, title = {{A Concept for a Parallel {G}-machine}}, institution = {Universitdt des Saarlandes}, type = {Technical Report}, number = {SFB 124-C1}, address = {Saarbrucken, DE}, keywords = {functional}, year = {1987} } @InProceedings{ODonnell93-PARLE-esf, author = {John O'Donnell}, title = {{Data-Parallel Implementation of Extensible Sparse Functional Arrays}}, booktitle = {Parallel Architectures and Languages Europe}, year = {1993}, month = {June}, pages = {68--79}, publisher = {Springer-Verlag}, series = LNCS, volume = {694}, OPTcrossref = {}, OPTkey = {}, OPTeditor = {}, OPTnumber = {}, OPTaddress = {}, OPTorganization = {}, OPTnote = {}, OPTannote = {} } @TechReport{ODonnellRuenger95-TR-adder, author = {John O'Donnell and Gudula R{\"u}nger}, title = {{Formal Derivation of a Parallel Binary Addition Circuit}}, institution = {University of Glasgow}, year = {1995}, number = {TR-1995-19}, OPTkey = {}, OPTtype = {}, OPTaddress = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @TechReport{ODonnell-comb-algorithm, author = {John O'Donnell}, title = {{The Comb Communication Algorithm for Fine Grain Data Parallel Systems}}, institution = {University of Glasgow}, year = {1998}, OPTkey = {}, OPTtype = {}, OPTnumber = {}, OPTaddress = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @ARTICLE{PPmodels, title = "{Models and Languages for Parallel Computation}", author = "D. B. Skillicorn and D. Talia", journal = "ACM Computing Surveys", number ="2", volume ="30", pages ="123--169", year ="1998", keywords = "parallel programming models parallel languages taxonomy", abstract-url = "http://isi-cnr.deis.unical.it:1080/~talia/psdoc.html", url = "http://isi-cnr.deis.unical.it:1080/~talia/models.ps" } @ARTICLE{Gentleman, title = "{Some Complexity Results for Matrix Computations on Parallel Processors}", author = "W.M. Gentleman", journal = "Journal of the ACM", volume ="25", pages ="112-115", year ="1978", } @inproceedings{HaskellCOM, author ="S. L. {Peyton Jones} and E. Meijer and D. Leijen", title ="{Scripting COM Components in Haskell}", booktitle ="Fifth Intl Conf on Software Reuse", month ="Jun", year ="1998", } @techreport{p4, author ="Ralph Butler and Ewing Lusk", title ="{Users's Guide to the p4 Parallel Programming System}", number ="ANL-92/17", institution ="Mathematics and Computer Science Division, Argonne National Laboratory", month ="Oct", year ="92", } @ARTICLE{PVMvsMPI, title = "{PVM and MPI: A Comparison of Features}", author = "G. A. Geist and J. A. Kohla and P. M. Papadopoulos", journal = "Calculateurs Paralleles", volume ="8", number="2", pages ="137-150", year ="1996", } @book{Caml, author ="Guy Cousineau and Michel Mauny", title ="{The Functional Approach to Programming}", publisher ="Cambridge University Press", year ="1998", documentURL ="http://pauillac.inria.fr/caml" } @inproceedings{DPFL, author ="Kuchen, H. and Plasmeijer, R. and Stoltze, H.", title ="{Distributed Implementation of a Data Parallel Functional Language}", pages ="464-477", booktitle ="Parallel Architectures \& Languages Europe", series = LNCS, volume = 817, publisher = "Springer-Verlag", year ="1994", scope ="pardp" } @inproceedings{G-Machine, author = "T. Johnsson", title = "{Efficient Compilation of Lazy Evaluation}", booktitle = "Proceedings of ACM Conference on Compiler Construction", address = "Montreal", year = "1984", pages = "58-69" } @book{jamieson87, author = "L. Jamieson and D. Gannon and R.J. Douglass", title = "{The Characteristics of Parallel Algorithms}", publisher = "MIT Press", year = "1987"} @inproceedings{Achten1991a, author = "Achten, P.M.", title = "{Annotations for Load Distribution}", crossref = "ifl91", year = "1991", pages = "247--264" } @proceedings{ifl91, title = "Proceedings of the Workshop on Parallel Implementation of Functional Languages, CSTR 91-07", booktitle = "Proceedings of the Workshop on Parallel Implementation of Functional Languages, CSTR 91-07", year = "1991", editor = "Glaser, H. and Hartel, P.", address = "University of Southampton, U.K." } @article{Abd99, author = "A. E. Abdallah", title = "{An Algebraic Approach for Refining Functions into CSP Processes}", journal ="{ (Submitted to) Formal Aspects of Computing}", year = "1999", } @book{Rsc98, author = "W. A. Roscoe", title = "{Theory and Practice of Concurrency}", year = "1998", publisher = "Prentice-Hall", } @ARTICLE{tcsp, AUTHOR={S. D. Brookes and C. A. R. Hoare and A. W. Roscoe}, TITLE={{A Theory of Communicating Sequential Processes}}, JOURNAL={Journal of the ACM}, VOLUME={31}, NUMBER={3}, PAGES={560-599}, STATUS={}, YEAR=1984 } @INPROCEEDINGS{edenPLILP98, AUTHOR={Silvia Breitinger and Ulrike Klusik and Rita Loogen}, TITLE={{From (sequential) Haskell to (parallel) Eden: An Implementation Point of View}}, BOOKTITLE={{International Symposium on Programming Languages: Implementations, Logics, Programs (PLILP)}}, PUBLISHER={Springer-Verlag}, SERIES=LNCS, volume = {1490}, YEAR=1998 } @INPROCEEDINGS{mstgm, AUTHOR={Manuel M.T. Chakravarty}, TITLE={{Integrating Multithreading into the Spineless Tagless G-machine}}, BOOKTITLE={Glasgow Workshop on Functional Programming}, SERIES={Workshops in Computing}, PUBLISHER={Springer-Verlag}, xNOTE={http://www.springer.co.uk/eWiC/Workshops/Functional95.html, {ISBN 3-540-14580-X}}, EDITOR={D. N. Turner}, YEAR=1995 } @ARTICLE{shapiro, AUTHOR={Ehud Shapiro}, TITLE={{The Family of Concurrent Logic Programming Languages}}, JOURNAL={ACM Computing Surveys}, VOLUME={21}, NUMBER={3}, STATUS={}, YEAR=1989 } @book{ DeBellumGallicum, author = "{C. J. Caeser}", title = {Commentarii de Bello Gallico}, address = "Rome", year = "46 BC", note="\newline\code{http://harvest.ablah.twsu.edu/caesar/gallic/}" } @InProceedings{RuncimanWakeling93, author = "C. Runciman and D. Wakeling", title = "{P}rofiling {P}arallel {F}unctional {C}omputations ({W}ithout {P}arallel {M}achines)", booktitle = "{F}unctional {P}rogramming, {G}lasgow '93", year = "1993", pages = "236--251", publisher = "Springer-Verlag", } @InCollection{RuncimanWakeling95, author = "C. Runciman and D. Wakeling", title = "A Quasi-parallel Evaluator", chapter = "10", pages = "161--176", crossref = "FLARE", year = "1995", } @InProceedings{MohrKranzHalstead90, author = "E. Mohr and D. Kranz and Halstead, Jr., R. H.", title = "A technique of increasing the granularity of parallel programs", booktitle = "Proceedings of the {ACM} {C}onference on {L}isp and {F}unctional {P}rogramming", year = "1990", pages = "185--197", publisher = "{ACM Press}", } @InProceedings{MiHu95, author = "Mirani, R. and Hudak, P.", title = "{First-Class Schedules and Virtual Maps}", booktitle = "Proceedings of {FPCA~'95}, {La Jolla, CA}", month = "June", year = "1995", pages = "78--85", publisher = "ACM Press", } @InProceedings{NockerEA1991a, author = "N{\"o}cker, E.G.J.M.H.and J.E.W.~Smetsers and van Eekelen, M.C. J.D. and M.J. Plasmeijer", title = "Concurrent Clean", booktitle = "Proc. {PARLE} '91 --- {P}arallel {A}rchitectures and {R}educti on {L}anguages Europe", editors = "Aarts, E.H.L and Leeuwen, J. and van Rem, M.", publisher = "Springer-Verlag", series = LNCS, volume = "505", pages = "202--220", year = "1991", } @InProceedings{HammondLoidlTrinder97, author = "K. Hammond and H-W. Loidl and P. W. Trinder", title = "Parallel Cost Centre Profiling", booktitle= "Proc. 1997 {G}lasgow {FP} {W}orkshop, {U}llapool, {S}cotland", publisher = "Department of Computer Science, University of Glasgow", year = "1997", } @InProceedings{SparudRunciman98, author = "J. Sparud and C. Runciman", title = "Complete and {P}artial {R}edex {T}rails of {F}unctional {C}omputations", crossref = "ifl97-selectedpapers", pages = "160--177", year = "1997", } @InProceedings{CharlesRunciman98, author = "N. Charles and C. Runciman", title = "An Interactive Approach to Profiling Parallel Functional Programs", crossref = "ifl98-selectedpapers", year = "1998", pages = "20--37", } @InProceedings{KingHallTrinder98, author = "D. King and J. Hall and P. W. Trinder", title = "{A Strategic Profiler for {G}lasgow {P}arallel {H}askell}", crossref = "ifl98-selectedpapers", year = "1998", pages = "88--102", } @article{LH96, author = {H-W. Loidl and K. Hammond}, title = "{Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer}", crossref = "ifl96-selectedpapers", pages = "184--199", year = "1996", } @InProceedings{sisal90, author = "John Feo and Patrick Miller and Stephen Skedzielewski and Scott Denton and Cindy Solomon", title = "Sisal 90", year = "1995", url = "ftp://sisal.llnl.gov/pub/hpfc/papers95/paper12.ps", editor = "A. P. Wim {B\"{o}hm} and John T. Feo", month = apr, pages = "35--47", scope = "defin", booktitle = "High Performance Functional Computing", } @InProceedings{Henderson82, author = "Peter Henderson", title = "Purely Functional Operating Systems", booktitle = "Functional Programming and its Applications", booksubtitle = "An advanced course", dates = "July 20--31, 1981", place = "Newcastle University", editor = "J. Darlington and Peter Henderson and David A. Turner", publisher = "Cambridge University Press", year = "1982", pages = "177--192", checked = "14 January 1992", } @INCOLLECTION{turner92, AUTHOR = {David A. Turner}, TITLE = {{An Approach to Functional Operating Systems}}, EDITOR = {David A. Turner}, PUBLISHER = {Addison Wesley}, BOOKTITLE = {{Research Topics in Functional Programming}}, YEAR={1992} } @INPROCEEDINGS{facile, AUTHOR={Bent Thomsen and Lone Leth and Tsung-Min Kuo}, TITLE={{FACILE --- From Toy to Tool}}, crossref = "mlwithconc", PAGES={97--144}, YEAR=1997, } @InProceedings{pict, author = "Benjamin C. Pierce and David N. Turner", title = "Pict: {A} Programming Language Based on the Pi-Calculus", booktitle = "Proof, Language and Interaction: Essays in Honour of Robin Milner", year = "1998", editor = "Gordon Plotkin and Colin Stirling and Mads Tofte", publisher = "mit", } @INPROCEEDINGS{edenChanStruct97, AUTHOR={Silvia Breitinger and Rita Loogen}, TITLE={{Channel Structures in the Parallel Functional Language Eden}}, BOOKTITLE={Glasgow Workshop on Funct. Prg.}, YEAR={1997} } @INPROCEEDINGS{assmannIFL96, AUTHOR={Claus Assmann}, TITLE={{Coordinating Functional Processes using Petri Nets}}, crossref = "ifl96-selectedpapers", YEAR=1996 } @INPROCEEDINGS{gehrkeHuhn96, AUTHOR={Thomas Gehrke and Michaela Huhn}, TITLE={{ProFun - A Language for Executable Specifications}}, BOOKTITLE="PLILP", PUBLISHER= S-V, SERIES= LNCS, volume = "1140", PAGES="304 -- 318", YEAR="1996" } @book{mlwithconc, title = "{ML with Concurrency: Design, Analysis, Implementation and Application}", editor = {F. Nielson}, publisher = "Springer-Verlag", year = "1997", series = "Monographs in Computer Science" } @article{Deutch85, author = "D. Deutch", title = "{Quantum theory, the Church-Turing Principle and the Universal Quantum Computer}", journal = "Proceedings of the Royal Society (London)", volume = "A400", pages = "97-117", year = "1985" } @book{kleene, author = "S. C. Kleene", title = "{Introduction to Metamathematics}", publisher = "North-Holland", year = "1952" } @book{lof, author = "Per {Martin-L\"{o}f}", title = "{Intuitionistic Type Theory}", publisher = "Bibliopolis", address = "Napoli", year = "1984" } @book{stoy, author = "J. E. Stoy", title = "{Denotational Semantics: the Scott-Strachey Approach to Programming language theory}", publisher = "MIT", year ="1977" } @article{hayes, author = "I. J. Hayes and C. B. Jones", title = "{Specifications are Not (Necessarily) Executable}", journal = "Software Engineering Journal", volume = "4", number = "6", pages = "330-338", year = "1989" } @techreport{schmidt, author = "D. A. Schmidt", title = "{Denotational Semantics as a Programming Language}", number = "CSR-100-82", institution = "Department of Computer Science, University of Edinburgh", month = "January", year = "1982" } @article{burstall, author = "R. M. Burstall and J. Darlington", title = "{A Transformation System for Developing Recursive Programs}", journal = "Journal of the ACM", volume = "24", number = "1", pages = "44-67", year = "1977" } @Book{NiAr99, author = "Nikhil, R.S. and Arvind", title = "{Implicit Parallel Programming in pH}", publisher = "John Wiley \& Sons", year = 1999, note = "To appear", } @BOOK{Ben-Ari, AUTHOR = "H. Ben--Ari", TITLE = "{Principles of Concurrent and Distributed Programming}", SERIES = "", VOLUME = "", PUBLISHER = "Prentice Hall, Englewood Cliffs", YEAR = 1990, NOTE = "", KEYWORDS = "", } @book{LambekScott, author = "J. Lambek and P. J. Scott", title = "{Introduction to Higher Order Categorical Logic}", publisher = "Cambridge University Press", year = 1986} @mastersthesis{parallelErlang, author = {Pekka Hedqvist}, title = {{A Parallel and Multithreaded Erlang Implementation}}, school = {Uppsala University}, year = {1998} } @book{Reynolds98, author = "J. C. Reynolds", title = "{Theories of Programming Languages}", publisher = "Cambridge University Press", year = {1998} }