Details of Grant 

EPSRC Reference:	GR/L42889/01
Title:	PARALLELISING COMPILATION OF STANDARD ML THROUGH PROTOTYPE INSTRUMENTATION AND TRANSFORMATION
Principal Investigator:	Michaelson, Professor G
Other Investigators:	King, Dr P Ireland, Professor A
Researcher Co-Investigators:
Project Partners:	Global Graphics Software Ltd Ic/fujitsu Parallell Rc(icstm)
Department:	Computing & Electrical Engineering
Organisation:	Heriot-Watt University
Scheme:	Standard Research (Pre-FEC)
Starts:	01 September 1997	Ends:	31 October 2000	Value (£):	211,647
EPSRC Research Topic Classifications:	Parallel Computing
EPSRC Industrial Sector Classifications:	Information Technologies
Related Grants:
Panel History:
Summary on Grant Application Form
System independent tools are fundamental for the wider uptake of parallel programming. Ideally they should not involve user consideration of low level parallel issues of topology, communication and load balancing. We propose to develop a compiler for a pure functional subset of Standard ML, using higher order functions (HOFs) as sited of potential parallelism. Such parallelism is realised through skeleton instantiation if semantics based instrumentation suggests that is exploitable. Otherwise, program transformation is applied to try and optimise HOF parallelism and to lift implicit HOFs. Major research areas are: parameterisation of skeleton performance models; heuristics to control transformation search space; synthesis and proof of transformations through proof planning; integration of performance modelling, instrumentation and transformation in a unified system.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk Summary Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:
Further Information:
Organisation Website:	http://www.hw.ac.uk