Published March 5, 2022
| Version v3
Software
Open
Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Authors/Creators
- 1. University of Edinburgh
- 2. TU Delft
- 3. TU Munich
- 4. University of St Andrews
Description
Artifact for the paper titled "Lasagne: A Static Binary Translator for Weak Memory Model Architectures" published in the Conference on Programming Language Design and Implementation, 2022.