Login / Signup
Haoxian Chen
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Declarative Language
Top Venues
FMANO@SIGCOMM
ICSE
</>
Publications
</>
Haoxian Chen
Interpretable Network Synthesis via Localized Specifications.
FMANO@SIGCOMM
(2024)
Haoxian Chen
,
Lan Lu
,
Brendan Massey
,
Yuepeng Wang
,
Boon Thau Loo
Verifying Declarative Smart Contracts.
ICSE
(2024)