Haoxian Chen

According to our database, Haoxian Chen authored at least 13 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Practical Declarative Smart Contracts Optimization.

Lan Lu, Tao Luo, Jingyi Li, Hongxun Ding, Brendan Massey, Haoxian Chen, Boon Thau Loo

Proceedings of Workshops at the 50th International Conference on Very Large Data Bases, 2024

Verifying Declarative Smart Contracts.

Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Localized Explanations for Automatically Synthesized Network Configurations.

Amirmohammad Nazari, Yongzheng Zhang, Mukund Raghothaman, Haoxian Chen

Proceedings of the 23rd ACM Workshop on Hot Topics in Networks, 2024

Interpretable Network Synthesis via Localized Specifications.

Haoxian Chen

Proceedings of the 2024 SIGCOMM Workshop on Formal Methods Aided Network Operation, 2024

2023

Synthesizing Formal Network Specifications From Input-Output Examples.

Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo

IEEE/ACM Trans. Netw., June, 2023

2022

Safety Verification of Declarative Smart Contracts.

Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo

CoRR, 2022

Declarative smart contracts.

Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

Interpret-able feedback for AutoML systems.

Behnaz Arzani, Kevin Hsieh, Haoxian Chen

CoRR, 2021

Interpretable Feedback for AutoML and a Proposal for Domain-customized AutoML for Networking.

Behnaz Arzani, Kevin Hsieh, Haoxian Chen

Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 2021

2018

LHD: Improving Cache Hit Rate by Maximizing Hit Density.

Nathan Beckmann, Haoxian Chen, Asaf Cidon

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Towards Example-Guided Network Synthesis.

Haoxian Chen, Anduo Wang, Boon Thau Loo

Proceedings of the 2nd Asia-Pacific Workshop on Networking, 2018

2017

SDPA: Toward a Stateful Data Plane in Software-Defined Networking.

Chen Sun, Jun Bi, Haoxian Chen, Hongxin Hu, Zhilong Zheng, Shuyong Zhu, Chenghui Wu

IEEE/ACM Trans. Netw., 2017

2016

Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis.

Haoxian Chen, Nate Foster, Jake Silverman, Michael J. Whittaker, Brandon Zhang, Rene Zhang

Proceedings of the Symposium on SDN Research, 2016