Race detection for web applications. - Boris Petrov; Martin T. Vechev; Manu Sridharan; Julian Dolby (PLDI, 2012)