Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability

  title={Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability},
  author={Aritra Sengupta and Swarnendu Biswas and Minjia Zhang and Michael D. Bond and Milind Kulkarni},
Data races are common. They are difficult to detect, avoid, or eliminate, and programmers sometimes introduce them intentionally. However, shared-memory programs with data races have unexpected, erroneous behaviors. Intentional and unintentional data races lead to atomicity and sequential consistency (SC) violations, and they make it more difficult to understand, test, and verify software. Existing approaches for providing stronger guarantees for racy executions add high run-time overhead and… CONTINUE READING
Highly Cited
This paper has 29 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 21 extracted citations

Language-level persistency

2017 ACM/IEEE 44th Annual International Symposium on Computer Architecture (ISCA) • 2017
View 1 Excerpt

Legato: End-to-end bounded region serializability using commodity hardware transactional memory

2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) • 2017
View 10 Excerpts


Publications referenced by this paper.

Similar Papers

Loading similar papers…