Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Fri 31 May 2019 11:20 - 11:40 at St-Denis / Notre-Dame - Concurrency Chair(s): Tuba Yavuz

Node.js has been widely used as an event-driven server-side architecture. To improve performance, a task in a Node.js application is usually divided into a group of events, which are non-deterministically scheduled by Node.js. Developers may assume that the group of events (named atomic event group) should be atomically processed, without interruption. However, the atomicity of an atomic event group is not guaranteed by Node.js, and thus other events may interrupt the execution of the atomic event group, break down the atomicity and cause unexpected results. Existing approaches mainly focus on event race among two events, and cannot detect high-level atomicity violations among a group of events. In this paper, we propose NodeAV, which can predictively detect atomicity violations in Node.js applications based on an execution trace. Based on happens-before relations among events in an execution trace, we automatically identify a pair of events that should be atomically processed, and use predefined atomicity violation patterns to detect atomicity violations. We have evaluated NodeAV on real-world Node.js applications. The experimental results show that NodeAV can detect new atomicity violations in these Node.js applications.

Fri 31 May
Times are displayed in time zone: Eastern Time (US & Canada) change

11:00 - 12:30
ConcurrencyPapers / Technical Track / Demonstrations at St-Denis / Notre-Dame
Chair(s): Tuba YavuzUniversity of Florida
Safe Automated Refactoring for Intelligent Parallelization of Java 8 StreamsArtifacts AvailableTechnical TrackIndustry Program
Technical Track
Raffi KhatchadourianCity University of New York (CUNY) Hunter College, Yiming TangCity University of New York (CUNY) Graduate Center, Mehdi BagherzadehOakland University, Syed AhmedOakland University
Pre-print Media Attached
Detecting Atomicity Violations for Event-Driven Node.js ApplicationsTechnical TrackIndustry Program
Technical Track
Xiaoning ChangInstitute of Software, Chinese Academy of Sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Yu GaoInstitute of Software, Chinese Academy of Sciences, China, Jie WangInstitute of Software, Chinese Academy of Sciences, Jun WeiInstitute of Software, Chinese Academy of Sciences, China, Tao HuangInstitute of Software Chinese Academy of Sciences
Parallel Refinement for Multi-Threaded Program VerificationArtifacts AvailableArtifacts Evaluated ReusableTechnical Track
Technical Track
Liangze YinNational University of Defense Technology, Wei Dong, Wanwei LiuNational University of Defense Technology, Ji Wang
SWORD: A Scalable Whole Program Race Detector for JavaDemos
Yanze Li, Bozhen LiuTexas A&M University, USA, Jeff HuangTexas A&M University
Discussion Period