Rodrigo C. O. Rocha

Latest

• Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures
• Lasagne: A Static Binary Translator for Weak Memory Model Architectures