Binary Translation for Weak Memory Model Architectures
Date: Wed, December 14, 2022
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.
Jesper Cockx | Unfolding control for abstract blocks
Next: Max de Krieger | Modernizing the WebDSL Front-End: A Case Study in SDF3 and Statix