EDBT 2026 Demo / reviewers in the wild / expert
Shaun Christopher Lee
dblp:401/6392
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2025
0009-0000-4521-6778ORCID · 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.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Storage systems · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Software testing · 77% Operating systems · 23% |
Topics — the 4 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Storage systems
crash consistency |
0.9 | 1 | 2025 | Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing · Proc. ACM Program. Lang. 2025 |
Storage systems › crash consistency
crash consistency testing |
0.9 | 1 | 2025 | Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing · Proc. ACM Program. Lang. 2025 |
Operating systems › operating system interface
POSIX |
0.3 | 1 | 2025 | Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing · Proc. ACM Program. Lang. 2025 |
Storage systems › i/o architecture › i/o subsystem
memory-mapped i/o |
0.3 | 1 | 2025 | Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing · Proc. ACM Program. Lang. 2025 |
Methods — techniques the papers use, named apart from their topics
heuristic search · 1.7state-space pruning · 0.9state space pruning · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Scalable and Accurate Application-Level Crash-Consistency Testing via Representative TestingabstractCrash consistency is essential for applications that must persist data. Crash-consistency testing has been commonly applied to find crash-consistency bugs in applications. The crash-state space grows exponentially as the number of operations in the program increases, necessitating techniques for pruning the search space. However, state-of-the-art crash-state space pruning is far from ideal. Some techniques look for known buggy patterns or bound the exploration for efficiency, but they sacrifice coverage and may miss bugs lodged deep within applications. Other techniques eliminate redundancy in the search space by skipping identical crash states, but they still fail to scale to larger applications. In this work, we propose representative testing : a new crash-state space reduction strategy that achieves high scalability and high coverage. Our key observation is that the consistency of crash states is often correlated, even if those crash states are not identical. We build Pathfinder , a crash-consistency testing tool that implements an update behaviors-based heuristic to approximate a small set of representative crash states. We evaluate Pathfinder on POSIX-based and MMIO-based applications, where it finds 18 (7 new) bugs across 8 production-ready systems. Pathfinder scales more effectively to large applications than prior works and finds 4× more bugs in POSIX-based applications and 8× more bugs in MMIO-based applications compared to state-of-the-art systems. Yile Gu, Ian Neal, Jiexiao Xu, Shaun Christopher Lee, Ayman Said, Musa Haydar, Jacob Van Geffen, Rohan Kadekodi, Andrew Quinn 0001, Baris Kasikci |
Proc. ACM Program. Lang. | 4 |