| 2026 | DATE | Focus Session: LLM4PQC - Accurate and Efficient Synthesis of PQC Cores by Feedback-Driven LLMs. | Buddhi Perera, Zeng Wang, Weihua Xiao, Mohammed Nabeel, Ozgur Sinanoglu, Johann Knechtel, Ramesh Karri |
| 2026 | DATE | Special Day - GUIDE: GenAI Units In Digital Design Education. | Weihua Xiao, Jason Blocklove, Matthew DeLorenzo, Johann Knechtel, Ozgur Sinanoglu, Kanad Basu, Jeyavijayan Rajendran, Siddharth Garg, Ramesh Karri |
| 2024 | DAC | Efficient Approximate Decomposition Solver using Ising Model. | Weihua Xiao, Tingting Zhang, Xingyue Qian, Jie Han, Weikang Qian |
| 2023 | ICCAD | MiniTNtk: An Exact Synthesis-based Method for Minimizing Transistor Network. | Weihua Xiao, Shanshan Han, Yue Yang, Shaoze Yang, Cheng Zheng, Jingsong Chen, Tingyuan Liang, Lei Li, Weikang Qian |
| 2022 | DATE | OPACT: Optimization of Approximate Compressor Tree for Approximate Multiplier. | Weihua Xiao, Cheng Zhuo, Weikang Qian |
| 2022 | ICCAD | ASPPLN: Accelerated Symbolic Probability Propagation in Logic Network. | Weihua Xiao, Weikang Qian |
| 2022 | ISCAS | Quantified Satisfiability-based Simultaneous Selection of Multiple Local Approximate Changes under Maximum Error Bound. | Chenfei Lou, Weihua Xiao, Weikang Qian |
| 2021 | DATE | GOMIL: Global Optimization of Multiplier by Integer Linear Programming. | Weihua Xiao, Weikang Qian, Weiqiang Liu |
| 2020 | ICCAD | Exploring Target Function Approximation for Stochastic Circuit Minimization. | Chen Wang, Weihua Xiao, John P. Hayes, Weikang Qian |