Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks

Hongyi Zeng; Shidong Zhang; Fei Ye; Vimalkumar Jeyakumar; Mickey Ju; Junda Liu; Nick McKeown; Amin Vahdat

2014 NSDI NSDI 2014

Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks

Abstract

No abstract available. No abstract was captured for this paper when its proceedings were scraped - most often an older edition published without one online. How the corpus is built. Papers without an abstract are not sent to the classifier, which is why this one carries no topics.

Authors

Hongyi Zeng, Shidong Zhang, Fei Ye, Vimalkumar Jeyakumar, Mickey Ju, Junda Liu, Nick McKeown, Amin Vahdat