I am a computer scientist at the Department of Defense. My research focuses on applying techniques and ideas from programming languages to problems in computer systems, networks, and security. I received my bachelor's degree in computer science with a minor in mathematics from New York University in 2019 where I worked with Anirudh Sivaraman. I also worked with Srinivas Narayana from Rutgers University.
I will be starting my PhD this fall at Princeton University where I will be working with Ravi Netravali.
Synthesizing Safe and Efficient Kernel Extensions for Packet Processing
Qiongwen Xu, Michael D. Wong, Tanvi Wagle, Srinivas Narayana, Anirudh Sivaraman
ACM SIGCOMM 2021
Testing Compilers for Programmable Switches Through Switch Hardware Simulation
Michael D. Wong, Aatish Kishan Varma, Anirudh Sivaraman
ACM CoNEXT 2020
[ Talk ] [ Slides ]
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
ACM SIGCOMM 2020