Haoxian Chen

According to our database, Haoxian Chen authored at least 9 papers between 2016 and 2023.

Collaborative distances:

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

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