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. Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks. In Ratul Mahajan, Ion Stoica, editors, Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2014, Seattle, WA, USA, April 2-4, 2014. pages 87-99, USENIX Association, 2014. [doi]

Authors

Hongyi Zeng

This author has not been identified. Look up 'Hongyi Zeng' in Google

Shidong Zhang

This author has not been identified. Look up 'Shidong Zhang' in Google

Fei Ye

This author has not been identified. Look up 'Fei Ye' in Google

Vimalkumar Jeyakumar

This author has not been identified. Look up 'Vimalkumar Jeyakumar' in Google

Mickey Ju

This author has not been identified. Look up 'Mickey Ju' in Google

Junda Liu

This author has not been identified. Look up 'Junda Liu' in Google

Nick McKeown

This author has not been identified. Look up 'Nick McKeown' in Google

Amin Vahdat

This author has not been identified. Look up 'Amin Vahdat' in Google