Tue 6 Nov 2018 11:37 - 12:00 at Horizons 10-11 - Concurrency and Races Chair(s): Willem Visser

Asynchronous client-server communication is a common source of errors in JavaScript web applications. Such errors are difficult to detect using ordinary testing because of the nondeterministic scheduling of AJAX events. Existing automated event race detectors are generally too imprecise or too inefficient to be practically useful. To address this problem, we present a new approach based on a lightweight combination of dynamic analysis and controlled execution that directly targets identification of harmful AJAX event races.

We experimentally demonstrate using our implementation, AjaxRacer, that this approach is capable of automatically detecting harmful AJAX event races in many websites, and producing informative error messages that support diagnosis and debugging. Among 20 widely used web pages that use AJAX, AjaxRacer discovers harmful AJAX races in 12 of them, with a total of 72 error reports, and with very few false positives.

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Concurrency and RacesResearch Papers at Horizons 10-11
Chair(s): Willem Visser Stellenbosch University
10:30
22m
Talk
CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining
Research Papers
Jie Lu , Feng Li Institute of Computing Technology at Chinese Academy of Sciences, China, Lian Li Institute of Computing Technology at Chinese Academy of Sciences, China, Xiaobing Feng ICT CAS
10:52
22m
Talk
Testing Multithreaded Programs via Thread Speed Control
Research Papers
Dongjie Chen , Yanyan Jiang Nanjing University, Chang Xu Nanjing University, Xiaoxing Ma Nanjing University, Jian Lu Nanjing University
11:15
22m
Talk
Data Race Detection on Compressed Traces
Research Papers
Dileep Kini University of Illinois at Urbana-Champaign, Umang Mathur University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign
11:37
22m
Talk
Practical AJAX Race Detection for JavaScript Web Applications
Research Papers
Christoffer Quist Adamsen Aarhus University, Anders Møller Aarhus University, Saba Alimadadi Northeastern University, Frank Tip Northeastern University