Adversarial memory for detecting destructive races

Cormac Flanagan, Stephen N. Freund. Adversarial memory for detecting destructive races. In Benjamin G. Zorn, Alexander Aiken, editors, Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010. pages 244-254, ACM, 2010. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.