| Switch code generation using program synthesis X Gao, T Kim, MD Wong, D Raghunathan, AK Varma, PG Kannan, ... Proceedings of the Annual conference of the ACM Special Interest Group on …, 2020 | 67 | 2020 |
| Autogenerating fast packet-processing code using program synthesis X Gao, T Kim, AK Varma, A Sivaraman, S Narayana Proceedings of the 18th ACM Workshop on Hot Topics in Networks, 150-160, 2019 | 23 | 2019 |
| Snicket: Query-driven distributed tracing J Berg, F Ruffy, K Nguyen, N Yang, T Kim, A Sivaraman, R Netravali, ... Proceedings of the 20th ACM Workshop on Hot Topics in Networks, 206-212, 2021 | 12 | 2021 |
