Mickey Ju

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Verification Method

Top Venues

Publications

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. NSDI (2014)