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 | Unfolding control for abstract blocks
Next:
| Modernizing the WebDSL front-end: A case study in SDF3 and Statix