Browse Dept. of Computer Science by Subject "WALA"
Now showing items 1-1 of 1
(2012-11-12)Despite significant progress in recent years, the im- portant problem of static race detection remains open. Previous techniques took a general approach and looked for races by analyzing the effects induced by low-level ...