Engineering and Physical Sciences Research Council Featured PhD Programmes
European Molecular Biology Laboratory (Heidelberg) Featured PhD Programmes

Translation validation for weak memory models


Department of Computer Science

Applications accepted all year round Funded PhD Project (European/UK Students Only)

About the Project

We intend to develop tools to check whether mappings from high-level languages to lower-level ones are sound with respect to weak memory models – examples include: compiler mappings from C++ to AArch64 assembly, or Linux kernel concurrency libraries. This project will involve getting familiar with such models, and with the various tools available to develop and test those models (e.g. the herd+diy
toolsuite of Alglave and Maranget). We intend for the project to have both practical aspects (e.g. implementation and testing) and theoretical ones (e.g. justifiying the soundness of our approach formally).

The successful applicant will have experience with Arm compilers, the herd tool and memory models in general, as well as a working knowledge of the OCaml, C and ELF languages. They will have had industrial experience, as well as academic degrees in topics including theoretical constructs of computer science.

For more information please contact Prof. Jade Alglave (). For applying please send a CV and cover letter to Prof. Jade Alglave.

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here

The information you submit to University College London will only be used by them or their data partners to deal with your enquiry, according to their privacy notice. For more information on how we use and store your data, please read our privacy statement.

* required field

Your enquiry has been emailed successfully



Search Suggestions

Search Suggestions

Based on your current searches we recommend the following search filters.



FindAPhD. Copyright 2005-2020
All rights reserved.