ramneet-singh / slides-compositional-reasoning-for-wmms

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.

These slides cover the following two papers on Compositional Reasoning for Weak Memory Models:

1. Coughlin, Nicholas, Kirsten Winter, and Graeme Smith. "Compositional Reasoning for Non-Multicopy Atomic Architectures." Formal Aspects of Computing, December 14, 2022, 3574137.

2. Coughlin, Nicholas, Kirsten Winter, and Graeme Smith. "Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models." In Formal Methods, edited by Marieke Huisman, Corina Păsăreanu, and Naijun Zhan, 292–310. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2021.

They were presented as part of the course Special Module in Concurrency : Formal Verification of Concurrent Programs (COV889) offered by Prof. Subodh Sharma at IIT Delhi, Sem II 2022-23. Most of the content in the slides borrows from the papers. We acknowledge and thank the authors for this content, and for writing these wonderful papers.

Authors:

• Ramneet Singh
• Mrunmayi Bhalerao