"Microsoft Azure". Software for open networking in the cloud. https://azure.github.io/SONiC/.
T. Bates, E. Chen, and R. Chandra. BGP Route Reflection: An Alternative to Full Mesh Internal BGP (IBGP). RFC 4456 (Draft Standard), April 2006. Updated by RFC 7606.
Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitendra Padhye, and David Walker. Network configuration synthesis with abstract topologies. In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 437-451, 2017.
Raymond Blair, Arvind Durai, and John Lautmann. Tcl scripting for Cisco IOS. Cisco Press, 2010.
Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, and Nir Piterman. T2: temporal property verification. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 387-393. Springer, 2016.
R. Bush and R. Austein. The Resource Public Key Infrastructure (RPKI) to Router Protocol. RFC 6810 (Proposed Standard), January 2013.
R. Bush, K. Patel, and D. Ward. Extended Message Support for BGP. RFC 8654 (Proposed Standard), October 2019.
Matthew Caesar, Donald Caldwell, Nick Feamster, Jennifer Rexford, Aman Shaikh, and Jacobus van der Merwe. Design and implementation of a routing control platform. In Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation-Volume 2, pages 15-28. USENIX Association, 2005.
Matthew Caesar, Donald Caldwell, Nick Feamster, Jennifer Rexford, Aman Shaikh, and Jacobus van der Merwe. Design and implementation of a routing control platform. In Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation-Volume 2, pages 15-28, 2005.
E. Chen. Route Refresh Capability for BGP-4. RFC 2918 (Proposed Standard), September 2000. Updated by RFC 7313.
Enke Chen, Naiming Shen, and Robert Raszuk. Carrying Geo Coordinates in BGP. Internet-Draft draft-chen-idr-geocoordinates-02, Internet Engineering Task Force, October 2016. Work in Progress.
Edmund Clarke and Daniel Kroening. Ansi-c bounded model checker user manual. School of Computer Science, Carnegie Mellon University, 2006.
Byron Cook, Andreas Podelski, and Andrey Rybalchenko. Terminator: beyond safety. In International Conference on Computer Aided Verification, pages 415-418. Springer, 2006.
CZ.NIC, z.s.p.o. BIRD internet routing daemon. https://gitlab.nic.cz/labs/bird.
Guy Davies. Designing and Developing Scalable IP Networks. John Wiley & Sons, 2004.
Quentin De Coninck, François Michel, Maxime Piraux, Florentin Rochet, Thomas Given-Wilson, Axel Legay, Olivier Pereira, and Olivier Bonaventure. Pluginizing QUIC. In Proceedings of the ACM Special Interest Group on Data Communication, pages 59-74. 2019.
Dan Decasper, Zubin Dittia, Guru Parulkar, and Bernhard Plattner. Router plugins: A software architecture for next generation routers. SIGCOMM Comput. Commun. Rev., 28(4):229-240, October 1998.
Benoit Donnet and Olivier Bonaventure. On BGP communities. ACM SIGCOMM Computer Communication Review, 38(2):55-59, 2008.
Nick Feamster, Jennifer Rexford, and Ellen Zegura. The road to SDN: an intellectual history of programmable networks. ACM SIGCOMM Computer Communication Review, 44(2):87-98, 2014.
Romain Fontugne, Esteban Bautista, Colin Petrie, Yutaro Nomura, Patrice Abry, Paulo Gonçalves, Kensuke Fukuda, and Emile Aben. BGP zombies: An analysis of beacons stuck routes. In International Conference on Passive and Active Network Measurement, pages 197-209. Springer, 2019.
The Linux Foundation. FRRouting project. https://frrouting.org/.
Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv. Simple and precise static analysis of untrusted linux kernel extensions. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 1069-1084, 2019.
Albert Greenberg, Gisli Hjalmtysson, David A. Maltz, Andy Myers, Jennifer Rexford, Geoffrey Xie, Hong Yan, Jibin Zhan, and Hui Zhang. A clean slate 4D approach to network control and management. SIGCOMM Comput. Commun. Rev., 35(5):41-54, October 2005.
Timothy G. Griffin and Joäo Luís Sobrinho. Metarouting. SIGCOMM Comput. Commun. Rev., 35(4):1-12, August 2005.
Timothy G Griffin and Gordon Wilfong. An analysis of bgp convergence properties. ACM SIGCOMM Computer Communication Review, 29(4):277-288, 1999.
Timothy G Griffin and Gordon Wilfong. Analysis of the med oscillation problem in bgp. In 10th IEEE International Conference on Network Protocols, 2002. Proceedings., pages 90-99. IEEE, 2002.
Timothy G Griffin and Gordon Wilfong. On the correctness of ibgp configuration. ACM SIGCOMM Computer Communication Review, 32(4):17-29, 2002.
Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, and Jorge A Navas. The SeaHorn verification framework. In International Conference on Computer Aided Verification, pages 343-361. Springer, 2015.
Andreas Haas, Andreas Rossberg, Derek L. Schuff, Ben L. Titzer, Michael Holman, Dan Gohman, Luke Wagner, Alon Zakai, and JF Bastien. Bringing the web up to speed with webassembly. SIGPLAN Not., 52(6):185-200, June 2017.
Mark Handley, Orion Hodson, and Eddie Kohler. Xorp: An open platform for network research. SIGCOMM Comput. Commun. Rev., 33(1):53-57, jan 2003.
Mark Handley, Eddie Kohler, Atanu Ghosh, Orion Hodson, and Pavlin Radoslavov. Designing extensible ip router software. In Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation-Volume 2, pages 189-202, 2005.
Toke Høiland-Jørgensen, Jesper Dangaard Brouer, Daniel Borkmann, John Fastabend, Tom Herbert, David Ahern, and David Miller. The EXpress Data Path: Fast programmable packet processing in the operating system kernel. In Proceedings of the 14th International Conference on Emerging Networking EXperiments and Technologies, CoNEXT'18, page 54-66, New York, NY, USA, 2018. Association for Computing Machinery.
Chi-Yao Hong, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Vijay Gill, Mohan Nanduri, and Roger Wattenhofer. Achieving high utilization with software-driven wan. In Proceedings of the ACM SIGCOMM 2013 Conference on SIGCOMM, pages 15-26, 2013.
G. Huston and G. Michaelson. Validation of Route Origination Using the Resource Certificate Public Key Infrastructure (PKI) and Route Origin Authorizations (ROAs). RFC 6483 (Informational), February 2012.
Roberto Ierusalimschy. Programming in lua. Roberto Ierusalimschy, 2006.
Sushant Jain, Alok Kumar, Subhasree Mandal, Joon Ong, Leon Poutievski, Arjun Singh, Subbaiah Venkata, Jim Wanderer, Junlan Zhou, Min Zhu, et al. B4: Experience with a globally-deployed software defined WAN. ACM SIGCOMM Computer Communication Review, 43(4):3-14, 2013.
Junos. Junos PyEZ developer guide. https://www.juniper.net/documentation/en_US/junos-pyez/information-products/pathway-pages/junos-pyez-developer-guide.html, July 2021.
K. Kompella, B. Kothari, and R. Cherukuri. Layer 2 Virtual Private Networks Using BGP for Auto-Discovery and Signaling. RFC 6624 (Informational), May 2012.
Diego Kreutz, Fernando MV Ramos, Paulo Esteves Verissimo, Christian Esteve Rothenberg, Siamak Azodolmolky, and Steve Uhlig. Software-defined networking: A comprehensive survey. Proceedings of the IEEE, 103(1):14-76, 2014.
Daniel Kroening and Michael Tautschnig. CBMC-C bounded model checker. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 389-391. Springer, 2014.
P. Lapukhov, A. Premji, and J. Mitchell (Ed.). Use of BGP for Routing in Large-Scale Data Centers. RFC 7938 (Informational), August 2016.
Petr Lapukhov and Jeff Tantsura. Equal-Cost Multipath Considerations for BGP. Internet-Draft draft-lapukhov-bgp-ecmpconsiderations-07, Internet Engineering Task Force, June 2021. Work in Progress.
Ratul Mahajan, David Wetherall, and Tom Anderson. Understanding bgp misconfiguration. ACM SIGCOMM Computer Communication Review, 32(4):3-16, 2002.
Robert Mc Millan. Research experiment disrupts internet, for some. Computerworld, pages August, 28, 2010. https://www.computerworld.com/article/2515036/research-experiment-disrupts-internet-for-some.html.
Nick McKeown, Tom Anderson, Hari Balakrishnan, Guru Parulkar, Larry Peterson, Jennifer Rexford, Scott Shenker, and Jonathan Turner. OpenFlow: enabling innovation in campus networks. ACM SIGCOMM Computer Communication Review, 38(2):69-74, 2008.
Microsoft Corporation. ebpf for windows. https://github.com/microsoft/ebpf-for-windows.
Porapat Ongkanchana, Romain Fontugne, Hiroshi Esaki, Job Snijders, and Emile Aben. Hunting BGP zombies in the wild. In Proceedings of the Applied Networking Research Workshop, ANRW'21, page 1-7, New York, NY, USA, 2021. Association for Computing Machinery.
K. Patel, E. Chen, and B. Venkatachalapathy. Enhanced Route Refresh Capability for BGP-4. RFC 7313 (Proposed Standard), July 2014.
Parveen Patel, Andrew Whitaker, David Wetherall, Jay Lepreau, and Tim Stack. Upgrading Transport Protocols using Untrusted Mobile Code. ACM SIGOPS Operating Systems Review, 37(5):1-14, 2003.
Y. Rekhter (Ed.), T. Li (Ed.), and S. Hares (Ed.). A Border Gateway Protocol 4 (BGP-4). RFC 4271 (Draft Standard), January 2006.
E. Rosen and Y. Rekhter. BGP/MPLS IP Virtual Private Networks (VPNs). RFC 4364 (Proposed Standard), February 2006. Updated by RFCs 4577, 4684, 5462.
Nicolas Rybowski. Plugin Distribution System. https://github.com/nrybowski/SPMS.
Nicolas Rybowski, Quentin De Coninck, Tom Rousseaux, Axel Legay, and Olivier Bonaventure. Implementing the plugin distribution system. In Proceedings of the SIGCOMM'21 Poster and Demo Sessions, page 39-41. Association for Computing Machinery, New York, NY, USA, 2021.
S. Sangli, E. Chen, R. Fernando, J. Scudder, and Y. Rekhter. Graceful Restart Mechanism for BGP. RFC 4724 (Proposed Standard), January 2007. Updated by RFC 8538.
S. Sangli, D. Tappan, and Y. Rekhter. BGP Extended Communities Attribute. RFC 4360 (Proposed Standard), February 2006. Updated by RFCs 7153, 7606.
Rob Shakir, Robert Raszuk, Rob Shakir, and David Freedman. BGP OPERATIONAL Message. Internet-Draft draft-frs-bgpoperational-message-00, Internet Engineering Task Force, July 2011. Work in Progress.
M. Shand and S. Bryant. IP Fast Reroute Framework. RFC 5714 (Informational), January 2010.
Rachee Singh, Muqeet Mukhtar, Ashay Krishna, Aniruddha Parkhi, Jitendra Padhye, and David Maltz. Surviving switch failures in cloud datacenters. ACM SIGCOMM Computer Communication Review, 51(2):2-9, 2021.
A Starovoitov. BPF-in-kernel virtual machine. Linux Kernel Developers' Netconf, 2015.
Florian Streibelt, Franziska Lichtblau, Robert Beverly, Anja Feldmann, Cristel Pelsser, Georgios Smaragdakis, and Randy Bush. BGP communities: Even more worms in the routing can. In Proceedings of the Internet Measurement Conference 2018, pages 279-292, 2018.
David L. Tennenhouse and David J. Wetherall. Towards an active network architecture. SIGCOMM Comput. Commun. Rev., 37(5):81-94, October 2007.
D.L. Tennenhouse and D.J. Wetherall. Towards an active network architecture. In Proceedings DARPA Active Networks Conference and Exposition, pages 2-15, 2002.
The OpenBSD Project. Openbgpd. http://openbgpd.com/.
Viet-Hoang Tran and Olivier Bonaventure. Beyond socket options: making the linux TCP stack truly extensible. In 2019 IFIP Networking Conference (IFIP Networking), pages 1-9, 2019.
Yves Vanaubel, Jean-Jacques Pansiot, Pascal Mérindol, and Benoit Donnet. Network fingerprinting: Ttl-based router signatures. In Proceedings of the 2013 conference on Internet measurement conference, pages 369-376, 2013.
Laurent Vanbever. Customized BGP route selection using BGP/MPLS VPNs. In Routing Symposium, Cisco Systems, 2009.
Stefano Vissicchio, Luca Cittadini, and Giuseppe Di Battista. On iBGP routing policies. IEEE/ACM Transactions on Networking, 23(1):227-240, 2014.
Matthias Wählisch, Fabian Holler, Thomas C Schmidt, and Jochen H Schiller. Rtrlib: An open-source library in c for rpkibased prefix origin validation. In Presented as part of the 6th Workshop on Cyber Security Experimentation and Test, 2013.
D.J. Wetherall, J.V. Guttag, and D.L. Tennenhouse. Ants: a toolkit for building and dynamically deploying network protocols. In 1998 IEEE Open Architectures and Network Programming, pages 117-129, 1998.
Jordan Whited. Corebgp - plugging in to bgp. https://github.com/jwhited/corebgp, July 2020.
Thomas Wirtgen. xBGP api documentation. https://github.com/pluginized-protocols/xbgp_plugins/blob/master/xbgp_compliant_api/xbgp_plugin_api.h.
Thomas Wirtgen. xBGP bird. https://github.com/pluginized-protocols/xbgp_bird.
Thomas Wirtgen. xBGP frrouting. https://github.com/pluginized-protocols/xbgp_frr.
Thomas Wirtgen. xBGP source code. https://github.com/pluginized-protocols/libxbgp.
Thomas Wirtgen, Quentin De Coninck, Randy Bush, Laurent Vanbever, and Olivier Bonaventure. xBGP: When you can't wait for the ietf and vendors. In Proceedings of the 19th ACM Workshop on Hot Topics in Networks, HotNets'20, page 1-7, New York, NY, USA, 2020. Association for Computing Machinery.
Thomas Wirtgen, Cyril Dénos, Quentin De Coninck, Mathieu Jadin, and Olivier Bonaventure. The case for pluginized routing protocols. In 27th International Conference on Network Protocols (ICNP), pages 1-12. IEEE, 2019.
Thomas Wirtgen and Tom Rousseaux. xBGP plugins source code. https://github.com/pluginized-protocols/xbgp_plugins.
Thomas Wirtgen and Tom Rousseaux. xBGP verification. https://github.com/pluginized-protocols/xbgp_plugins/tree/master/prove_stuffs.
Mathieu Xhonneux, Fabien Duchene, and Olivier Bonaventure. Leveraging eBPF for programmable network functions with ipv6 segment routing. In Proceedings of the 14th International Conference on Emerging Networking EXperiments and Technologies, CoNEXT'18, page 67-72, New York, NY, USA, 2018. Association for Computing Machinery.
