Remzi H. Arpaci-Dusseau

5 papers · 2014–2025 · 2 conferences · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (11) 🐝 Cross-Pollinator (6) 🐣 Hot Topic Early Bird 📈 Trend Setter

Conferences

OSDI (4) NSDI (1)

Top co-authors

Andrea C. Arpaci-Dusseau (5) Samer Al-Kiswany (2) Ramnatthan Alagappan (2) Thanumalayan Sankaranarayana Pillai (2) Suli Yang (1) Jing Liu (1) Yuvraj Patel (1) Aishwarya Ganesan (1) Tingjia Cao (1) Tyler Caraza-Harter (1)

Keywords

distributed storage (2) state space exploration (1) model checking (1) serverless computing (1) cost optimization (1) resource scheduling (1) billing model (1) workload management (1) storage system (1) cloud platform (1) crash vulnerability (1) schedulability analysis (1) formal verification (1) thread architecture (1)

Papers

Making Serverless Pay-For-Use a Reality with Leopard NSDI 2025

Principled Schedulability Analysis for Distributed Storage Systems using Thread Architecture Models OSDI 2018

Correlated Crash Vulnerabilities OSDI 2016

Physical Disentanglement in a Container-Based File System OSDI 2014

All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications OSDI 2014