Robuta

https://portal.fis.tum.de/en/publications/lasagne-a-static-binary-translator-for-weak-memory-model-architec/ Lasagne: a static binary translator for weak memory model architectures - Technical University of... static binary translator memory model technical university lasagne weak