Validating datacenters at scale

Karthick Jayaraman, Nikolaj Bjørner, Jitu Padhye, Amar Agrawal, Ashish Bhargava, Paul-Andre C. Bissonnette, Shane Foster, Andrew Helwer, Mark Kasten, Ivan Lee, Anup Namdhari, Haseeb Niaz, Aniruddha Parkhi, Hanukumar Pinnamraju, Adrian Power, Neha Milind Raje, Parag Sharma. Validating datacenters at scale. In Jianping Wu, Wendy Hall, editors, Proceedings of the ACM Special Interest Group on Data Communication, SIGCOMM 2019, Beijing, China, August 19-23, 2019. pages 200-213, ACM, 2019. [doi]

@inproceedings{JayaramanBPABBF19,
  title = {Validating datacenters at scale},
  author = {Karthick Jayaraman and Nikolaj Bjørner and Jitu Padhye and Amar Agrawal and Ashish Bhargava and Paul-Andre C. Bissonnette and Shane Foster and Andrew Helwer and Mark Kasten and Ivan Lee and Anup Namdhari and Haseeb Niaz and Aniruddha Parkhi and Hanukumar Pinnamraju and Adrian Power and Neha Milind Raje and Parag Sharma},
  year = {2019},
  doi = {10.1145/3341302.3342094},
  url = {https://doi.org/10.1145/3341302.3342094},
  researchr = {https://researchr.org/publication/JayaramanBPABBF19},
  cites = {0},
  citedby = {0},
  pages = {200-213},
  booktitle = {Proceedings of the ACM Special Interest Group on Data Communication, SIGCOMM 2019, Beijing, China, August 19-23, 2019},
  editor = {Jianping Wu and Wendy Hall},
  publisher = {ACM},
  isbn = {978-1-4503-5956-6},
}