1 LANGUAGE

Glasgow Parallel Haskell, or GPH for short, is a non-strict parallel
functional programming language.  GPH is an extension of <a
href="http://www.haskell.org">Haskell</a>, adding a primitive for
parallel composition <b>par</b>, that is used together with sequential
composition <b>seq</b> to express how a program should be evaluated in
parallel.

<<PWT to add more here>>

2 USING GpH

2.1 Downloads
<<Get current Info from HWL>>

2.2 Tutorial

<<PWT to add more here>>

3 ACTIVITIES

3.1 Projects

3.1.1 Current Projects

09/09-08/13 <A HREF="http://www-circa.mcs.st-andrews.ac.uk/hpcgap.php">HPC-GAP: High
Performance Computational Algebra and Discrete Mathematics</A> is an
EPSRC project (EP/G05553X) to improve the software development
technologies for HPC software. Our part of the project is to extend
high-level parallel Haskell technologies to large scale HPC
platforms. The project is a collaboration with Aberdeen, St Andrews
and Edinburgh Universities.


04/06-04/11 <A
HREF="http://www.symbolic-computation.org/">Symbolic Computation
Infrastructure for Europe (SCIEnce)</A> EU FP6 I3 project (026133)
with partners at University of St Andrews, Universtitaet Linz, CNRS,
Universitaet Paderborn, Technische Universiteit Eindhoven, Technische
Universitat Berlin, Institute e-Austria Timisoara, Waterloo Maple
Inc. Our research activities within the project are to provide uniform
access to Grid services from Symbolic Computation systems, including
GAP, Maple, Mupad and Kant. Specific research directions include the
following. Executing large symbolic computations, i.e. computer
algebra problems, on computational Grids using our Grid-enabled
parallel Haskell (GpH). Investigating improved scheduling
mechanisms for these highly-irregular parallel computations.

Vladimir Janic's project at St Andrews
<Contact Vladimir/Kevin for details>

3.1.2 Previous Projects

 6/03 - 8/05 <A HREF="http://www.macs.hw.ac.uk/~dsg/projects/GpHGRID.html">High Level Programming for Computational Grids</A>, a
2-year British Council/DAAD funded travel grant (Project No. 1223), with partners at LMU Munich, Phillips-Universitaet Marburg,
and St Andrews University.  We aim to evaluate a single large program
on a computational grid, i.e. on a collection of grid-enabled
workstation clusters. This entails developing a sophisticated language
implementation that adapts dynamically to such a hierarchical,
heterogeneous and ligh-latency architecture.  People:
<A HREF="http://www.macs.hw.ac.uk/~ceeatia/"> Abyd Al Zain </A>,
<A HREF="http://www.mathematik.uni-marburg.de/~berthold/"> Jost Berthold </A>,
<A HREF="http://www.dcs.st-and.ac.uk/~kh/"> Kevin Hammond </A>,
<A HREF="http://www.tcs.informatik.uni-muenchen.de/~mhofmann/"> Martin Hofmann </A>,
<A HREF="http://www.tcs.informatik.uni-muenchen.de/~hwloidl/"> Hans Wolfgang Loidl</A>,

<A HREF="http://www.mathematik.uni-marburg.de/~loogen/"> Rita Loogen </A>,
<A HREF="http://www.macs.hw.ac.uk/~greg/"> Greg Michaelson </A>.
 
<P> <img src="bluebullet.gif" alt="*"> 6/00 - 6/02 <B>Performance Evaluation of
Parallel Functional Programs</B> for Multiprocessor Computer Systems was a
2-year British Council/Acciones Integradas travel grant (No. MDR
8472). The project aims to evaluate the performance of the <A
 HREF="http://www.mathematik.uni-marburg.de/inf/eden/">Eden</A> and
<A HREF="http://www.macs.hw.ac.uk/~dsg/gph"> GpH </A> parallel functional programming languages, and to construct
frameworks for reasoning about them. People: 
<A HREF="http://www.dcs.st-and.ac.uk/~kh/"> Kevin Hammond </A>,
Yolanda Ortega-Mallen, 

<A HREF="http://dalila.sip.ucm.es/miembros/ricardo"> Ricardo Pena </A> ,
<A HREF="http://www.macs.hw.ac.uk/~greg/"> Greg Michaelson </A>.

<P> <img src="bluebullet.gif" alt="*"> 2/98 - 4/99 The <A
HREF="http://www.macs.hw.ac.uk/~gnik/apset"> APSET</A>, (A Parallel
Software Engineering Tool) project was funded by
the OPen University RDF to construct a strategic profiler for GpH. The
profiler relates runtime parallelism to the (strategies in the)
source-code of the program that created the parallelism. People:
<A HREF="http://www.macs.hw.ac.uk/~gnik/">David King</A>, 
<A HREF="http://mcs.open.ac.uk/jgh23/">Jon Hall</A>.

<P> <img src="bluebullet.gif" alt="*"> 5/94 - 7/97 The <B>Parade</B> 
(PARAllel Database Engine) project was funded by the EPSRC (GR/J53348) to express complex database queries
in <A HREF="http://www.macs.hw.ac.uk/~dsg/gph"> Glasgow
Parallel Haskell (GpH)</A>.  We obtained some good results, as
reported in the Publications page, and in the <A HREF="http://www.macs.hw.ac.uk/~trinder/parade-final.ps.gz"> final
report</A>. People:

<A HREF="http://research.microsoft.com/Users/simonpj/">
Simon Peyton Jones </A>, Phil Broughton (ICL), 
<A HREF="http://www.dcs.st-and.ac.uk/~kh/"> Kevin Hammond </A>, and
<A HREF="http://www.macs.hw.ac.uk/~hwloidl/">
Hans Wolfgang Loidl</A>.



3.2 Mailing List
<HackPar> details



3.3 People

3.3.1 Developers and Designers

Current

Mustafa Aswad  www.macs.hw.ac.uk/~mka19/
Kevin Hammond 	
Vladimir Janjic  www.cs.st-andrews.ac.uk/~jv/
Patrick Maier
Hans-Wolfgang Loidl 	
Phil Trinder  www.macs.hw.ac.uk/~trinder/
	

Former

Abyd Al Zain  	
Kei Davis 	http://www.ccs3.lanl.gov/~kei/
Andre Rauber Du Bois 	
Simon Peyton Jones 	
Robert Pointon 	


3.3.2 GpH Reasoners

We are also interested in describing the semantics of GpH programs
formally, and resoning about GpH programs. The key publication in this
area is 

Baker-Finch C. King D.J. Trinder P.W.
<A HREF="http://www.macs.hw.ac.uk/~trinder/papers/ICFPFinal.pdf">
	An Operational Semantics for Parallel Lazy Evaluation</A>
International Conference on Functional Programming, Montreal (ICFP), Canada (September 2000), pp 162-173.

Clem Baker-Finch 	http://cs.anu.edu.au/~Clem.Baker-Finch/
Murdoch James Gabbay   www.gabbay.org.uk/
David King
Yolanda Ortega Mallén
Phil Trinder  www.macs.hw.ac.uk/~trinder/



4. Publications

<See separate File>


5. Links

Haskell
GHC
Eden