Race detection for web applications
Boris Petrov, Martin Vechev, Manu Sridharan, Julian Dolby · 2012
Modern web pages are becoming increasingly full-featured, and this additional functionality often requires greater use of asynchrony. Unfortunately, this asynchrony can trigger unexpected concurrency errors, even though web page scripts are executed sequentially.