External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Assertional reasoning about data races in relaxed memory models

Beverly A. Sanders, Kyunghee Kim. Assertional reasoning about data races in relaxed memory models. In Siddhartha Chatterjee, Michael L. Scott, editors, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008. pages 267-268, ACM, 2008. [doi]

Authors

Beverly A. Sanders

This author has not been identified. Look up 'Beverly A. Sanders' in Google

Kyunghee Kim

This author has not been identified. Look up 'Kyunghee Kim' in Google
runs on