Haoxian Chen

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 21

Top Topics

Declarative Language

Simulation Models

Top Venues

IEEE/ACM Trans. Netw.

Publications

Haoxian Chen, Henry Lam
Pseudo-Bayesian Optimization. CoRR (2023)
Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo
Synthesizing Formal Network Specifications From Input-Output Examples. IEEE/ACM Trans. Netw. 31 (3) (2023)
Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo
Declarative smart contracts. ESEC/SIGSOFT FSE (2022)
Krzysztof Choromanski, Han Lin, Haoxian Chen, Tianyi Zhang, Arijit Sehanobish, Valerii Likhosherstov, Jack Parker-Holder, Tamás Sarlós, Adrian Weller, Thomas Weingarten
From block-Toeplitz matrices to differential equations on graphs: towards a general theory for scalable masked Transformers. ICML (2022)
Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
Safety Verification of Declarative Smart Contracts. CoRR (2022)
Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo
Declarative Smart Contracts. CoRR (2022)
Krzysztof Marcin Choromanski, Han Lin, Haoxian Chen, Arijit Sehanobish, Yuanzhe Ma, Deepali Jain, Jake Varley, Andy Zeng, Michael S. Ryoo, Valerii Likhosherstov, Dmitry Kalashnikov, Vikas Sindhwani, Adrian Weller
Hybrid Random Features. ICLR (2022)
Haoxian Chen, Ziyi Huang, Henry Lam, Huajie Qian, Haofeng Zhang
Learning Prediction Intervals for Regression: Generalization and Calibration. CoRR (2021)
Krzysztof Choromanski, Han Lin, Haoxian Chen, Jack Parker-Holder
Graph Kernel Attention Transformers. CoRR (2021)
Behnaz Arzani, Kevin Hsieh, Haoxian Chen
Interpret-able feedback for AutoML systems. CoRR (2021)
Behnaz Arzani, Kevin Hsieh, Haoxian Chen
Interpretable Feedback for AutoML and a Proposal for Domain-customized AutoML for Networking. HotNets (2021)
Haoxian Chen, Ziyi Huang, Henry Lam, Huajie Qian, Haofeng Zhang
Learning Prediction Intervals for Regression: Generalization and Calibration. AISTATS (2021)
Krzysztof Choromanski, Haoxian Chen, Han Lin, Yuanzhe Ma, Arijit Sehanobish, Deepali Jain, Michael S. Ryoo, Jake Varley, Andy Zeng, Valerii Likhosherstov, Dmitry Kalashnikov, Vikas Sindhwani, Adrian Weller
Hybrid Random Features. CoRR (2021)
Yuanlu Bai, Tucker Balch, Haoxian Chen, Danial Dervovic, Henry Lam, Svitlana Vyetrenko
Calibrating Over-Parametrized Simulation Models: A Framework via Eligibility Set. CoRR (2021)
Han Lin, Haoxian Chen, Tianyi Zhang, Clement Laroche, Krzysztof Choromanski
Demystifying Orthogonal Monte Carlo and Beyond. CoRR (2020)
Haoxian Chen, Henry Lam, Fengpei Li, Amirhossein Meisami
Constrained Reinforcement Learning via Policy Splitting. ACML (2020)
Han Lin, Haoxian Chen, Krzysztof Marcin Choromanski, Tianyi Zhang, Clement Laroche
Demystifying Orthogonal Monte Carlo and Beyond. NeurIPS (2020)
Nathan Beckmann, Haoxian Chen, Asaf Cidon
LHD: Improving Cache Hit Rate by Maximizing Hit Density. NSDI (2018)
Haoxian Chen, Anduo Wang, Boon Thau Loo
Towards Example-Guided Network Synthesis. APNet (2018)
Chen Sun, Jun Bi, Haoxian Chen, Hongxin Hu, Zhilong Zheng, Shuyong Zhu, Chenghui Wu
SDPA: Toward a Stateful Data Plane in Software-Defined Networking. IEEE/ACM Trans. Netw. 25 (6) (2017)
Haoxian Chen, Nate Foster, Jake Silverman, Michael J. Whittaker, Brandon Zhang, Rene Zhang
Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis. SOSR (2016)
Haoxian Chen, R. Russell Rhinehart
Incorporation of a generalized TSK model in nonlinear model predictive control. ACC (2012)