PhD Scholarship: Performance tuning of parallel Haskell programs

University of Leeds - Computing

Name of School Contact: David Duke
Contact Details: Tel: +44 113 343 6800
How to apply:     
Degree Level: Research Postgraduate         
Scholarship Type: International, Home/EU                     
Number available: 1
Funding Type: School of Computing

Applicants should read the information below for further details on the scholarship or visit the School web site given below.

Further Information:

Program tuning combines data from actual program execution with knowledge of the operational behaviour and cost of languages and libraries to derive hypotheses about changes leading to performance improvements. Runtime logs typically capture low-level program events, and reconstructing an account of program execution on the basis of log data can be challenging, particularly for Haskell where programs execute under normal order evaluation rules. A recent PhD (by Peter Wortmann, 2014) made significant progress on the single-threaded case, but there is still a significant gap between our ability to write parallel/concurrent code in Haskell and to interpret its runtime performance. In particular, performance analysis and diagnosis may involve multiple abstraction levels, for example: low-level primitives for parallelism and evaluation control, libraries built on top of those primitives (e.g. the Par Monad, Skeletons, or LVish), and applications that use those libraries. Tools for making sense of runtime data should support the programmer in viewing and thinking about the data at different abstraction levels, and we therefore require new ways of finding patterns within low-level events, possibly by augmenting use of event logs with further information from the program.

Skills needed for the project include good Haskell programming skills, and ideally also confidence with 'C' for working with the Haskell runtime system. I expect the PhD will build on existing work on Haskell runtime visualization which uses Haskell bindings to the GTK2 and Cairo libraries, although a completely fresh approach to the implementation is also possible.

Financial Information:

This award will cover the cost of academic fees and provide a maintenance allowance of at least £14,296 per year for a maximum for 3 years, subject to satisfactory progress.

Minimum Academic Requirements (if English is not your first language, then candidates must also meet the University’s English language requirements):

Applications are invited from candidates who have achieved or expecting a minimum of a UK upper second class (hons) degree or equivalent, in a field relevant to the project.

If you first language is not English, you will need to satisfy the University of Leeds English language requirements:  

Share this PhD
  Share by Email   Print this job   More sharing options
We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:



Northern England