Ying Yao, Le Tian 0002, Yuxiang Hu 0004. Chameleon: Toward Runtime-Pluggable Verification of Programmable Networks. In Eric Keller, Sangtae Ha, Laurent Vanbever, Theophilus Benson, editors, Proceedings of the ACM SIGCOMM 2026 Conference, SIGCOMM 2026, Colorado Convention Center, Denver, CO, USA, August 17-21, 2026. pages 1857-1859, ACM, 2026. [doi]
Abstract is missing.