Ao Li
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
no series more than once — all 5 in the filters
on a stage with
all 15 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Feedback-guided Adaptive Testing of Distributed Systems Designs | NSDI '26 | 2026-05-04 |
Fest uses feedback-guided adaptive schedule generation for formal distributed-system models, implemented in the P framework and evaluated on 94 models. It… | ||
| Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM | OOPSLA 2025 | 2025-10-16 |
Fray is a JVM concurrency testing platform that orchestrates thread interleavings without replacing primitives using shadow locking, enabling deterministic… | ||
| Tintin: A Unified Hardware Performance Profiling Infrastructure to Uncover and Manage... | OSDI '25 | 2025-07-07 |
Tintin is a Linux-kernel PMU subsystem with three modules—monitor, scheduler, manager—that quantifies multiplexing error at runtime, schedules events to… | ||
| Data-flow Availability: Achieving Timing Assurance in Autonomous Systems | 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24) | 2024-07-10 |
A survey of 189 timing bugs across 7 open-source CPS projects finds only 9% use real-time theory. The paper defines Data-flow Availability (DFA) to encode… | ||
| ExChain: Exception Dependency Analysis for Root Cause Diagnosis | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
ExChain is an online monitor that instruments services with low overhead and links silent, state-changing exceptions to distant failures using… | ||
| nothing matches | ||