NDLI: Efficient race detection in the presence of programmatic event loops

Please wait, while we are loading the content...

DEKANT: a static analysis tool that learns to detect web application vulnerabilities

Binary code is not easy

Generating focused random tests using directed swarm testing

CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites

Practitioners' expectations on automated fault localization

Automatic generation of oracles for exceptional behaviors

DSI: an evidence-based approach to identify dynamic data structures in C programs

Semantic modelling of Android malware for effective malware comprehension, detection, and classification

Mutation-aware fault prediction

Efficient race detection in the presence of programmatic event loops

Zero-overhead profiling via EM emanations

COSTOTest: a tool for building and running test harness for service-based component models (demo)

Automated and effective testing of web services for XML injection attacks

Specification of concretization and symbolization policies in symbolic execution

Monkey see, monkey do: effective generation of GUI tests with inferred macro events

Automatic test case generation: what if test code quality matters?

A learning-to-rank based fault localization approach using likely invariants

Verdict machinery: on the need to automatically make sense of test results

Documenting database usages and schema constraints in database-centric applications

DroidRA: taming reflection to support whole-program analysis of Android apps

Predictive mutation testing

Automatically verifying and reproducing event-based races in Android apps

Efficient flow profiling for detecting performance bugs

ASTOR: a program repair library for Java (demo)

EagerMerge: an optimistic technique for efficient points-to analysis

Sapienz: multi-objective automated testing for Android applications

Analyzing test completeness for dynamic languages

Optimal sanitization synthesis for web application vulnerability repair

Testing stochastic software using pseudo-oracles

Exploring regular expression usage and context in Python

Threats to the validity of mutation-based test assessment

SyncProf: detecting, localizing, and optimizing synchronization bottlenecks

Energy-aware test-suite minimization for Android apps

Jolinar: analysing the energy footprint of software applications (demo)

IPA: improving predictive analysis with pointer analysis

FSX: fine-grained incremental unit test generation for C/C++ programs

Unveiling anomalies and their impact on software quality in model-based automotive software revisions with software metrics and domain experts

ARROW: automated repair of races on client-side web pages

Test oracle assessment and improvement

Toward understanding compiler bugs in GCC and LLVM

PIT: a practical mutation testing tool for Java (demo)

Efficient race detection in the presence of programmatic event loops

Content Provider	ACM Digital Library
Author	Santhiar, Anirudh Kanade, Aditya Kaleeswaran, Shalini
Abstract	An event loop is the basic scheduling mechanism for programs that respond to asynchronous events. In some frameworks, only the runtime can spin event loops, while in others, these can also be spun programmatically by event handlers. The latter provides more flexibility and helps improve responsiveness in cases where an event handler must wait for some input, for example, from the user or network. It can do so while spinning an event loop. In this paper, we consider the scheduling scheme of programmatic event loops. Programs which follow this scheme are prone to interference between a handler that is spinning an event loop and another handler that runs inside the loop. We present a happens-before based race detection technique for such programs. We exploit the structure and semantics of executions of these programs to design a sparse representation of the happens-before relation. It relates only a few pairs of operations explicitly in such a way that the ordering between any pair of operations can be inferred from the sparse representation in constant time. We have implemented our technique in an offline race detector for C/C++ programs, called SparseRacer. We discovered 13 new and harmful race conditions in 9 open-source applications using SparseRacer. So far, developers have confirmed 8 as valid bugs, and have fixed 3. These bugs arise from unintended interference due to programmatic event loops. Our sparse representation improved efficiency and gave an average speedup of 5x in race detection time. .
Starting Page	366
Ending Page	376
Page Count	11
File Format	PDF
ISBN	9781450343909
DOI	10.1145/2931037.2931068
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2016-07-18
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Race detection Event driven programs Happens-before reasoning
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Efficient computation of happens-before relation for event-driven programs

On-the-fly race detection in multi-threaded programs

Race detection for Android applications

Acculock: Accurate and Efficient Detection of Data Races

Effective race detection for event-driven programs

Effective race detection for event-driven programs (invited talk abstract)

Sound predictive race detection in polynomial time

Hybrid dynamic data race detection

Context-Sensitive Data Race Detection for Concurrent Programs

Efficient race detection in the presence of programmatic event loops

Similar Documents

Efficient computation of happens-before relation for event-driven programs

On-the-fly race detection in multi-threaded programs

Race detection for Android applications

Acculock: Accurate and Efficient Detection of Data Races

Effective race detection for event-driven programs

Effective race detection for event-driven programs (invited talk abstract)

Sound predictive race detection in polynomial time

Hybrid dynamic data race detection

Context-Sensitive Data Race Detection for Concurrent Programs

Efficient race detection in the presence of programmatic event loops