Jiaqi Gao
Jiaqi Gao
I am a Senior Engineer/Researcher at Alibaba Group@Seattle. My research focuses on designing compiler for heterogeneous programmable network and accelerating network applications via programmable devices.

I received my Ph.D. from Harvard University, under the guidance of Prof. Minlan Yu. I received my B.S. from Tsinghua University.
jiaqi.g [at] alibaba-inc [dot] com
Seattle, WA
Systems & Networking
Education
Ph.D. in Computer Science, Harvard University, 2018-2022
Ph.D. in Computer Science, Yale University, 2016-2018
B.E. in Automation, Tsinghua University, 2012-2016
Publications
ĀµFabric: Predictable vFabric on Informative Data Plane

Shuai Wang, Kaihui Gao, Kun Qian, Dan Li, Rui Miao, Bo Li, Yu Zhou, Ennan Zhai, Chen Sun, Jiaqi Gao, Dai Zhang, Binzhang Fu, Frank Kelly, Dennis Cai, and Hongqiang Harry Liu.

ACM SIGCOMM 2022
SwitchV: Automated SDN Switch Validation with P4 Models

Kinan Dak Albab, Steffen Smolka, Jonathan Dilorenzo, Ali Kheradmand, Konstantin Weitz, Stefan Heule, Minlan Yu, Jiaqi Gao, and Muhammad Tirmazi.

ACM SIGCOMM 2022
Carbink: Fault-Tolerant Far Memory

Yang Zhou, Hassan Wassel, Sihang Liu, Jiaqi Gao, James Mickens, Minlan Yu, Chris Kennelly, Paul Turner, David Culler, Hank Levy, and Amin Vahdat.

16th USENIX Symposium on Operating Systems Design and Implementation (OSDI'2022)
Cetus: Releasing P4 Programmers from the Chore of Trial and Error Compiling

Yifan Li, Jiaqi Gao, Ennan Zhai, Mengqi Liu, Kun Liu, and Hongqiang Harry Liu.

19th USENIX Symposium on Networked Systems Design and Implementation (NSDI'2022)
Aquila: A Practically Usable Verification System forProduction-Scale Programmable Data Planes

Bingchuan Tian*, Jiaqi Gao*, Mengqi Liu, Ennan Zhai, Yanqing Chen, YuZhou, Li Dai, Feng Yan, Mengjing Ma, Ming Tang, Jie Lu, Xionglie Wei,Hongqiang Harry Liu, Ming Zhang, Chen Tian, and Minlan Yu.

ACM SIGCOMM 2021
Lyra: A Cross-Platform Language and Compiler for Data Plane Programming on Heterogeneous ASICs

Jiaqi Gao, Ennan Zhai, Hongqiang Harry Liu, Rui Miao, Yu Zhou, Bingchuan Tian, Chen Sun, Dennis Cai, Ming Zhang, and Minlan Yu.

ACM SIGCOMM 2020
Scouts: Improving the Diagnosis Process Through Domain-customized Incident Routing

Jiaqi Gao, Nofel Yaseen, Robert MacDavid, Felipe Vieira Frujeri, Vincent Liu, Ricardo Bianchini, Ramaswamy Aditya, Xiaohang Wang, Henry Lee, David Maltz, Minlan Yu, and Behnaz Arzani.

ACM SIGCOMM 2020
Cheetah: Accelerating Database Queries with Switch Pruning

Muhammad Tirmazi, Ran Ben Basat, Jiaqi Gao, and Minlan Yu.

ACM SIGMOD 2020
Risk based Planning of Network Changes in Evolving Data Centers

Omid Alipourfard, Jiaqi Gao, Jeremie Koenig, Chris Harshaw, Amin Vahdat, and Minlan Yu.

ACM SIGOPS 27th Symposium on Operating Systems Principles (SOSP'2019)
Awards
Tsinghua Outstanding Graduate Student
Tsinghua Kuang-Hua Scholarship
The Interdisciplinary Contest in Modeling (ICM), Meritorious Winner
Tsinghua Sumitomo Scholarship
DEK SMT Scholarship
The National Scholarship