Demo Data from EDBT 2026 / reviewers in the wild / expert
Yewon Choi
dblp:348/8911
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2024
0009-0005-8742-3704ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Concurrent programming · 50% Software testing · 50% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Memory systems · 50% Processor architecture and microarchitecture · 50% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing
concurrency testing |
0.8 | 1 | 2024 | OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering · SOSP 2024 |
Concurrent programming › concurrency bugs
kernel concurrency bugs |
0.8 | 1 | 2024 | OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering · SOSP 2024 |
Memory systems
memory consistency |
0.2 | 1 | 2024 | OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering · SOSP 2024 |
Processor architecture and microarchitecture
out-of-order execution |
0.2 | 1 | 2024 | OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering · SOSP 2024 |
Methods — techniques the papers use, named apart from their topics
virtual machine emulation · 1.5in-vivo memory access reordering · 1.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access ReorderingabstractKernel concurrency bugs are notoriously difficult to identify, while their consequences severely threaten the reliability and security of the entire system. Especially in the kernel, developers should consider not only locks but also memory barriers to prevent out-of-order execution from breaking the correctness of concurrent execution. Incorrect use of memory barriers may cause non-intuitive concurrency bugs that manifest due to out-of-order execution, which we refer to as OoO bugs. This paper aims to identify OoO bugs in the kernel. We devise a mechanism to emulate out-of-order execution while kernel code is executed, called OEMU. Inspired by how a processor reorders memory accesses, OEMU makes the subtle and non-deterministic behavior of out-of-order execution systematically controllable. Based on OEMU, we propose Ozz , a new testing tool designed to effectively identify kernel OoO bugs. The key feature of Ozz is its ability to deterministically control both out-of-order execution and concurrent execution caused by thread interleavings, enabling comprehensive testing of their combined effects. Our evaluation shows that OEMU is effective in reproducing previously-reported kernel OoO bugs, demonstrating its strong capability of controlling out-of-order execution. Furthermore, with Ozz , we identify 11 new OoO bugs in the latest version of the Linux kernel, subsequently confirmed and patched by kernel developers. Dae R. Jeong, Yewon Choi, Byoungyoung Lee, Insik Shin, Youngjin Kwon |
SOSP | 2 |