Jie Lu

Aquila: a practically usable verification system for production-scale programmable data planes

Hongqiang Harry Liu, Feng Yan, Jiaqi Gao, 2021, SIGCOMM.

Sailfish: accelerating cloud-scale multi-tenant multi-service gateways with programmable switches

Tian Pan, Jiao Zhang, Enge Song, 2021, SIGCOMM.