Anvil: Verifying Liveness of Cluster Management Controllers | USENIXusenix_logo_notag_white

Xudong Sun (UIUC) and collaborators (including me, so you’ll have to be the judge on “good” :) did some really cool work on liveness of Kubernetes controllers (cluster managers): www.usenix.org/conference/o...