Feiyan Ding
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IWQoS | LEOPARD: Accelerating Cloud-based Access Control Policy Verification Using Logical Encoding Optimization. | Xing Fang, Feiyan Ding, Mingyuan Song, Yuntao Zhao, Lizhao You, Qiao Xiang, Linghe Kong, Jiwu Shu, Xue (Steve) Liu |
| 2024 | INFOCOM | Network Can Help Check Itself: Accelerating SMT-based Network Configuration Verification Using Network Domain Knowledge. | Xing Fang, Feiyan Ding, Bang Huang, Ziyi Wang, Gao Han, Rulan Yang, Lizhao You, Qiao Xiang, Linghe Kong, Yutong Liu, Jiwu Shu |
| 2023 | ICPADS | What Appears Suboptimal May Surprise You: A Fixed-Rate Scheduling Policy for Geo-Distributed CoFlows. | Haoyu Liu, Feiyan Ding, Yao Wang, Qiao Xiang, Jiwu Shu, Haizhou Du, Linghe Kong, Xue Liu |