Synthesizing Cluster Management Code for Distributed Systems

Date

May, 2019

Authors

• Lalith Suresh
• Nina Narodytska
• Leonid Ryzhyk
• Mooly Sagiv
• Joao Loff
• Brian Oki

Related projects

• Declarative Cluster Management

Type

Inproceedings

Booktitle

Proceedings of the Workshop on Hot Topics in Operating Systems