I'm excited to attend USENIX ATC '24 and OSDI '24 https://atcosdi24.sched.com/event/1fLhu/anvil-verifying-liveness-of-cluster-management-controllers @sched