231 citations · 472 across the 20 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.NI2016★ 14 cited
Verifying Reachability in Networks with Mutable Datapaths
Aurojit Panda, Ori Lahav, Katerina Argyraki +2
Recent work has made great progress in verifying the forwarding correctness of networks . However, these approaches cannot be used to verify networks containing middleboxes, such a…
cs.NI2016
Recursive SDN for Carrier Networks
James McCauley, Zhi Liu, Aurojit Panda +4
Control planes for global carrier networks should be programmable (so that new functionality can be easily introduced) and scalable (so they can handle the numerical scale and geog…