Xinwei Fang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DAC | UVLLM: An Automated Universal RTL Verification Framework using LLMs. | Yuchen Hu, Junhao Ye, Ke Xu, Jialin Sun, Shiyue Zhang, Xinyao Jiao, Dingrong Pan, Jie Zhou, Ning Wang, Weiwei Shan, Xinwei Fang, Xi Wang, Nan Guan, Zhe Jiang |
| 2025 | DAC | Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design. | Jie Zhou, Youshu Ji, Ning Wang, Yuchen Hu, Xinyao Jiao, Bingkun Yao, Xinwei Fang, Shuai Zhao, Nan Guan, Zhe Jiang |
| 2025 | DAC | Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design. | Jie Zhou, Youshu Ji, Ning Wang, Yuchen Hu, Xinyao Jiao, Bingkun Yao, Xinwei Fang, Shuai Zhao, Nan Guan, Zhe Jiang |
| 2025 | ICCAD | From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification. | Junhao Ye, Yuchen Hu, Ke Xu, Dingrong Pan, Qichun Chen, Jie Zhou, Shuai Zhao, Xinwei Fang, Xi Wang, Nan Guan, Zhe Jiang |
| 2025 | RTSS | Response Time Analysis for Probabilistic Dag Tasks in Multicore Real-Time Systems. | Shuai Zhao, Yiyang Gao, Zhiyang Lin, Boyang Li, Xinwei Fang, Zhe Jiang, Nan Guan |
| 2024 | ICCAD | MEIC: Re-thinking RTL Debug Automation using LLMs. | Ke Xu, Jialin Sun, Yuchen Hu, Xinwei Fang, Weiwei Shan, Xi Wang, Zhe Jiang |
| 2022 | SEAMS | PRESTO: Predicting System-level Disruptions through Parametric Model Checking. | Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson |
| 2021 | ICSE | Fast Parametric Model Checking through Model Fragmentation. | Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem |
| 2019 | SAFECOMP | Three Reasons Why: Framing the Challenges of Assuring AI. | Xinwei Fang, Nikita Johnson |
| 2017 | EWSN | Using Multi-parameters for Calibration of Low-cost Sensors in Urban Environment. | Xinwei Fang, Iain Bate |
| 2017 | SENSYS | Issues of using wireless sensor network to monitor urban air quality. | Xinwei Fang, Iain Bate |