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:
Max de Krieger | Modernizing the WebDSL Front-End: A Case Study in SDF3 and Statix