Glasgow Parallel Haskell
About GpH
Home
History
Language
Constructs
Using GpH
Downloads
Tutorial
Activities
Projects
Mailing List
People
Publications
Standard Refs
All Papers
with Abstracts
BibTeX
Links
Haskell
Par Haskell Portal
GHC
Eden

Standard References

Language

Implementation

Parallel Applications

List of Publications (by Topic)

Implementation

V. Janjic and K. Hammond. Granularity-Aware Work-Stealing for Computationally-Uniform Grids. In CCGRID 2010 - Intl. Conf. on Cluster, Cloud and Grid Computing, pages 123-134, Melbourne, Australia, May 2010. [ bib | DOI | Abstract ]

S. Marlow, P. Maier, H.-W. Loidl, M. K. Aswad, and P. W. Trinder. Seq no more: Better Strategies for Parallel Haskell. In Haskell Symposium 2010, Baltimore, MD, USA, Sept. 2010. ACM Press. To appear. [ bib | .html | Abstract ]

J. Berthold, S. Marlow, K. Hammond, and A. Al Zain. Comparing and Optimising Parallel Haskell Implementations for Multicore Machines. In ADPNA 2009 - Intl. Workshop on Advanced Distributed and Parallel Network Applications, pages 386-393, Vienna, Austria, Sept. 2009. IEEE Computer Society. [ bib | DOI | Abstract ]

S. Marlow, S. L. Peyton-Jones, and S. Singh. Runtime Support for Multicore Haskell. In ICFP 2009 - Intl. Conf. on Functional Programming, pages 65-78, Edinburgh, Scotland, Aug. 2009. ACM Press. [ bib | DOI | http | Abstract ]

J. Berthold, A. Al Zain, and H.-W. Loidl. Scheduling Light-Weight Parallelism in ArTCoP. In PADL 2008 - Intl. Symp. on Practical Aspects of Declarative Languages, volume 4902 of Lecture Notes in Computer Science, pages 214-229, San Francisco, CA, USA, Jan. 2008. Springer. [ bib | DOI | .pdf | Abstract ]

S. Marlow, T. Harris, R. P. James, and S. L. Peyton-Jones. Parallel Generational-Copying Garbage Collection with a Block-structured Heap. In ISMM 2008 - Intl. Symp. on Memory Management, pages 11-20, Tucson, AZ, USA, June 2008. ACM Press. [ bib | DOI | Abstract ]

A. Al Zain, P. W. Trinder, H.-W. Loidl, and G. J. Michaelson. Supporting High-Level Grid Parallel Programming: the Design and Implementation of Grid-GUM2 (Full Paper). In UK e-Science 2007 All Hands Meeting, Nottingham, UK, Sept. 2007. [ bib | .pdf | Abstract ]

A. Al Zain, P. W. Trinder, H.-W. Loidl, and G. J. Michaelson. Managing Heterogeneity in a Grid Parallel Haskell. Scalable Computing: Practice and Experience, 7(3):9-25, 2006. Selected papers from PAPP 2005 - Intl. Workshop on Practical Aspects of High-level Parallel Programming, Atlanta, GA, USA, May 2005. [ bib | .pdf | Abstract ]

T. Harris, S. Marlow, and S. L. Peyton-Jones. Haskell on a Shared-Memory Multiprocessor. In Haskell Workshop 2005, pages 49-61, Tallinn, Estonia, Sept. 2005. ACM Press. [ bib | DOI | http | Abstract ]

A. R. Du Bois, R. F. Pointon, H.-W. Loidl, and P. W. Trinder. Implementing Declarative Parallel Bottom-Avoiding Choice. In SBAC-PAD 2002 - Symp. on Computer Architecture and High Performance Computing, pages 82-92, Vitoria, Brazil, Oct. 2002. IEEE Computer Society. [ bib | DOI | .ps | Abstract ]

A. R. Du Bois, H.-W. Loidl, and P. W. Trinder. Thread Migration in a Parallel Graph Reducer. In IFL'02 - Intl. Workshop on the Implementation of Functional Languages, volume 2670 of Lecture Notes in Computer Science, pages 199-214, Madrid, Spain, Sept. 2002. Springer. [ bib | .ps | Abstract ]

H.-W. Loidl. The Virtual Shared Memory Performance of a Parallel Graph Reducer. In CCGrid 2002 - Intl. Symp. on Cluster Computing and the Grid, pages 311-318, Berlin, Germany, May 2002. IEEE Computer Society. [ bib | .html | Abstract ]

