Fast and Accurate Static Data-Race Detection for Concurrent Programs

DOI10.1007/978-3-540-73368-3_26MaRDI QIDQ5429324zbMATH OpenOpenAlexFDO

Authors Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta

Publication date 29 November 2007

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73368-3_26

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 6712238
• Efficient data race detection for async-finish parallelism
• scientific article; zbMATH DE number 2089170
• scientific article; zbMATH DE number 1728452
• Goblint: path-sensitive data race analysis

Cited in

(22)

• Dynamic race detection for C++11
• Static race detection for periodic programs
• scientific article; zbMATH DE number 2089170 (Why is no real title available?)
• scientific article; zbMATH DE number 6712238 (Why is no real title available?)
• Data races and static analysis for interrupt-driven kernels
• Conditional must not aliasing for static race detection
• scientific article; zbMATH DE number 2089169 (Why is no real title available?)
• Euro-Par 2004 Parallel Processing
• Goblint: path-sensitive data race analysis
• Scaling model checking of dataraces using dynamic information
• Automated Technology for Verification and Analysis
• Bounding the number of segment histories during data race detection
• Dynamic Data-Race Detection Through the Fine-Grained Lens
• Region Analysis for Race Detection
• scientific article; zbMATH DE number 1755937 (Why is no real title available?)
• Strengthening induction-based race checking with lightweight static analysis
• Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
• scientific article; zbMATH DE number 1728452 (Why is no real title available?)
• Efficient data race detection for async-finish parallelism
• Improving thread-modular abstract interpretation
• Static analysis for detecting high-level races in RTOS kernels
• Static analysis for detecting high-level races in RTOS kernels

Describes a project that uses

Uses Software

• Bandera
• Eraser

This page was built for publication: Fast and Accurate Static Data-Race Detection for Concurrent Programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5429324)