Explores the foundations of modular verification using Separation Logic for realistic concurrent programs and discusses the challenges of shared mutable state in concurrency.
Covers associative and commutative operations in parallel programming, using mathematical examples and discussing challenges in preserving associativity.
