Gao, Xiangyu, Kim, Taegyun, Wong, Michael D., Raghunathan, Divya, Varma, Aatish Kishan, Kannan, Pravein Govindan, Sivaraman, Anirudh, Narayana, Srinivas, and Gupta, Aarti. Switch Code Generation Using Program Synthesis. Retrieved from https://par.nsf.gov/biblio/10195397. SIGCOMM '20: Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication . Web. doi:10.1145/3387514.3405852.

Gao, Xiangyu, Kim, Taegyun, Wong, Michael D., Raghunathan, Divya, Varma, Aatish Kishan, Kannan, Pravein Govindan, Sivaraman, Anirudh, Narayana, Srinivas, & Gupta, Aarti. Switch Code Generation Using Program Synthesis. SIGCOMM '20: Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication, (). Retrieved from https://par.nsf.gov/biblio/10195397. https://doi.org/10.1145/3387514.3405852

Gao, Xiangyu, Kim, Taegyun, Wong, Michael D., Raghunathan, Divya, Varma, Aatish Kishan, Kannan, Pravein Govindan, Sivaraman, Anirudh, Narayana, Srinivas, and Gupta, Aarti. "Switch Code Generation Using Program Synthesis". SIGCOMM '20: Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication (). Country unknown/Code not available. https://doi.org/10.1145/3387514.3405852. https://par.nsf.gov/biblio/10195397.

@article{osti_10195397,
place = {Country unknown/Code not available}, title = {Switch Code Generation Using Program Synthesis}, url = {https://par.nsf.gov/biblio/10195397}, DOI = {10.1145/3387514.3405852}, abstractNote = {}, journal = {SIGCOMM '20: Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication}, author = {Gao, Xiangyu and Kim, Taegyun and Wong, Michael D. and Raghunathan, Divya and Varma, Aatish Kishan and Kannan, Pravein Govindan and Sivaraman, Anirudh and Narayana, Srinivas and Gupta, Aarti}, }