START Conference Manager
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
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.
Conference Manager (V2.54.5)