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)

View Paper

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

View Paper

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

View Paper

View Slides

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

View Paper

View Slides

Cheetah: Accelerating Database Queries with Switch Pruning

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

ACM SIGMOD 2020

View Paper

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)

View Paper

View Slides

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