Symbolic router execution.

Peng Zhang, Dan Wang, Aaron Gember-Jacobson

Browse the full SIGCOMM paper archive.