Assertional reasoning about data races in relaxed memory models.

Beverly A. Sanders, KyungHee Kim

Browse the full PPoPP paper archive.