返回
陈浩贤
助理教授、研究员、博导
博士毕业院校： 美国宾夕法尼亚大学
电话：
办公室： 信息学院1C503.A
个人主页： https://faculty.sist.shanghaitech.edu.cn/hxchen/
专业方向：
单位：
所属课题组：
研究方向： 计算机网络，编程语言
招聘主页：
简介
团队
科研
教学
服务
成果
论文
影集
报道
主要岗位职责（A角）
兼任岗位职责（B角）
兼任岗位职业（C角）

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.


  • 1. Chen, Haoxian;Lu, Lan;Massey, Brendan;Wang, Yuepeng;Loo, Boon Thau;#, Verifying Declarative Smart Contracts, INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 16 Apr 2024, 46(2024):963-963
  • 2. Beckmann, Nathan;Chen, Haoxian;Cidon, Asaf;#, LHD: Improving Cache Hit Rate by Maximizing Hit Density, NSDI, Apr 2018,
  • 3. Behnaz Arzani;Kevin Hsieh;Chen, Haoxian;#, Interpretable Feedback for AutoML and a Proposal for Domain-customized AutoML for Networking, HOTNETS, Aug 2021,
  • 4. Chen, Haoxian;Wang, Anduo;Loo, Boon Thau;#, Towards Example-Guided Network Synthesis, APNET, Aug 2018,
  • 5. Chen, Haoxian;Foster, Nate;Silverman, Jake;Whittaker, Michael;Zhang, Brandon;Zhang, Rene;#, Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis, SYMPOSIUM ON SDN RESEARCH, Apr 2016,
  • 6. Chen, Haoxian;Whitters, Gerald;Amiri, Mohammad Javad;Wang, Yuepeng;Loo, Boon Thau;#, Declarative Smart Contracts, ACM JOINT EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, Nov 2022,
  • 7. Sun, Chen;Bi, Jun;Chen, Haoxian;Hu, Hongxin;Zheng, Zhilong;Zhu, Shuyong;Wu, Chenghui;#, SDPA: Toward a Stateful Data Plane in Software-Defined Networking, IEEE TRANSACTION ON NETWORKING, Aug 2017,