H.-W. Loidl. Load Balancing in a Parallel Graph Reducer. In SFP'01 - Scottish Functional Programming Workshop, volume 3 of Trends in Functional Programming, pages 63-74, Stirling, Scotland, Aug. 2001. Intellect. [ bib | .html | Abstract ]

R. F. Pointon, P. W. Trinder, and H.-W. Loidl. The Design and Implementation of Glasgow Distributed Haskell. In IFL'00 - Intl. Workshop on the Implementation of Functional Languages, volume 2011 of Lecture Notes in Computer Science, pages 53-70, Aachen, Germany, Sept. 2000. Springer. [ bib | DOI | .ps | Abstract ]

P. W. Trinder, R. F. Pointon, and H.-W. Loidl. Runtime System Level Fault Tolerance for a Distributed Functional Language. In SFP'00 - Scottish Functional Programming Workshop, volume 2 of Trends in Functional Programming, pages 103-114, St Andrews, Scotland, July 2000. Intellect. [ bib | .ps | Abstract ]

H.-W. Loidl and K. Hammond. Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer. In IFL'96 - Intl. Workshop on the Implementation of Functional Languages, volume 1268 of Lecture Notes in Computer Science, pages 184-199, Bad-Godesberg, Germany, Sept. 1996. Springer. [ bib | .html | Abstract ]

P. W. Trinder, K. Hammond, J. S. Mattson Jr., A. S. Partridge, and S. L. Peyton-Jones. GUM: A Portable Parallel Implementation of Haskell. In PLDI'96 - ACM Conf. on Programming Language Design and Implementation, pages 79-88, Philadephia, PA, USA, May 1996. ACM Press. [ bib | DOI | .html | Abstract ]

H.-W. Loidl and K. Hammond. GRAPH for PVM: Graph Reduction for Distributed Hardware. In IFL'94 - Intl. Workshop on the Implementation of Functional Languages, Norwich, UK, Sept. 1994. [ bib | .html | Abstract ]

K. Hammond, H.-W. Loidl, J. S. Mattson Jr., A. S. Partridge, S. L. Peyton-Jones, and P. W. Trinder. GRAPHing the Future. In IFL'94 - Intl. Workshop on the Implementation of Functional Languages, Norwich, UK, Sept. 1994. [ bib | .html | Abstract ]

K. Hammond. Getting a GRIP. In Intl. Workshop on the Parallel Implementation of Functional Languages, Nijmegen, The Netherlands, Sept. 1993. [ bib | .html | Abstract ]

K. Hammond and S. L. Peyton-Jones. Profiling Scheduling Strategies on the GRIP Multiprocessor. In Intl. Workshop on the Parallel Implementation of Functional Languages, pages 73-98, Aachen, Germany, Sept. 1992. [ bib | .html | Abstract ]

K. Hammond and S. L. Peyton-Jones. Some Early Experiments on the GRIP Parallel Reducer. In Intl. Workshop on the Parallel Implementation of Functional Languages, pages 51-72, Nijmegen, The Netherlands, June 1990. [ bib | .html | Abstract ]

Semantics and Analysis

P. W. Trinder, M. I. Cole, H.-W. Loidl, and G. J. Michaelson. Characterising Effective Resource Analyses for Parallel and Distributed Coordination. In FOPARA 2009 - Intl. Workshop on Foundational and Practical Aspects of Resource Analysis, Revised Selected Papers, volume 6324 of Lecture Notes in Computer Science, pages 67-83, Eindhoven, The Netherlands, Nov. 2009. Springer. [ bib | DOI | .pdf | Abstract ]

H.-W. Loidl, P. W. Trinder, K. Hammond, A. Al Zain, and C. A. Baker-Finch. Semi-Explicit Parallel Programming in a Purely Functional Style: GpH. In M. Alexander and B. Gardner, editors, Process Algebra for Parallel and Distributed Processing: Algebraic Languages in Specification-Based Software Development, pages 47-76. Chapman and Hall, Dec. 2008. [ bib | .pdf | Abstract ]

P. B. Vasconcelos. Cost Inference and Analysis for Recursive Functional Programs. PhD thesis, University of St Andrews, Feb. 2008. [ bib | .pdf | Abstract ]

A. R. Du Bois, R. F. Pointon, H.-W. Loidl, and P. W. Trinder. Implementing Declarative Parallel Bottom-Avoiding Choice. In SBAC-PAD 2002 - Symp. on Computer Architecture and High Performance Computing, pages 82-92, Vitoria, Brazil, Oct. 2002. IEEE Computer Society. [ bib | DOI | .ps | Abstract ]

