/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.

Primary LanguageShellMIT LicenseMIT

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