Skip to content

VeriLucid: A Verification-aware Data-plane Programming Language.

John Sonchack, Pamela Zave, Jennifer Rexford

Year2026
ProceedingsSIGCOMM

Browse the full SIGCOMM paper archive.