scholarly journals Scaling data race detection for partitioned global address space programs

2013 ◽  
Author(s):  
Chang Seo Park ◽  
Koushik Sen ◽  
Costin Iancu
Keyword(s):  
Address Space ◽  
Data Race ◽  
Partitioned Global Address Space ◽  
Data Race Detection ◽  
Race Detection ◽  
Space Programs ◽  
Global Address Space

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

scholarly journals Deadlock checking by data race detection

2014 ◽  
Vol 83 (5-6) ◽  
pp. 400-426 ◽  
Author(s):  
Ka I Pun ◽  
Martin Steffen ◽  
Volker Stolz
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection
Sign in / Sign up

Export Citation Format

Share Document