Felix: Implementing traffic measurement on end hosts using program analysis

Symposium on Software Defined Networking (SDN) Research, SOSR 2016

Volumn , Issue , 2016, Pages

  Chen, Haoxian ^a   Foster, Nate ^b   Silverman, Jake ^b   Whittaker, Michael ^b   Zhang, Brandon ^b   Zhang, Rene ^b  

^a TSINGHUA UNIVERSITY   (China)

^b Department of Molecular Biology and Genetics   (United States)

Author keywords

Domain specific languages; Kleene algebra with tests; NetKAT; Network measurement; Program analysis

Indexed keywords

BENCHMARKING; COMPLEX NETWORKS; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; HIGH LEVEL LANGUAGES; PROBLEM ORIENTED LANGUAGES; QUERY LANGUAGES; QUERY PROCESSING; SOFTWARE DEFINED NETWORKING; XML;

DOMAIN SPECIFIC LANGUAGES; KLEENE ALGEBRA WITH TESTS; NETKAT; NETWORK MEASUREMENT; PROGRAM ANALYSIS;

SOFTWARE TESTING;

EID: 84982845384     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2890955.2890971     Document Type: Conference Paper

References (28)

1. Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, and David Walker. NetKAT: Semantic foundations for networks. In POPL, pages 113-126, January 2014.
2. Thomas Ball, Nikolaj Bjorner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, and Asaf Valadarsky. Vericon: Towards verifying controller programs in software-defined networks. In PLDI, pages 282-293, June 2014.
3. Philippe Biondi. Scapy. Available at http://www.secdev.org/projects/scapy/demo.html.
4. Pat Bosshart, Dan Daly, Glen Gibb, Martin Izzard, Nick McKeown, Jennifer Rexford, Cole Schlesinger, Dan Talayco, Amin Vahdat, George Varghese, and David Walker. P4: Programming protocol-independent packet processors. SIGCOMM CCR, 44(3):87-95, July 2014.
5. Marco Canini, Daniele Venzano, Peter Perélsíni, Dejan Kostić, and Jennifer Rexford. A NICE way to test OpenFlow applications. In NSDI, April 2012.
6. Graham Cormode and S. Muthukrishnan. An improved data stream summary: The count-min sketch and its applications. Journal of Algorithms, 55(1):58-75, April 2005.
7. Chuck Cranor, Theodore Johnson, Oliver Spataschek, and Vladislav Shkapenyuk. Gigascope: A stream database for network applications. In ACM SIGMOD, pages 647-651, 2003.
8. N. Foster, R. Harrison, M. Freedman, C. Monsanto, J. Rexford, A. Story, and D. Walker. Frenetic: A network programming language. In ACM ICFP, 2011.
9. Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, and Alexandra Silva. Probabilistic NetKAT. In ESOP, 2016. To appear.
10. Nate Foster, Dexter Kozen, Matthew Milano, Alexandra Silva, and Laure Thompson. A coalgebraic decision procedure for NetKAT. In POPL, pages 343-355. ACM, 2015.
11. Nikhil Handigol, Brandon Heller, Vimalkumar Jeyakumar, David Mazifferes, and Nick McKeown. Where is the debugger for my software-defined network? In ACM HotSDN, pages 55-60, 2012.
12. Lavanya Jose, Minlan Yu, and Jennifer Rexford. Online measurement of large trafic aggregates on commodity switches. In USENIX HotICE, pages 13-13, 2011.
13. Peyman Kazemian, George Varghese, and Nick McKeown. Header space analysis: Static checking for networks. In NSDI, April 2012.
14. Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, and P. Brighten Godfrey. VeriFlow: Verifying network-wide invariants in real time. In NSDI, April 2013.
15. S. Knight, H.X. Nguyen, N. Falkner, R. Bowden, and M. Roughan. The internet topology zoo. IEEE Selected Areas in Communications, 29(9):1765-1775, October 2011.
16. Linux. Iptables. Available at http://linux.die.net/man/8/iptables.
17. Boon Thau Loo, Joseph M. Hellerstein, Ion Stoica, and Raghu Ramakrishnan. Declarative routing: Extensible routing with declarative queries. In SIGCOMM, pages 289-300, August 2005.
18. Christopher Monsanto, Nate Foster, Rob Harrison, and David Walker. A compiler and run-time system for network programming languages. In POPL, pages 217-230, January 2012.
19. Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, and David Walker. Composing software-defined networks. In NSDI, 2013.
20. Srinivas Narayana, Jennifer Rexford, and David Walker. Compiling path queries. In NSDI, 2016. To appear.
21. Tim Nelson, Andrew D. Ferguson, Michael J. G. Scheer, and Shriram Krishnamurthi. Tierless programming and reasoning for software-defined networks. In NSDI, April 2014.
22. Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, and David Walker. Abstractions for network update. In SIGCOMM, 2012.
23. Steffen Smolka, Spiridon Eliopoulos, Nate Foster, and Arjun Guha. A fast compiler for NetKAT. In ACM ICFP, 2015.
24. Peng Sun, Minlan Yu, Michael J. Freedman, and Jennifer Rexford. Hone: Joint host-network trafic management in software-defined network. Journal of Network and System Management, July 2014.
25. Andreas Voellmy, Junchang Wang, Y. Richard Yang, Bryan Ford, and Paul Hudak. Maple: Simplifying SDN programming using algorithmic policies. In SIGCOMM, pages 87-98, August 2013.
26. Geoffrey G. Xie, Jibin Zhan, David A. Maltz, Hui Zhang, Albert G. Greenberg, Gísli Hjálmtfiysson, and Jennifer Rexford. On static reachability analysis of IP networks. In INFOCOM, March 2005.
27. Minlan Yu, Lavanya Jose, and Rui Miao. Software defined trafic measurement with OpenSketch. In USENIX NSDI, pages 29-42, 2013.
28. Hongyi Zeng, Peyman Kazemian, George Varghese, and Nick McKeown. Automatic test packet generation. In CoNEXT, pages 241-252, December 2012.