Á. J. Rebón Portillo, K. Hammond, H.-W. Loidl, and P. B. Vasconcelos. Cost Analysis Using Automatic Size and Time Inference. In IFL'02 - Intl. Workshop on the Implementation of Functional Languages, volume 2670 of Lecture Notes in Computer Science, pages 232-247, Madrid, Spain, Sept. 2002. Springer. [ bib | .ps | Abstract ]

C. A. Baker-Finch, D. J. King, and P. W. Trinder. An Operational Semantics for Parallel Lazy Evaluation. In ICFP'00 - Intl. Conf. on Functional Programming, pages 162-173, Montreal, Canada, Sept. 2000. ACM Press. [ bib | DOI | .pdf | Abstract ]

J. G. Hall, C. A. Baker-Finch, P. W. Trinder, and D. J. King. Towards an Operational Semantics for a Parallel Non-Strict Functional Language. In IFL'98 - Intl. Workshop on the Implementation of Functional Languages, volume 1595 of Lecture Notes in Computer Science, pages 54-71, London, UK, Sept. 1998. Springer. [ bib | .html | Abstract ]

H.-W. Loidl and K. Hammond. A Sized Time System for a Parallel Functional Language. In Glasgow Workshop on Functional Programming, Ullapool, Scotland, July 1996. [ bib | .html | Abstract ]

Models of Parallelism

M. K. Aswad, P. W. Trinder, A. Al Zain, G. J. Michaelson, and J. Berthold. Low Pain vs No Pain Multi-core Haskells. In TFP'09 - Symp. on Trends in Functional Programming, volume 10 of Trends in Functional Programming, Komarno, Slovakia, June 2009. Intellect. To appear. [ bib | .pdf | Abstract ]

J. Berthold, S. Marlow, K. Hammond, and A. Al Zain. Comparing and Optimising Parallel Haskell Implementations for Multicore Machines. In ADPNA 2009 - Intl. Workshop on Advanced Distributed and Parallel Network Applications, pages 386-393, Vienna, Austria, Sept. 2009. IEEE Computer Society. [ bib | DOI | Abstract ]

P. W. Trinder, M. I. Cole, H.-W. Loidl, and G. J. Michaelson. Characterising Effective Resource Analyses for Parallel and Distributed Coordination. In FOPARA 2009 - Intl. Workshop on Foundational and Practical Aspects of Resource Analysis, Revised Selected Papers, volume 6324 of Lecture Notes in Computer Science, pages 67-83, Eindhoven, The Netherlands, Nov. 2009. Springer. [ bib | DOI | .pdf | Abstract ]

A. Al Zain, P. W. Trinder, G. J. Michaelson, and H.-W. Loidl. Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs. IEEE Transactions on Parallel and Distributed Systems, 19(2):219-233, 2008. [ bib | DOI | .pdf | Abstract ]

H.-W. Loidl, F. Rubio, N. Scaife, K. Hammond, S. Horiguchi, U. Klusik, R. Loogen, G. J. Michaelson, R. Peña, S. Priebe, Á. J. Rebón Portillo, and P. W. Trinder. Comparing Parallel Functional Languages: Programming and Performance. Higher-Order and Symbolic Computation, 16(3):203-251, 2003. [ bib | DOI | .ps | Abstract ]

P. W. Trinder and R. F. Loidl, Hans-WolfgangPointon. Parallel and Distributed Haskells. Journal of Functional Programming, 12(4&5):469-510, 2002. [ bib | .html | Abstract ]

H.-W. Loidl, P. W. Trinder, and C. Butz. Tuning Task Granularity and Data Locality of Data Parallel GpH Programs. Parallel Processing Letters, 11(4):471-486, 2001. Selected papers from HLPP'01 - Intl. Workshop on High-level Parallel Programming and Applications, Orleans, France, 26-27 March, 2001. [ bib | .html | Abstract ]

R. F. Pointon, S. Priebe, H.-W. Loidl, R. Loogen, and P. W. Trinder. Functional vs Object-Oriented Distributed Languages. In EUROCAST'01 - Intl. Conf. on Computer Aided Systems Theory, volume 2178 of Lecture Notes in Computer Science, pages 642-656, Las Palmas de Gran Canaria, Spain, Feb. 2001. Springer. [ bib | DOI | .ps | Abstract ]

H.-W. Loidl, U. Klusik, K. Hammond, R. Loogen, and P. W. Trinder. GpH and Eden: Comparing Two Parallel Functional Languages on a Beowulf Cluster. In SFP'00 - Scottish Functional Programming Workshop, volume 2 of Trends in Functional Programming, pages 39-52, St Andrews, Scotland, July 2000. Intellect. [ bib | .ps | Abstract ]

