7. Week 07: Program Logics for Weak Memory

7.1. Mandatory Reading

• Program logics for weakly-consistent memory (slides by Xavier Leroy)

7.2. Recommended Reading

• 19. 22. Adve and H. J. Boehm: Memory Models: a Case for Rethinking Parallel Languages and Hardware, 2010
• 22. Vafeiadis and C. Narayan: Relaxed Separation Logic: a Program Logic for C11 Concurrency, 2013