Usenix Atc 23 Accepted Proof