Variations in post-perfusion immersion fixation and storage alter MRI measurements of mouse brain morphometry. - A. Elizabeth de Guzman; Michael D. Wong; Jacqueline A. Gleave; Brian J. Nieman (NeuroImage, 2016)

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)

Synthesizing safe and efficient kernel extensions for packet processing. - Qiongwen Xu; Michael D. Wong; Tanvi Wagle; Srinivas Narayana; Anirudh Sivaraman (SIGCOMM, 2021)

Marvolo: Programmatic Data Augmentation for Practical ML-Driven Malware Detection. - Michael D. Wong; Edward Raff; James Holt; Ravi Netravali (CoRR, 2022)