Login / Signup
Feiyan Ding
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Network Configuration
Scheduling Policies
Multistage
Attack Graph
Top Venues
ICPADS
INFOCOM
</>
Publications
</>
Xing Fang
,
Feiyan Ding
,
Bang Huang
,
Ziyi Wang
,
Gao Han
,
Rulan Yang
,
Lizhao You
,
Qiao Xiang
,
Linghe Kong
,
Yutong Liu
,
Jiwu Shu
Network Can Help Check Itself: Accelerating SMT-based Network Configuration Verification Using Network Domain Knowledge.
INFOCOM
(2024)
Haoyu Liu
,
Feiyan Ding
,
Yao Wang
,
Qiao Xiang
,
Jiwu Shu
,
Haizhou Du
,
Linghe Kong
,
Xue Liu
What Appears Suboptimal May Surprise You: A Fixed-Rate Scheduling Policy for Geo-Distributed CoFlows.
ICPADS
(2023)