Paper accepted at ACM HotNets 2024! I am pleased to announce that our paper “Toward Applying Quantum Computing to Network Verification” has been accepted at ACM HotNets 2024 (with Kahlil Dozier, Justin Beltran, Kylie Berg, Hugo Matousek, Ethan Katz-Bassett, and Dan Rubenstein).