Blueswitch: Enabling Provably Consistent Configuration of Network Switches

Jong Hun Han, Prashanth Mundkur, Charalampos Rotsos, Gianni Antichi, Nirav H. Dave, Andrew William Moore, Peter G. Neumann. Blueswitch: Enabling Provably Consistent Configuration of Network Switches. In Gordon J. Brebner, Alex Bachmutsky, Chita Das, editors, Proceedings of the Eleventh ACM/IEEE Symposium on Architectures for networking and communications systems, ANCS 2015, Oakland, CA, USA, May 7-8, 2015. pages 17-27, IEEE/ACM, 2015. [doi]

@inproceedings{HanMRADMN15,
  title = {Blueswitch: Enabling Provably Consistent Configuration of Network Switches},
  author = {Jong Hun Han and Prashanth Mundkur and Charalampos Rotsos and Gianni Antichi and Nirav H. Dave and Andrew William Moore and Peter G. Neumann},
  year = {2015},
  url = {http://dl.acm.org/citation.cfm?id=2772728},
  researchr = {https://researchr.org/publication/HanMRADMN15},
  cites = {0},
  citedby = {0},
  pages = {17-27},
  booktitle = {Proceedings of the Eleventh ACM/IEEE Symposium on Architectures for networking and communications systems, ANCS 2015, Oakland, CA, USA, May 7-8, 2015},
  editor = {Gordon J. Brebner and Alex Bachmutsky and Chita Das},
  publisher = {IEEE/ACM},
  isbn = {978-1-4673-6632-8},
}