32 citations · 32 across the 1 of their papers we have counts for
3 papers
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…
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…
On the Resilience of Routing Tables
Joan Feigenbaum, Brighten Godfrey, Aurojit Panda +3
Many modern network designs incorporate "failover" paths into routers' forwarding tables. We initiate the theoretical study of the conditions under which such resilient routing tab…