Published March 30, 2022 | Version v1
Software Open

[Artifact] 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 (38.1 MB)

Name Size Download all
md5:6e1c92eb36134bdf57e9e592657f232b
38.1 MB Preview Download