An Intermediate Representation for Network Programming Languages. - Hao Li 011; Peng Zhang 011; Guangda Sun; Chengchen Hu; Danfeng Shan; Tian Pan 001; Qiang Fu 011 (APNet, 2020)

A modular compiler for network programming languages. - Hao Li 011; Peng Zhang 011; Guangda Sun; Chengchen Hu; Danfeng Shan; Tian Pan 001; Qiang Fu 011 (CoNEXT, 2020)

Programming Network Stack for Middleboxes with Rubik. - Hao Li 011; Changhao Wu; Guangda Sun; Peng Zhang 011; Danfeng Shan; Tian Pan 001; Chengchen Hu (NSDI, 2021)

The Case for Accelerating BFT Protocols Using In-Network Ordering. - Guangda Sun; Xin Zhe Khooi; Yunfan Li; Mingliang Jiang; Jialin Li 001 (CoRR, 2022)

Compiling Cross-Language Network Programs Into Hybrid Data Plane. - Hao Li 011; Peng Zhang 011; Guangda Sun; Wanyue Cao; Chengchen Hu; Danfeng Shan; Tian Pan 001; Qiang Fu 011 (IEEE/ACM Trans. Netw., 2022)

LemonNFV: Consolidating Heterogeneous Network Functions at Line Speed. - Hao Li 011; Yihan Dang; Guangda Sun; Guyue Liu; Danfeng Shan; Peng Zhang 011 (NSDI, 2023)

NeoBFT: Accelerating Byzantine Fault Tolerance Using Authenticated In-Network Ordering. - Guangda Sun; Mingliang Jiang; Xin Zhe Khooi; Yunfan Li; Jialin Li 001 (SIGCOMM, 2023)

Chrono: A Peer-to-Peer Network with Verifiable Causality. - Michael Hu Yiqing; Guangda Sun; Arun Fu; Akasha Zhu; Jialin Li 001 (CoRR, 2023)

Vault: Decentralized Storage Made Durable. - Guangda Sun; Michael Hu Yiqing; Arun Fu; Akasha Zhu; Jialin Li 001 (CoRR, 2023)

Building a Verifiable Logical Clock for P2P Networks. - Guangda Sun; Tianyang Tao; Yanpei Guo; Michael Hu Yiqing; Jialin Li 001 (CoRR, 2024)

Programming Network Stack for Physical Middleboxes and Virtualized Network Functions. - Hao Li 011; Yihan Dang; Guangda Sun; Changhao Wu; Peng Zhang 011; Danfeng Shan; Tian Pan 001; Chengchen Hu (IEEE/ACM Trans. Netw., 2024)

Collaborative Editable Model. - Kaiwen Tang; Aitong Wu; Yao Lu; Guangda Sun (CoRR, 2025)