Yuanmin Xie
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2025–2026
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | COMPSAC | Refuting Infeasible Paths for False Alarm Reduction. | Jianbo Chen, Yuanmin Xie, Zheng Zeng, Ran Zhang, Jianping Tang, Min Zhou |
| 2025 | ISSTA | Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques. | Yuanmin Xie, Zhenyang Xu, Yongqiang Tian, Min Zhou, Xintong Zhou, Chengnian Sun |
| 2025 | TASE | FAMiT: Mitigating False Alarms for Program Analysis Using Large Language Models. | Jiabao Zeng, Yuanlin Li, Ran Zhang, Yuanmin Xie, Kejia Li, Min Zhou |