Semantics-aware trace analysis (2009)

by Kevin J Hoffman, Patrick Eugster, Suresh Jagannathan
Venue:In Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI ’09