conftrace_

cluster management

5 papers

Explore in graph

Co-occurring keywords

resource allocation (251) load balancing (55) cloud computing (59) correctness verification (5) shared infrastructure (1) workload scheduling (9) container lifecycle (1) hardware profile (1) declarative programming (8) job scheduling (18)

Papers

Anvil: Verifying Liveness of Cluster Management Controllers OSDI 2024
SelfTune: Tuning Cluster Managers NSDI 2023
Twine: A Unified Cluster Management System for Shared Infrastructure OSDI 2020
Building Scalable and Flexible Cluster Managers Using Declarative Programming OSDI 2020
Tiresias: A GPU Cluster Manager for Distributed Deep Learning NSDI 2019