Haoxian Chen (陈浩贤)
Assistant Professor
School of Information Science and Technology
ShanghaiTech University
Email: hxchen[at]shanghaitech.edu.cn
Office: Room 1C-503.A, SIST Building 1
Short bio: I got my PhD from Upenn in 2023, advised by Prof. Boon Thau Loo. Before joining UPenn, I worked in Prof. Nathan Beckmann's group at CMU, on cache replacement policies. I got my Bachelors from Tsinghua University in Beijing, China, in 2016. I was born and rasied in Zhuhai, China.
Research: I am interested in improving software verification efficiency by designing high-level domain-specific languages, with automatic verification and program synthesis support. My research spans many topics: programming languages, software engineering, domain-specific languages, program verification, program synthesis, and network protocols.
Projects
- Declarative programming for Ethereum smart contracts:
We design and implement a declarative domain-specific language for Ethereum
smart contracts, which allows programmers to succinctly express contract
logic via declarative rules, and perform automatic formal verification.
[
FSE'22,
ICSE'24
]
[FSE Talk] [Project Code]
Featured in Smart Contract Research Forum. - Example-driven network protocol specification synthesis
We propose a tool to synthesize network protocol specifications from
input-output examples. The goal is to reduce the effort and expertise
required to specify formal models for network protocols, thus accelerating
the adoption of formal methods in networking practice.
[ToN'22]
[Project Code]
Students
- You Cunhan (尤存翰), MS 2022
- Zheng Jiaye (郑嘉业), MS 2022
- Li Zhicheng (李智诚), MS 2023
- Xiang Huilin (项慧琳), MS 2023
Teaching
- CS247 Computer-Aided Verification, Spring 2024. Mon / Wed, 1pm, 1A106 SIST.
- CS120 Computer Networks, Fall 2023
Service
- Program Committee: SoCC'23
Publications
- Verifying Declarative Smart Contracts, ICSE'24
Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
[preprint] - Declarative Smart Contracts, FSE'22
Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo
[PDF] [Slides] [Code] [Presentation] - Synthesizing Formal Network Specifications from Input-Output Examples, IEEE/ACM Transactions on Networking (ToN)'22
Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo
[PDF] [Code] - Interpretable Feedback for AutoML and a Proposal for Domain-customized AutoML for Networking (HotNets'21)
Behnaz Arzani, Kevin Hsieh, Haoxian Chen
[PDF] - Towards Example-Guided Network Synthesis (APNET'18)
Haoxian Chen, Anduo Wang, and Boon Thau Loo.
[PDF] [Slides] - LHD: Improving Cache Hit Rate by Maximizing Hit Density (NSDI'18)
Nathan Beckmann, Haoxian Chen, and Asaf Cidon.
[PDF] - SDPA: Toward a Stateful Data Plane in Software-Defined Networking
(TON'17)
Chen Sun, Jun Bi, Haoxian Chen, Hongxin Hu, Zhilong Zheng, Shuyong Zhu, and Chenghui Wu.
[PDF] - Felix: Implementing Traffic Measurement on End Hosts Using Program
Analysis (SOSR'16)
Haoxian Chen, Nate Foster, Jake Silverman, Michael Whittaker, Brandon Zhang, and Rene Zhang.
[PDF]