Static analysis for concurrent programs with applications to data race detection

2013 ◽  
Vol 15 (4) ◽  
pp. 321-336 ◽  
Author(s):  
Vineet Kahlon ◽  
Sriram Sankaranarayanan ◽  
Aarti Gupta
Keyword(s):  
Static Analysis ◽  
Concurrent Programs ◽  
Data Race ◽  
Data Race Detection ◽  
Race Detection

scholarly journals Fast and Accurate Static Data-Race Detection for Concurrent Programs

2007 ◽  
pp. 226-239 ◽  
Author(s):  
Vineet Kahlon ◽  
Yu Yang ◽  
Sriram Sankaranarayanan ◽  
Aarti Gupta
Keyword(s):  
Concurrent Programs ◽  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Static Data

scholarly journals Context-Sensitive Data Race Detection for Concurrent Programs

IEEE Access ◽  
2021 ◽  
Vol 9 ◽  
pp. 20861-20867
Author(s):  
Yang Zhang ◽  
Huan Liu ◽  
Liu Qiao
Keyword(s):  
Concurrent Programs ◽  
Data Race ◽  
Sensitive Data ◽  
Data Race Detection ◽  
Context Sensitive ◽  
Race Detection

A Study on Race Condition and Dynamic Data Race Detection Techniques

2019 ◽  
Vol 7 (6) ◽  
pp. 41-46
Author(s):  
Mithilesh Kumar Dubey ◽  
Devesh Lowe ◽  
Bhavna Galhotra
Keyword(s):  
Data Race ◽  
Dynamic Data ◽  
Data Race Detection ◽  
Detection Techniques ◽  
Race Detection ◽  
Race Condition

Symbolic data race detection for Habanero programs

2019 ◽  
Vol 44 (4) ◽  
pp. 18-18 ◽  
Author(s):  
Egor Namakonov ◽  
Eric Mercer ◽  
Pavel Parizek ◽  
Kyle Storey
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Symbolic Data
Sign in / Sign up

Export Citation Format

Share Document