J
Jaroslav Ševčík
Researcher at Microsoft
Publications - 1
Citations - 190
Jaroslav Ševčík is an academic researcher from Microsoft. The author has contributed to research in topics: Memory model & Compiler. The author has an hindex of 1, co-authored 1 publications receiving 176 citations.
Papers
More filters
Journal ArticleDOI
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency
TL;DR: The semantic design and verified compilation of a C-like programming language for concurrent shared-memory computation on x86 multiprocessors is considered, and some verified fence-elimination optimizations, integrated into CompCertTSO are described.