Home
Publications
Service
Teaching
Light
Dark
Automatic
Pramod Bhatotia
Latest
Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures
Lasagne: A Static Binary Translator for Weak Memory Model Architectures
VMSH: Hypervisor-Agnostic Guest Overlays for VMs
Cite
×