Dr T Crick, Dr G Oatley
No more applications being accepted
Funded PhD Project (European/UK Students Only)
About the Project
The Department of Computing & Information Systems is pleased to offer this PhD Studentship in Provably Optimal Code Generation.
THis research project is part of an on-going strategic collaboration between Cardiff Metropolitan University and Hewlett-Packard in Bristol; HP is a leading technology company that operates in more than 170 countries around the world, providing infrastructure and business offerings that span from handheld devices to some of the world's most powerful supercomputers.
Our world is increasingly dependent on the effectiveness and performance of software. Tools and methodologies for creating useful software artefacts have been around for many years, but the scalability of these systems for solving challenging real world problems are, in many important cases, poor. While there are numerous socio-technical issues associated with developing large software systems, there is a significant opportunity to address the optimisation of software in a strategic, adaptable and platform-independent way.
Superoptimisation is an approach to optimising code by aiming for optimality from the outset, rather than as the aggregation of heuristics that are neither intended nor guaranteed to give provable optimality. Building on previous work by Crick et al., this research project will further develop the theoretical foundations of sueroptimisation, as well as developing a scalable toolchain for superoptimising enterprise-level industrial software applications. This research project is a collaboration between Cardiff Metropolitan University and Hewlett-Packard (HP) in Bristol. HP is a leading technology company that operates in more than 170 countries around the world, providing infrastructure and business offerings that span from handheld devices to some of the world's most powerful supercomputers.
Please contact Dr Tom Crick in the first instance for more information regarding this PhD studentship.
Funding Notes
Applicants must have an excellent first degree in Computer Science, Computer Engineering, Electronics or a related discipline, with interest/experience in compilers, optimisation, logic programming, satisfiability modulo theories and mathematical foundations.
This three year PhD will commence in January 2015. The PhD bursary consists of the standard tuition fee for a Home/EU student (to be £3,760 in 2014/15) and a stipend linked to the minimum amount set annually by Research Councils UK (currently £13,863 pa).