Chang Lou
4 papers · 2020–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (5) 🐝 Cross-Pollinator (10) 🌉 Interdisciplinary Bridge
🏆
Keyword Champion
(2)
Conferences
OSDI (3)
NSDI (1)
Top co-authors
Research topics
Keywords
static analysis
(3)
distributed system
(3)
fault detection
(2)
semantic violation
(1)
dynamic analysis
(1)
semantic checker
(1)
runtime checker
(1)
partial failure
(1)
memory leak detection
(1)
silent failure
(1)
test transformation
(1)
program reduction
(1)
watchdog generation
(1)
heap snapshot analysis
(1)
bucketization pivot
(1)
production cloud
(1)
leak diagnosis
(1)
bug detection
(1)
runtime verification
(1)
Papers
Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems
OSDI 2025
Demystifying and Checking Silent Semantic Violations in Large Distributed Systems
OSDI 2022
RESIN: A Holistic Service for Dealing with Memory Leaks in Production Cloud Infrastructure
OSDI 2022
Understanding, Detecting and Localizing Partial Failures in Large System Software
NSDI 2020