Our Alloy model files are here. These files verify the correctness of our global analysis of multi-threaded programs that consists of C atomic operations and fences.
The data of our synthesised hardware performance is here.
The analysis times of both our global and local analysis are here.
The code structure of our experiments are here. This code collection provides an idea of how we achieved our results.
The paper is here.