Xinming Wei

According to our database, Xinming Wei authored at least 6 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency.

Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Xian Zhang, Fan Yang, Xiaoxing Ma

CoRR, 2024

The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models.

Lei Chen, Yiqi Chen, Zhufei Chu, Wenji Fang, Tsung-Yi Ho, Yu Huang, Sadaf Khan, Min Li, Xingquan Li, Yun Liang, Yibo Lin, Jinwei Liu, Yi Liu, Guojie Luo, Zhengyuan Shi, Guangyu Sun, Dimitrios Tsaras, Runsheng Wang, Ziyi Wang, Xinming Wei, Zhiyao Xie, Qiang Xu, Chenhao Xue, Evangeline F. Y. Young, Bei Yu, Mingxuan Yuan, Haoyi Zhang, Zuodong Zhang, Yuxiang Zhao, Hui-Ling Zhen, Ziyang Zheng, Binwu Zhu, Keren Zhu, Sunan Zou

CoRR, 2024

Rethinking IC Layout Vulnerability: Simulation-Based Hardware Trojan Threat Assessment with High Fidelity.

Xinming Wei, Jiaxi Zhang, Guojie Luo

Proceedings of the IEEE Symposium on Security and Privacy, 2024

ImageMap: Enabling Efficient Mapping from Image Processing DSL to CGRA.

Bizhao Shi, Tuo Dai, Sunan Zou, Xinming Wei, Guojie Luo

Proceedings of the Euro-Par 2024: Parallel Processing, 2024

2023

GDSII-Guard: ECO Anti-Trojan Optimization with Exploratory Timing-Security Trade-Offs.

Xinming Wei, Jiaxi Zhang, Guojie Luo

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

Purlin: A Versatile Toolkit for the Generation and Simulation of On-Chip Networks.

Yijiang Guo, Xinming Wei, Jiaxi Zhang, Guojie Luo

Proceedings of the IEEE 40th International Conference on Computer Design, 2022