P. W. Trinder, H.-W. Loidl, E. Barry Jr., M. K. Davis, K. Hammond, U. Klusik, S. L. Peyton-Jones, and Á. J. Rebón Portillo. The Multi-Architecture Performance of the Parallel Functional Language GpH (Research Note). In Euro-Par 2000 - Intl. Conf. on Parallel Processing, volume 1900 of Lecture Notes in Computer Science, pages 739-743, Munich, Germany, Aug. 2000. Springer. [ bib | DOI | .html | Abstract ]

P. W. Trinder. Motivation for Glasgow distributed Haskell, a non-strict Functional Language. In PDSIA'99 - Intl. Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications, pages 72-81, Sendai, Japan, July 1999. World Scientific. [ bib | .html | Abstract ]

K. Hammond. Strategic SPMD. In Glasgow Workshop on Functional Programming, Pitlochry, Scotland, Sept. 1998. [ bib | .html | Abstract ]

P. W. Trinder, E. Barry Jr., M. K. Davis, K. Hammond, S. B. Junaidu, U. Klusik, H.-W. Loidl, and S. L. Peyton-Jones. GpH: An Architecture-independent Functional Language. Unpublished draft, July 1998. [ bib | .html | Abstract ]

P. W. Trinder, E. Barry Jr., M. K. Davis, K. Hammond, S. B. Junaidu, U. Klusik, H.-W. Loidl, and S. L. Peyton-Jones. Low level Architecture-independence of Glasgow Parallel Haskell (GpH). In Glasgow Workshop on Functional Programming, Pitlochry, Scotland, Sept. 1998. [ bib | .html | Abstract ]

P. W. Trinder, K. Hammond, H.-W. Loidl, and S. L. Peyton-Jones. Algorithm + Strategy = Parallelism. Journal of Functional Programming, 8(1):23-60, 1998. [ bib | DOI | .html | Abstract ]

H.-W. Loidl and K. Hammond. On the Granularity of Divide-and-Conquer Parallelism. In Glasgow Workshop on Functional Programming, Workshops in Computing, Ullapool, Scotland, July 1995. Springer. [ bib | .html | .pdf | Abstract ]

K. Hammond, J. S. Mattson Jr., and S. L. Peyton-Jones. Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer. In CONPAR'94 - Intl. Conf. on Parallel Processing, volume 854 of Lecture Notes in Computer Science, pages 521-532, Linz, Austria, Sept. 1994. Springer. [ bib | DOI | .html | Abstract ]

Tools

D. Jones Jr., S. Marlow, and S. Singh. Parallel Performance Tuning for Haskell. In Haskell Symposium 2009, pages 81-92, Edinburgh, Scotland, Sept. 2009. ACM Press. [ bib | DOI | http | Abstract ]

D. J. King, J. G. Hall, and P. W. Trinder. A Strategic Profiler for Glasgow Parallel Haskell. In IFL'98 - Intl. Workshop on the Implementation of Functional Languages 1998, volume 1595 of Lecture Notes in Computer Science, pages 88-102, London, UK, Sept. 1998. Springer. [ bib | .html | Abstract ]

K. Hammond, H.-W. Loidl, and P. W. Trinder. Parallel Cost Centre Profiling. In Glasgow Workshop on Functional Programming, pages 51-72, Ullapool, Scotland, Sept. 1997. Draft proceedings. [ bib | .html | Abstract ]

K. Hammond, H.-W. Loidl, and A. S. Partridge. Visualising Granularity in Parallel Programs: A Graphical Winnowing System for Haskell. In HPFC'95 - Conf. on High Performance Functional Computing, pages 208-221, Denver, CO, USA, Apr. 1995. [ bib | .html | Abstract ]

Parallel Applications

C. Brown, H.-W. Loidl, J. Berthold, and K. Hammond. Improving your CASH flow: The Computer Algebra SHell (Extended Abstract). In IFL'10 - Intl. Workshop on the Implementation of Functional Languages, Sept. 2010. Draft Proceedings. [ bib | .pdf | Abstract ]

A. Al Zain, K. Hammond, J. Berthold, P. W. Trinder, G. J. Michaelson, and M. K. Aswad. Low-Pain, High-Gain Multicore Programming in Haskell: Coordinating Irregular Symbolic Computations on Multicore Architectures. In DAMP'09 - Intl. Workshop on Declarative Aspects of Multicore Programming, pages 25-36, Savannah, GA, USA, Jan. 2009. ACM Press. [ bib | DOI | .pdf | Abstract ]

