Assertional reasoning about data races in relaxed memory models (poster presentation)

Beverly Sanders and KyungHee Kim

The 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2008)
Salt Lake City, Utah, February 20-23, 2008

---

Abstract

We describe the ideas behind a method to use assertional reasoning to statically show that all sequentially consistent executions of a concurrent program are free from data races.

---

  

START Conference Manager (V2.54.5)