PhD Scholarship: Performance tuning of parallel Haskell programs
University of Leeds - Computing
|Funding for:||UK Students, EU Students, International Students|
|Funding amount:||Maintenance: £14,296|
|Placed on:||1st December 2016|
|Closes:||6th January 2017|
Name of School Contact: David Duke
Contact Details: Tel: +44 113 343 6800
How to apply: http://www.leeds.ac.uk/info/130206/applying/91/applying_for_research_degrees
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.
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.
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: http://www.leeds.ac.uk/projectleeds/info/123100/admissions/143/entry_requirements
Share this PhD
Type / Role: