Yuan-Hao Chang

2 papers · 2020–2023 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐝 Cross-Pollinator (3)

Conferences

OSDI (2)

Top co-authors

Yao Hsiao (1) Che-Wei Tsao (1) Yao-Hung Hsieh (1) Shiwu Lo (1) Ching-Chun (Jim) Huang (1) Kam Yiu Lam (1) Han-Ting Lin (1) Ching-Shen Lin (1) Chao-Ting Lin (1) Yu-Fang Chen (1)

Keywords

formal verification (1) symbolic execution (1) crash recovery (1) routing algorithm (1) multi-core processor (1) memory access optimization (1) routing table (1) flash translation layer (1) snapshot consistency (1) spinlock synchronization (1) bounded waiting time (1) numa-aware algorithm (1)

Papers

RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks OSDI 2023

Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer OSDI 2020