race detection
Recently Published Documents

TOTAL DOCUMENTS

263
(FIVE YEARS 12)

H-INDEX

30
(FIVE YEARS 1)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Concurrent incorrectness separation logic

2022 ◽  
Vol 6 (POPL) ◽  
pp. 1-29
Author(s):  
Azalea Raad ◽  
Josh Berdine ◽  
Derek Dreyer ◽  
Peter W. O'Hearn
Keyword(s):  
Error Detection ◽  
Separation Logic ◽  
Approximate Reasoning ◽  
Concurrent Programs ◽  
Deadlock Detection ◽  
Sequential Programs ◽  
Memory Safety ◽  
Race Detection ◽  
Meta Theory

Incorrectness separation logic (ISL) was recently introduced as a theory of under-approximate reasoning, with the goal of proving that compositional bug catchers find actual bugs. However, ISL only considers sequential programs. Here, we develop concurrent incorrectness separation logic (CISL), which extends ISL to account for bug catching in concurrent programs. Inspired by the work on Views, we design CISL as a parametric framework, which can be instantiated for a number of bug catching scenarios, including race detection, deadlock detection, and memory safety error detection. For each instance, the CISL meta-theory ensures the soundness of incorrectness reasoning for free, thereby guaranteeing that the bugs detected are true positives.

Efficient Access History for Race Detection

2022 ◽  
pp. 117-130
Author(s):  
Yifan Xu ◽  
Anchengcheng Zhou ◽  
Grace Q. Yin ◽  
Kunal Agrawal ◽  
I-Ting Angelina Lee ◽  
...  
Keyword(s):  
Race Detection ◽  
Efficient Access

scholarly journals OpenMP aware MHP Analysis for Improved Static Data-Race Detection

2021 ◽  
Author(s):  
Utpal Bora ◽  
Shraiysh Vaishay ◽  
Saurabh Joshi ◽  
Ramakrishna Upadrasta
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Static Data

Understanding the Performance of Dynamic Data Race Detection

2021 ◽  
Author(s):  
Joachim Protze ◽  
Isabel Tharigen ◽  
Jonas Wahle
Keyword(s):  
Data Race ◽  
Dynamic Data ◽  
Data Race Detection ◽  
Race Detection

scholarly journals Efficient Parallel Determinacy Race Detection for Structured Futures

2021 ◽  
Author(s):  
Yifan Xu ◽  
Kunal Agrawal ◽  
I-Ting Angelina Lee
Keyword(s):  
Race Detection

Efficient Access History for Race Detection

2021 ◽  
Author(s):  
Yifan Xu ◽  
Anchengcheng Zhou ◽  
Grace Q. Yin ◽  
Kunal Agrawal ◽  
I-Ting Angelina Lee ◽  
...  
Keyword(s):  
Race Detection ◽  
Efficient Access

When threads meet events: efficient and precise static race detection with origins

2021 ◽  
Author(s):  
Bozhen Liu ◽  
Peiming Liu ◽  
Yanze Li ◽  
Chia-Che Tsai ◽  
Dilma Da Silva ◽  
...  
Keyword(s):  
Race Detection ◽  
Static Race Detection

scholarly journals Resettable Encoded Vector Clock for Causality Analysis With an Application to Dynamic Race Detection

2021 ◽  
Vol 32 (4) ◽  
pp. 772-785 ◽  
Author(s):  
Tommaso Pozzetti ◽  
Ajay D. Kshemkalyani
Keyword(s):  
Causality Analysis ◽  
Race Detection ◽  
Vector Clock

scholarly journals Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection

2021 ◽  
Vol 11 (4) ◽  
pp. 405-428
Author(s):  
Zongyin Hao ◽  
◽  
Faming Lu
Keyword(s):  
Petri Nets ◽  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Program Data
Load More ...
Sign in / Sign up

Export Citation Format

Share Document