ramneet-singh / slides-compositional-reasoning-for-wmms Goto Github PK
View Code? Open in Web Editor NEWSlides 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.
License: MIT License