Remzi H. Arpaci-Dusseau
5 papers · 2014–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🧭 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
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