Binary Translation for Weak Memory Model Architectures

Soham Chakraborty

Date: Wed, December 14, 2022
Time: 12:00
Room: Turing

In this talk I will present our recent results on binary translation of concurrent programs from x86 to ARM. More specifically, I will discuss the challenges due to the differences between the x86 and ARM weak memory concurrency models.

Previous: Jesper Cockx |
Next: Max de Krieger |