Login / Signup
Xiwen Fan
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Heterogeneous Data
Sat Solving
Boolean Optimization
Top Venues
SIGCOMM
ICPADS
</>
Publications
</>
Zhenpei Huang
,
Xiwen Fan
,
Jinghui Jiang
,
Mingyuan Song
,
Lu Tang
,
Qiao Xiang
,
Jiwu Shu
Accelerating SAT Solving Using Switching ASICs.
ICPADS
(2023)
Qiao Xiang
,
Chenyang Huang
,
Ridi Wen
,
Yuxin Wang
,
Xiwen Fan
,
Zaoxing Liu
,
Linghe Kong
,
Dennis Duan
,
Franck Le
,
Wei Sun
Beyond a Centralized Verifier: Scaling Data Plane Checking via Distributed, On-Device Verification.
SIGCOMM
(2023)