Haoxian Chen -

Registered user since Fri 25 Sep 2026

Name:Haoxian Chen

Country:China

Affiliation:ShanghaiTech University

Personal website: https://faculty.sist.shanghaitech.edu.cn/hxchen/

Contributions

2026

ASE

Author of Smart Contract Synthesis via Multi-modal Specifications within the Research Papers-track

2024

ICSE

Author of Verifying Declarative Smart Contracts. within the Artifact Evaluation-track
Author of Verifying Declarative Smart Contracts within the Research Track-track

2022

ESEC/FSE

Author of Declarative Smart Contracts within the Research Papers-track