Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis. - Haoxian Chen 001; Nate Foster; Jake Silverman; Michael J. Whittaker; Brandon Zhang; Rene Zhang (SOSR, 2016)

SDPA: Toward a Stateful Data Plane in Software-Defined Networking. - Chen Sun 005; Jun Bi; Haoxian Chen 001; Hongxin Hu; Zhilong Zheng; Shuyong Zhu; Chenghui Wu (IEEE/ACM Trans. Netw., 2017)

Towards Example-Guided Network Synthesis. - Haoxian Chen 001; Anduo Wang; Boon Thau Loo (APNet, 2018)

LHD: Improving Cache Hit Rate by Maximizing Hit Density. - Nathan Beckmann; Haoxian Chen 001; Asaf Cidon (NSDI, 2018)

Interpretable Feedback for AutoML and a Proposal for Domain-customized AutoML for Networking. - Behnaz Arzani; Kevin Hsieh; Haoxian Chen 001 (HotNets, 2021)

Interpret-able feedback for AutoML systems. - Behnaz Arzani; Kevin Hsieh; Haoxian Chen 001 (CoRR, 2021)

Declarative smart contracts. - Haoxian Chen 001; Gerald Whitters; Mohammad Javad Amiri; Yuepeng Wang 001; Boon Thau Loo (ESEC/SIGSOFT FSE, 2022)

Safety Verification of Declarative Smart Contracts. - Haoxian Chen 001; Lan Lu; Brendan Massey; Yuepeng Wang 001; Boon Thau Loo (CoRR, 2022)

Synthesizing Formal Network Specifications From Input-Output Examples. - Haoxian Chen 001; Chenyuan Wu; Andrew Zhao; Mukund Raghothaman; Mayur Naik; Boon Thau Loo (IEEE/ACM Trans. Netw., 2023)

Interpretable Network Synthesis via Localized Specifications. - Haoxian Chen 001 (FMANO@SIGCOMM, 2024)

Localized Explanations for Automatically Synthesized Network Configurations. - Amirmohammad Nazari; Yongzheng Zhang; Mukund Raghothaman; Haoxian Chen 001 (HotNets, 2024)

Verifying Declarative Smart Contracts. - Haoxian Chen 001; Lan Lu; Brendan Massey; Yuepeng Wang 001; Boon Thau Loo (ICSE, 2024)

Practical Declarative Smart Contracts Optimization. - Lan Lu; Tao Luo; Jingyi Li; Hongxun Ding; Brendan Massey; Haoxian Chen 001; Boon Thau Loo (VLDB Workshops, 2024)

Incremental Rule Discovery in Response to Parameter Updates. - Haoxian Chen 001; Wenfei Fan; Jiaye Zheng (Proc. ACM Manag. Data, 2025)