Autogenerating Fast Packet-Processing Code Using Program Synthesis. - Xiangyu Gao; Taegyun Kim; Aatish Kishan Varma; Anirudh Sivaraman; Srinivas Narayana (HotNets, 2019)

Testing compilers for programmable switches through switch hardware simulation. - Michael D. Wong; Aatish Kishan Varma; Anirudh Sivaraman (CoNEXT, 2020)

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 (SIGCOMM, 2020)