Michael Gasch

According to our database, Michael Gasch authored at least 3 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Automatic Reliability Testing For Cluster Management Controllers.

Xudong Sun, Wenqing Luo, Jiawei Tyler Gu, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lalith Suresh, Tianyin Xu

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

2021

Reasoning about modern datacenter infrastructures using partial histories.

Xudong Sun, Lalith Suresh, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lilia Tang, Tianyin Xu

Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

2020

Building Scalable and Flexible Cluster Managers Using Declarative Programming.

Lalith Suresh, João Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020