Volatile Semantics is a formal construct in memory-mapped I/O systems that specifies the constraints and behaviors governing memory locations subject to unpredictable or side-effect-prone accesses, distinguishing it from persistent or predictable memory semantics by its requirement for explicit ordering and visibility controls to ensure correct program execution.
3
Publications
109
Citations
8
Authors
6
Institutions
Publications per year
2017–2026
1
Parents
Publications
3
1–4 of 3
Authors
8
- SS
1
h-index
- NG
1
h-index
- JR
1
h-index
- OL
1
h-index
- EE
1
h-index
1–5 of 8
Institutions
6
Max Planck Institute for Software Systems
Saarbrücken, Germany
1 h-index
2 publications
40 citations
Imperial College London
London, United Kingdom
1 h-index
1 publications
20 citations
Mathematical Sciences Research Institute
Berkeley, United States
1 h-index
2 publications
28 citations
University of Wisconsin System
Madison, United States
1 h-index
1 publications
14 citations
Tel Aviv University
Tel Aviv, Israel
1 h-index
1 publications
20 citations
University of Utah
Salt Lake City, United States
1 h-index
2 publications
150 citations
University of California, Los Angeles
Los Angeles, United States
1 publications
10 citations
Microsoft (United States)
Redmond, United States
1 publications
10 citations
1–8 of 6
Venues
- Proceedings of the ACM on Programming Languages
PACMPL · 1 publications · 20 citations
1
h-index
- Software Practice and Experience
1 publications · 14 citations
1
h-index
1–2