Switch Code Generation Using Program Synthesis

Xiangyu Gao, Taegyun Kim, Michael D. Wong, Divya Raghunathan, Aatish Kishan Varma, Pravein Govindan Kannan, Anirudh Sivaraman, Srinivas Narayana, Aarti Gupta. Switch Code Generation Using Program Synthesis. In Henning Schulzrinne, Vishal Misra, editors, SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication, Virtual Event, USA, August 10-14, 2020. pages 44-61, ACM, 2020. [doi]

Authors

Xiangyu Gao

This author has not been identified. Look up 'Xiangyu Gao' in Google

Taegyun Kim

This author has not been identified. Look up 'Taegyun Kim' in Google

Michael D. Wong

This author has not been identified. Look up 'Michael D. Wong' in Google

Divya Raghunathan

This author has not been identified. Look up 'Divya Raghunathan' in Google

Aatish Kishan Varma

This author has not been identified. Look up 'Aatish Kishan Varma' in Google

Pravein Govindan Kannan

This author has not been identified. Look up 'Pravein Govindan Kannan' in Google

Anirudh Sivaraman

This author has not been identified. Look up 'Anirudh Sivaraman' in Google

Srinivas Narayana

This author has not been identified. Look up 'Srinivas Narayana' in Google

Aarti Gupta

This author has not been identified. Look up 'Aarti Gupta' in Google