Mingyuan Song
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SIGCOMM | Towards Efficient Verification of Distributed In-Network Computing Programs. | Mingyuan Song, Huan Shen, Jinghui Jiang, Qiang Su, Ziheng Zhang, Qingyu Song, Yuchao Zhang, Wanjian Feng, Fei Yuan, Yitao Xing, Wenjia Wei, Qiao Xiang, Jiwu Shu |
| 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 |
| 2023 | ICPADS | Accelerating SAT Solving Using Switching ASICs. | Zhenpei Huang, Xiwen Fan, Jinghui Jiang, Mingyuan Song, Lu Tang, Qiao Xiang, Jiwu Shu |