Semantics-aware trace analysis.

Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan

Browse the full PLDI paper archive.