Weak Memory Concurrency

Home Publications Software

Task 2  Sample compilation of C++11 low-level atomics to Power and ARM processors

Task 3  Towards CompCert0x Task 4  Correctness of compile-time optimisations for concurrent languages Task 5  Tool support for large-scale semantics

(*) These publications where completed after the submission of the grant proposal, but before the official start of the project.
Last update: