Weihua Xiao - RankMe

22 papers A* 1A 5C 1Journal 14Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Focus Session: LLM4PQC - An Agentic Framework for Accurate and Efficient Synthesis of PQC Cores. CoRR Buddhi Perera, Zeng Wang, Weihua Xiao, Mohammed Nabeel, Ozgur Sinanoglu, Johann Knechtel, Ramesh Karri
2026	J	`jnl`	GUIDE: GenAI Units In Digital Design Education. CoRR Weihua Xiao, Jason Blocklove, Matthew DeLorenzo, Johann Knechtel, Ozgur Sinanoglu, Kanad Basu, Jeyavijayan Rajendran, Siddharth Garg, Ramesh Karri
2026	J	`jnl`	TrojanGYM: A Detector-in-the-Loop LLM for Adaptive RTL Hardware Trojan Insertion. CoRR Saideep Sreekumar, Zeng Wang, Akashdeep Saha, Weihua Xiao, Minghao Shao, Muhammad Shafique, Ozgur Sinanoglu, Ramesh Karri, Johann Knechtel
2025	—	`conf`	Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA. MLCAD Weihua Xiao, Derek Ekberg, Siddharth Garg, Ramesh Karri
2025	J	`jnl`	Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA. CoRR Weihua Xiao, Derek Ekberg, Siddharth Garg, Ramesh Karri
2025	J	`jnl`	TrojanLoC: LLM-based Framework for RTL Trojan Localization. CoRR Weihua Xiao, Zeng Wang, Minghao Shao, Raghu Vamshi Hemadri, Ozgur Sinanoglu, Muhammad Shafique, Johann Knechtel, Siddharth Garg, Ramesh Karri
2025	J	`jnl`	VeriDispatcher: Multi-Model Dispatching through Pre-Inference Difficulty Prediction for RTL Generation Optimization. CoRR Zeng Wang, Weihua Xiao, Minghao Shao, Raghu Vamshi Hemadri, Ozgur Sinanoglu, Muhammed Shafique, Ramesh Karri
2025	J	`jnl`	VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification. CoRR Patrick Yubeaton, Andre Nakkab, Weihua Xiao, Luca Collini, Ramesh Karri, Chinmay Hegde, Siddharth Garg
2024	J	`jnl`	A Survey on Approximate Multiplier Designs for Energy Efficiency: From Algorithms to Circuits. ACM Trans. Design Autom. Electr. Syst. Ying Wu, Chuangtao Chen, Weihua Xiao, Xuan Wang, Chenyi Wen, Jie Han, Xunzhao Yin, Weikang Qian, Cheng Zhuo
2024	A*	`conf`	Efficient Approximate Decomposition Solver using Ising Model. DAC Weihua Xiao, Tingting Zhang, Xingyue Qian, Jie Han, Weikang Qian
2024	J	`jnl`	PrefixLLM: LLM-aided Prefix Circuit Design. CoRR Weihua Xiao, Venkata Sai Charan Putrevu, Raghu Vamshi Hemadri, Siddharth Garg, Ramesh Karri
2023	J	`jnl`	A Survey on Approximate Multiplier Designs for Energy Efficiency: From Algorithms to Circuits. CoRR Ying Wu, Chuangtao Chen, Weihua Xiao, Xuan Wang, Chenyi Wen, Jie Han, Xunzhao Yin, Weikang Qian, Cheng Zhuo
2023	A	`conf`	MiniTNtk: An Exact Synthesis-based Method for Minimizing Transistor Network. ICCAD Weihua Xiao, Shanshan Han, Yue Yang, Shaoze Yang, Cheng Zheng, Jingsong Chen, Tingyuan Liang, Lei Li, Weikang Qian
2022	A	`conf`	ASPPLN: Accelerated Symbolic Probability Propagation in Logic Network. ICCAD Weihua Xiao, Weikang Qian
2022	A	`conf`	OPACT: Optimization of Approximate Compressor Tree for Approximate Multiplier. DATE Weihua Xiao, Cheng Zhuo, Weikang Qian
2022	C	`conf`	Quantified Satisfiability-based Simultaneous Selection of Multiple Local Approximate Changes under Maximum Error Bound. ISCAS Chenfei Lou, Weihua Xiao, Weikang Qian
2021	A	`conf`	GOMIL: Global Optimization of Multiplier by Integer Linear Programming. DATE Weihua Xiao, Weikang Qian, Weiqiang Liu
2020	A	`conf`	Exploring Target Function Approximation for Stochastic Circuit Minimization. ICCAD Chen Wang, Weihua Xiao, John P. Hayes, Weikang Qian
2013	J	`jnl`	Probabilistic programming models for traffic incident management operations planning. Ann. Oper. Res. Kaan Özbay, Cem Iyigun, Melike Baykal-Gursoy, Weihua Xiao
2009	J	`jnl`	Modeling traffic flow interrupted by incidents. Eur. J. Oper. Res. Melike Baykal-Gürsoy, Weihua Xiao, Kaan Özbay
2005	J	`jnl`	TSL Dissertation Abstracts: 2004 Transportation Science and Logistics Section Dissertation Prize Competition. Transp. Sci. Lawrence Snyder, Miguel Andres Figliozzi, Jeffrey Michael Casello, Elaine J. Chang, Chi-Nan Chin, Frank Crittin, Laurie Garrow, Paulo Goncalves, Dennis Huisman, Wenlong Jin, Laura Sumi Kang, Zongzhi Li, Steven Logghe, Leon Peeters, Nicolás E. Stier Moses, Weihua Xiao
2004	J	`jnl`	Stochastic Decomposition in M/M/infinity Queues with Markov Modulated Service Rates. Queueing Syst. Theory Appl. Melike Baykal-Gursoy, Weihua Xiao