Jasper Ruehl

Latest

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