Home
Publications
Service
Teaching
Light
Dark
Automatic
Dennis Sprokholt
Latest
Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures
Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Cite
×