Slide 1 Mayur Naik Alex Aiken John Whaley Stanford University Effective Static Race Detection for Java Slide 2 The Problem A multi-threaded program contains a race if: –Two…
Effective Static Race Detection for Java Mayur, Alex, John @ CS Department Stanford University Presented by Roy Ganor 14/2/08 Point-To Analysis Seminar Tel Aviv University…
Effective Static Race Detection for Java Mayur, Alex, John @ CS Department Stanford University Presented by Roy Ganor 14/2/08 Point-To Analysis Seminar Tel Aviv University…