This page is a collection of publications in the area of parallel functional programming written by the Glasgow Parallel Haskell group. The links below take you to abstracts, BibTeX, and PostScript for each paper. An out-of-date BibTeX bibliography for the papers up to 2000 is also available.

Recent papers, including those on architecture independence, and are available.

Implementation

• Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs
  In IEEE Transactions on Parallel and Distributed Systems. To appear.
• Supporting High-Level Grid Parallel Programming: the Design and Implementation of Grid-GUM2
  Proc. of the All Hands Meeting 2007 (AHM2007), Sept 2007.
• SymGrid: a Framework for Symbolic Computation on the Grid
  Proc. EuroPar'07, August 2007.
• Managing Heterogeneity in a Grid Parallel Haskell
  In Scalable Computing: Practice and Experience, Vol. 7, No. 3, pp. 9-26. May 2005.
• Comparing Parallel Functional Languages: Programming and Performance
  J. of Higher-order and Symbolic Computation, 2003
• Thread Migration in a Parallel Graph Reducer
  IFL, 2002.
• The Virtual Shared Memory Performance of a Parallel Graph Reducer
  CCGrid/DSM, 2002.
• Load Balancing in a Parallel Graph Reducer
  SFP, 2001.
• The Multi-Architecture Performance of the Parallel Functional Language GPH
  Europar, 2000.
• GpH and Eden: Comparing Two Parallel Functional Languages on a Beowulf Cluster
  SFP, 2000.
• GUM: a Portable Parallel Implementation of Haskell
  PLDI, 1996.
• Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer
  IFL, 1996.
• GRAPHing the Future
  IFL, 1994.
• GRAPH for PVM: Graph Reduction for Distributed Hardware
  IFL, 1994.
• Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer
  CONPAR, 1994.
• Processing Transactions on GRIP
  PARLE, 1993.
• Getting a GRIP
  IFL, 1993.
• Profiling Scheduling Strategies on the GRIP Multiprocessor
  IFL, 1992.
• Some Early Experiments on the GRIP Parallel Reducer
  IFL, June 1990.

Parallel Algorithms

• Engineering Parallel Symbolic Programs in GPH.
  Concurrency --- Practice and Experience, 1999.
• LinSolv: a Case Study in Strategic Parallelism
  Glasgow FP Workshop, 1997.
• Refining a Parallel Algorithm For Calculating Bowings
  Glasgow FP Workshop, 1997.
• Parallelising a Large Functional Program; Or: Keeping LOLITA Busy
  IFL, 1997.
• Engineering Large Parallel Functional Programs
  IFL, 1997.
• Naira: A Parallel 2 Haskell Compiler
  IFL, 1997.
• A Case Study of Data-intensive Programs in Parallel Haskell
  Glasgow FP Workshop, 1996.

Models of Parallelism

• Cost Analysis using Automatic Size and Time Inference
  IFL, 2002.
• A Declarative Parallel Bottom-Avoiding Choice
  SBAC-PAD, 2002.
• Parallel and Distributed Haskells
  J. of Functional Programming, 2002.
• Tuning Task Granularity and Data Locality of Data Parallel GpH Programs
  HLPP, March 2001.
• An Operational Semantics for Parallel Lazy Evaluation
  ICFP, September 2000.
• The Multi-Architecture Performance of the Parallel Functional Language GPH
  EuroPar, August 2000.
• Motivation for Glasgow distributed Haskell, a non-strict Functional Language
  PDSIA, July 1999.
• Juaskell: Implementing Evaluation Strategies in Java
  Submitted to CLaPF'99, November 1998.
• Engineering Parallel Symbolic Programs in GpH
  Concurrency Practice and Experience, 11(12):701--752, October 1999.
• Strategic SPMD
  Glasgow FP Workshop, September 1998.
• Low level Architecture-independence of Glasgow Parallel Haskell (GpH)
  Glasgow FP Workshop, September 1998.
• Towards an operational semantics for a parallel non-strict functional language
  IFL, September 1998.
• GpH: An Architecture-Independent Functional Language
  July 1998.
• Algorithm + Strategy = Parallelism
  Journal of Functional Programming, 8(1):23--60, January 1998.
• A Sized Time System for a Parallel Functional Language
  Glasgow FP Workshop, 1996.
• On the Granularity of Divide-and-Conquer Parallelism
  Glasgow FP Workshop, 1995.

Profiling

• The HasPar Performance Evaluation Suite for GpH: a Parallel Non-Strict Functional Language
  Software - Practice and Experience, February 2000. Submitted for publication.
• A strategic profiler for Glasgow Parallel Haskell
  IFL, September 1998.
• Parallel Cost Centre Profiling
  Glasgow FP Workshop, September 1997.
• Visualising Granularity in Parallel Programs: A Graphical Winnowing System for Haskell
  HPFC, 1995.

On-line Manuals

• A Gentle Introduction to GPH (a very drafty GPH User's Guide)
• STG Survival Sheet (a very drafty Implementor's Guide)
• GHC 4.06 User's Guide with updated sections on parallel execution.
• Our Evaluation Strategies paper
• GranSim user's guide
  

Miscellaneous

• Granularity in Large-Scale Parallel Functional Programming
  PhD Thesis, Glasgow, March 1998.
• Parallel Functional Programming: An Introduction
  PASCO, 1994.

Reports

• Parade final report
  
• GdH project final report
  

Related Paper Archives

• NESL
  The NESL language publications page.

• SEL-HPC
  The SEL-HPC WWW papers archive.