Fast and Accurate Static Data-Race Detection for Concurrent Programs
From MaRDI portal
Publication:5429324
DOI10.1007/978-3-540-73368-3_26zbMATH Open1135.68368OpenAlexW2152777241MaRDI QIDQ5429324FDOQ5429324
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
Recommendations
Cited In (22)
- Dynamic Data-Race Detection Through the Fine-Grained Lens
- Static analysis for detecting high-level races in RTOS kernels
- Efficient data race detection for async-finish parallelism
- Bounding the number of segment histories during data race detection
- Title not available (Why is that?)
- Region Analysis for Race Detection
- Data races and static analysis for interrupt-driven kernels
- Static race detection for periodic programs
- Title not available (Why is that?)
- Scaling model checking of dataraces using dynamic information
- Improving thread-modular abstract interpretation
- Static analysis for detecting high-level races in RTOS kernels
- Automated Technology for Verification and Analysis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Strengthening induction-based race checking with lightweight static analysis
- Title not available (Why is that?)
- Euro-Par 2004 Parallel Processing
- Dynamic race detection for C++11
- Goblint: path-sensitive data race analysis
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
- Conditional must not aliasing for static race detection
Uses Software
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)