Andrea Lattuada
@utaal.bsky.social
Research Group Leader @ MPI-SWS
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...
Anvil: Verifying Liveness of Cluster Management Controllers | USENIXusenix_logo_notag_white
www.usenix.org
February 10, 2025 at 9:40 AM
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...