Michael Gasch

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

Achievements

🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (10) 🌉 Interdisciplinary Bridge

Conferences

OSDI (2)

Top co-authors

Lalith Suresh (2) Sangeetha Abdu Jyothi (1) Tianyin Xu (1) Xudong Sun (1) Jiawei Tyler Gu (1) Wenqing Luo (1) Brian Oki (1) Nina Narodytska (1) Sahan Gamage (1) Aishwarya Ganesan (1)

Keywords

combinatorial optimization (1) bug detection (1) cluster management (1) load balancing (1) reliability testing (1) cluster management controller (1) state reconciliation (1) safety and liveness (1) declarative programming (1)

Papers

Automatic Reliability Testing For Cluster Management Controllers OSDI 2022

Building Scalable and Flexible Cluster Managers Using Declarative Programming OSDI 2020