1. Semantics-Aware Trace AnalysisKevin Hoffman Patrick EugsterSuresh JagannathanComputer Science Department, Purdue University {kjhoffma,peugster,suresh}@cs.purdue.eduAbstract…