[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

Search results

  • 2022

    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 proceedingConference contribution

    Open Access
    File
    2 Downloads (Pure)