Atomicity Violations
Atomicity Violation is a type of race condition vulnerability in concurrent systems where a sequence of operations that must execute as a single, indivisible unit is instead interleaved with other operations, thereby compromising the expected consistency of shared state.
148
Publications
9.1K
Citations
328
Authors
114
Institutions
Publications per year
2017–2026
14
Variants
Atomicity Violation
148
Shan Lu, Joseph Tucek, Feng Qin et al. · 2006 · 412 citations
Cormac Flanagan, Stephen N. Freund · 2004 · 411 citations
Soyeon Park, Shan Lu, Yuanyuan Zhou · 2009 · 339 citations
A type and effect system for atomicity
Cormac Flanagan, Shaz Qadeer · ACM SIGPLAN Notices · 2003 · 305 citations
A type and effect system for atomicity
Cormac Flanagan, Shaz Qadeer · 2003 · 240 citations
1–5 of 148
328
13
h-index
12
h-index
8
h-index
8
h-index
6
h-index
1–5 of 328
114
University of Washington
Seattle, United States
12 h-index
29 publications
1.9K citations
University of Illinois Urbana-Champaign
Urbana, United States
12 h-index
38 publications
3.8K citations
University of California, Santa Cruz
Santa Cruz, United States
11 h-index
16 publications
1.4K citations
Microsoft (United States)
Redmond, United States
10 h-index
14 publications
1.8K citations
University of Wisconsin–Madison
Madison, United States
8 h-index
31 publications
2.1K citations

Hong Kong University of Science and Technology
Hong Kong, Hong Kong
8 h-index
18 publications
756 citations
Williams College
Williamstown, United States
6 h-index
7 publications
898 citations
Purdue University West Lafayette
West Lafayette, United States
6 h-index
12 publications
359 citations
1–8 of 114
14 publications · 844 citations
13
h-index
5 publications · 423 citations
5
h-index
TSE · 5 publications · 304 citations
5
h-index
2 publications · 101 citations
2
h-index
2 publications · 77 citations
2
h-index
1–5