CoSEL: Control-plane Only Scalable Efficient and Lightweight SDN Debugger
暂无分享,去创建一个
Huzur Saran | Gaurav Singh | Nihal Srivastava | Suresh C. Gupta | Vinay Joseph Ribeiro | H. Saran | V. Ribeiro | Nihal Srivastava | G. Singh | Suresh C. Gupta
[1] Ion Stoica,et al. Focus Replay Debugging Effort on the Control Plane , 2010, HotDep.
[2] John B. Carter,et al. SDN traceroute: tracing SDN forwarding without changing network behavior , 2014, HotSDN.
[3] George Varghese,et al. Header Space Analysis: Static Checking for Networks , 2012, NSDI.
[4] Nick McKeown,et al. A network in a laptop: rapid prototyping for software-defined networks , 2010, Hotnets-IX.
[5] Benoit Claise,et al. Cisco Systems NetFlow Services Export Version 9 , 2004, RFC.
[6] Gregory F. Sullivan,et al. Detecting cycles in dynamic graphs in polynomial time , 1988, STOC '88.
[7] Michael Schapira,et al. VeriCon: towards verifying controller programs in software-defined networks , 2014, PLDI.
[8] Anja Feldmann,et al. OFRewind: Enabling Record and Replay Troubleshooting for Networks , 2011, USENIX Annual Technical Conference.
[9] Nick McKeown,et al. I Know What Your Packet Did Last Hop: Using Packet Histories to Troubleshoot Networks , 2014, NSDI.
[10] Brighten Godfrey,et al. Debugging the data plane with anteater , 2011, SIGCOMM.
[11] Brighten Godfrey,et al. VeriFlow: verifying network-wide invariants in real time , 2012, HotSDN '12.
[12] Nick McKeown,et al. Where is the debugger for my software-defined network? , 2012, HotSDN '12.
[13] Andreas Haeberlen,et al. Answering why-not queries in software-defined networks with negative provenance , 2013, HotNets.