Debugging the data plane with anteater

Haohui Mai, Ahmed Khurshid, Rachit Agarwal, Matthew Caesar, Brighten Godfrey, Samuel Talmadge King. Debugging the data plane with anteater. In Srinivasan Keshav, Jörg Liebeherr, John W. Byers, Jeffrey C. Mogul, editors, Proceedings of the ACM SIGCOMM 2011 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Toronto, ON, Canada, August 15-19, 2011. pages 290-301, ACM, 2011. [doi]

@inproceedings{MaiKACGK11,
  title = {Debugging the data plane with anteater},
  author = {Haohui Mai and Ahmed Khurshid and Rachit Agarwal and Matthew Caesar and Brighten Godfrey and Samuel Talmadge King},
  year = {2011},
  doi = {10.1145/2018436.2018470},
  url = {http://doi.acm.org/10.1145/2018436.2018470},
  tags = {data-flow, debugging},
  researchr = {https://researchr.org/publication/MaiKACGK11},
  cites = {0},
  citedby = {0},
  pages = {290-301},
  booktitle = {Proceedings of the ACM SIGCOMM 2011 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Toronto, ON, Canada, August 15-19, 2011},
  editor = {Srinivasan Keshav and Jörg Liebeherr and John W. Byers and Jeffrey C. Mogul},
  publisher = {ACM},
  isbn = {978-1-4503-0797-0},
}