Skip to main navigation Skip to search Skip to main content

[Artifact] Lasagne: A Static Binary Translator for Weak Memory Model Architectures

  • Rodrigo Rocha (Creator)
  • Dennis Sprokholt (Creator)
  • Martin Fink (Creator)
  • Redha Gouicem (Creator)
  • Tom Spink (Creator)
  • Soham Chakraborty (Creator)
  • Pramod Bhatotia (Creator)

Dataset

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.

Data Citation

Rodrigo Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, & Pramod Bhatotia. (2022). [Artifact] Lasagne: A Static Binary Translator for Weak Memory Model Architectures. Zenodo. https://doi.org/10.5281/zenodo.6396270
Date made available30 Mar 2022
PublisherZenodo

Access Dataset

Cite this