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.
Date made available2022
PublisherZenodo

Contact

  • 1 Conference contribution

  • Lasagne: a static binary translator for weak memory model architectures

    Rocha, R. C. O., Sprokholt, D., Fink, M., Gouicem, R., Spink, T., Chakraborty, S. & Bhatotia, P., 9 Jun 2022, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2022). ACM, p. 888–902 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

Cite this