Published March 5, 2022 | Version v3
Software Open

Lasagne: A Static Binary Translator for Weak Memory Model Architectures

  • 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.

Files

artifact-paper82-lasagne.zip

Files (2.0 GB)

Name Size Download all
md5:3796c835d14127b94632ed47bc908f51
2.0 GB Preview Download