EDBT 2026 Demo / reviewers in the wild / expert
Yunchi Lu
dblp:403/6307
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2025
0009-0004-6360-7392ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Computer networks · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 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
2 papers |
Distributed systems · 87% Cloud and datacenter computing · 13% | |
| Software engineering, system software, and programming languages
1 paper |
Program verification · 100% | |
| Artificial intelligence
1 paper |
Language models and text generation · 100% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program verification
equivalence checking |
0.9 | 1 | 2025 | TrainVerify: Equivalence-Based Verification for Distributed LLM Training · SOSP 2025 |
Distributed systems › distributed machine learning
distributed training |
0.9 | 1 | 2025 | TrainVerify: Equivalence-Based Verification for Distributed LLM Training · SOSP 2025 |
Distributed systems
fault tolerance |
0.9 | 1 | 2025 | One-Size-Fits-None: Understanding and Enhancing Slow-Fault Tolerance in Modern Distributed Systems · NSDI 2025 |
Natural language and speech › Language models and text generation
large language model training |
0.3 | 1 | 2025 | TrainVerify: Equivalence-Based Verification for Distributed LLM Training · SOSP 2025 |
Cloud and datacenter computing › cluster resource management and scheduling
cluster resource management |
0.3 | 1 | 2025 | One-Size-Fits-None: Understanding and Enhancing Slow-Fault Tolerance in Modern Distributed Systems · NSDI 2025 |
Methods — techniques the papers use, named apart from their topics
parallel execution analysis · 2.6equivalence checking · 2.6
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | One-Size-Fits-None: Understanding and Enhancing Slow-Fault Tolerance in Modern Distributed Systems
Ruiming Lu, Yunchi Lu, Yuxuan Jiang 0016, Guangtao Xue, Peng Huang 0005 |
NSDI | 2 |
| 2025 | TrainVerify: Equivalence-Based Verification for Distributed LLM TrainingabstractTraining large language models (LLMs) at scale requires parallel execution across thousands of devices, incurring enormous computational costs. Yet, these costly distributed trainings are prone to correctness bugs, causing silent errors and potentially wasting millions of GPU hours. These bugs are challenging to expose through testing. Yunchi Lu, Youshan Miao, Cheng Tan 0005, Peng Huang 0005, Xian Zhang 0001, Fan Yang 0024 |
SOSP | 1 |