K. Hammond, A. Al Zain, G. Cooperman, D. Petcu, and P. W. Trinder. SymGrid: A Framework for Symbolic Computation on the Grid. In Euro-Par 2007 - Intl. Conf. on Parallel Processing, volume 4641 of Lecture Notes in Computer Science, pages 457-466, Rennes, France, Aug. 2007. Springer. [ bib | DOI | .pdf | Abstract ]

A. Al Zain, K. Hammond, P. W. Trinder, S. Linton, H.-W. Loidl, and M. Costanti. SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. In PAPP 2007 - Intl. Workshop on Practical Aspects of High-level Parallel Programming, volume 4488 of Lecture Notes in Computer Science, pages 617-624, Beijing, China, May 2007. Springer. [ bib | DOI | .pdf | Abstract ]

M. Lange and H.-W. Loidl. Parallel and Symbolic Model Checking for Fixpoint Logic with Chop. Electr. Notes Theor. Comput. Sci., 128(3):125-138, 2005. Selected Papers from PDMC'04 - Intl. Workshop on Parallel and Distributed Techniques in Verification, London, UK, Sep 2004. [ bib | DOI | .ps | Abstract ]

S. B. Junaidu and P. W. Trinder. Parallelising large irregular programs: an experience with Naira. Information Sciences, 140(3-4):229-240, 2002. Title of pre-print differs from published article. [ bib | .ps.gz | Abstract ]

H.-W. Loidl, P. W. Trinder, K. Hammond, S. B. Junaidu, R. G. Morgan, and S. L. Peyton-Jones. Engineering Parallel Symbolic Programs in GpH. Concurrency - Practice and Experience, 11(12):701-752, 1999. [ bib | .ps | Abstract ]

P. W. Trinder, H.-W. Loidl, and K. Hammond. Large-Scale Functional Applications. In K. Hammond and G. J. Michaelson, editors, Research Directions in Parallel Functional Programming, pages 399-426. Springer, Nov. 1999. [ bib | http | Abstract ]

H.-W. Loidl. Granularity in Large-Scale Parallel Functional Programming. PhD thesis, Dept. of Computing Science, Univ. of Glasgow, Mar. 1998. [ bib | .html | Abstract ]

C. V. Hall, H.-W. Loidl, P. W. Trinder, K. Hammond, and J. T. O'Donnell. Refining a Parallel Algorithm for Calculating Bowings. In Glasgow Workshop on Functional Programming, Ullapool, Scotland, Sept. 1997. Draft proceedings. [ bib | .html | Abstract ]

S. B. Junaidu, A. J. T. Davie, and K. Hammond. Naira: A Parallel^2 Haskell Compiler. In IFL'97 - Intl. Workshop on the Implementation of Functional Languages, volume 1467 of Lecture Notes in Computer Science, pages 214-230, St Andrews, Scotland, Sept. 1997. Springer. [ bib | .html | Abstract ]

H.-W. Loidl. LinSolv: a Case Study in Strategic Parallelism. In Glasgow Workshop on Functional Programming, Ullapool, Scotland, Sept. 1997. Draft proceedings. [ bib | .html | Abstract ]

H.-W. Loidl, R. G. Morgan, P. W. Trinder, S. Poria, C. Cooper, S. L. Peyton-Jones, and R. Garigliano. Parallelising a Large Functional Program or: Keeping LOLITA Busy. In IFL'97 - Intl. Workshop on the Implementation of Functional Languages, volume 1467 of Lecture Notes in Computer Science, pages 198-213, St Andrews, Scotland, Sept. 1997. Springer. [ bib | DOI | .html | Abstract ]

H.-W. Loidl and P. W. Trinder. Engineering Large Parallel Functional Programs. In IFL'97 - Intl. Workshop on the Implementation of Functional Languages, volume 1467 of Lecture Notes in Computer Science, pages 178-197, St Andrews, Scotland, Sept. 1997. Springer. [ bib | DOI | .html | Abstract ]

P. W. Trinder, K. Hammond, H.-W. Loidl, S. L. Peyton-Jones, and J. Wu. Accidents always Come in Threes: A Case Study of Data-intensive Programs in Parallel Haskell. In Glasgow Workshop on Functional Programming, Ullapool, Scotland, July 1996. [ bib | .html | Abstract ]

G. Akerholt, K. Hammond, S. L. Peyton-Jones, and P. W. Trinder. Processing Transactions on GRIP, a Parallel Graph Reducer. In PARLE'93 - Intl. Conf. on Parallel Architectures and Languages Europe, volume 694 of Lecture Notes in Computer Science, pages 634-647, Munich, Germany, June 1993. Springer. [ bib | DOI | .html | Abstract ]