Haoxian Chen

17 papers A* 1Misc 3Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Incremental Network Configuration Verification via Localized Subspecification.
FMANO@SIGCOMM
Haoxian Chen
2025 J jnl
Incremental Rule Discovery in Response to Parameter Updates.
Proc. ACM Manag. Data
Haoxian Chen, Wenfei Fan, Jiaye Zheng
2025 — conf
Interpretable Network Verification via Subspecifications.
APNet
Yongzheng Zhang, Haoxian Chen, Amirmohammad Nazari, Mukund Raghothaman
2024 — conf
Interpretable Network Synthesis via Localized Specifications.
FMANO@SIGCOMM
Haoxian Chen
2024 Misc conf
Localized Explanations for Automatically Synthesized Network Configurations.
HotNets
Amirmohammad Nazari, Yongzheng Zhang, Mukund Raghothaman, Haoxian Chen
2024 — conf
Practical Declarative Smart Contracts Optimization.
VLDB Workshops
Lan Lu, Tao Luo, Jingyi Li, Hongxun Ding, Brendan Massey, Haoxian Chen, Boon Thau Loo
2024 A* conf
Verifying Declarative Smart Contracts.
ICSE
Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
2023 J jnl
Synthesizing Formal Network Specifications From Input-Output Examples.
IEEE/ACM Trans. Netw.
Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo
2022 J jnl
Declarative Smart Contracts.
CoRR
Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo
2022 — conf
Declarative smart contracts.
ESEC/SIGSOFT FSE
Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo
2022 J jnl
Safety Verification of Declarative Smart Contracts.
CoRR
Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
2021 J jnl
Interpret-able feedback for AutoML systems.
CoRR
Behnaz Arzani, Kevin Hsieh, Haoxian Chen
2021 Misc conf
Interpretable Feedback for AutoML and a Proposal for Domain-customized AutoML for Networking.
HotNets
Behnaz Arzani, Kevin Hsieh, Haoxian Chen
2018 Misc conf
LHD: Improving Cache Hit Rate by Maximizing Hit Density.
NSDI
Nathan Beckmann, Haoxian Chen, Asaf Cidon
2018 — conf
Towards Example-Guided Network Synthesis.
APNet
Haoxian Chen, Anduo Wang, Boon Thau Loo
2017 J jnl
SDPA: Toward a Stateful Data Plane in Software-Defined Networking.
IEEE/ACM Trans. Netw.
Chen Sun, Jun Bi, Haoxian Chen, Hongxin Hu, Zhilong Zheng, Shuyong Zhu, Chenghui Wu
2016 — conf
Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis.
SOSR
Haoxian Chen, Nate Foster, Jake Silverman, Michael J. Whittaker, Brandon Zhang, Rene Zhang