Slides covering two papers on Compositional Reasoning for Weak Memory Models. Presented as part of the course Special Module in Concurrency (COV889) at IIT Delhi, Sem II 2022-23.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool