Co-authors
19
list available
Resume (English only)
Academic Achievements
- Published multiple papers at top-tier conferences including ACM SIGCOMM, USENIX OSDI, USENIX NSDI, ACM SIGMOD, and ACM SOSP, such as:
- “µFabric: Predictable vFabric on Informative Data Plane” (SIGCOMM 2022)
- “SwitchV: Automated SDN Switch Validation with P4 Models” (SIGCOMM 2022)
- “Carbink: Fault-Tolerant Far Memory” (OSDI 2022)
- “Cetus: Releasing P4 Programmers from the Chore of Trial and Error Compiling” (NSDI 2022)
- “Aquila: A Practically Usable Verification System for Production-Scale Programmable Data Planes” (SIGCOMM 2021)
- “Lyra: A Cross-Platform Language and Compiler for Data Plane Programming on Heterogeneous ASICs” (SIGCOMM 2020)
- “Scouts: Improving the Diagnosis Process Through Domain-customized Incident Routing” (SIGCOMM 2020)
- “Cheetah: Accelerating Database Queries with Switch Pruning” (SIGMOD 2020)
- “Risk based Planning of Network Changes in Evolving Data Centers” (SOSP 2019)
- Awards include Tsinghua Outstanding Graduate Student, Tsinghua Kuang-Hua Scholarship, Meritorious Winner in ICM, Tsinghua Sumitomo Scholarship, DEK SMT Scholarship, and National Scholarship