Publications

"BASS: Batched attention-optimized speculative sampling," Haifeng Qian, Sujan Kumar Gonugondla, Sungsoo Ha, Mingyue Shang, Sanjay Krishna Gouda, Ramesh Nallapati, Sudipta Sengupta, Xiaofei Ma and Anoop Deoras, Findings of the Association for Computational Linguistics (ACL), accepted and to appear, 2024.

"Bifurcated attention for single-context large-batch sampling," Ben Athiwaratkun, Sujan Kumar Gonugondla, Sanjay Krishna Gouda, Haifeng Qian, Hantian Ding, Qing Sun, Jun Wang, Jiacheng Guo, Liangfu Chen, Parminder Bhatia, Ramesh Nallapati, Sudipta Sengupta and Bing Xiang, International Conference on Machine Learning (ICML), accepted and to appear, 2024.

"CodeFort: Robust training for code generation models," Yuhao Zhang, Shiqi Wang, Haifeng Qian, Zijian Wang, Mingyue Shang, Linbo Liu, Sanjay Krishna Gouda, Baishakhi Ray, Murali Krishna Ramanathan, Xiaofei Ma and Anoop Deoras, arXiv:2405.01567, 2024.

"Constrained decoding for code language models via efficient left and right quotienting of context-sensitive grammars," Daniel Melcer, Nathan Fulton, Sanjay Krishna Gouda and Haifeng Qian, arXiv:2402.17988, 2024.

"ReCode: Robustness evaluation of code generation models," Shiqi Wang, Zheng Li, Haifeng Qian, Chenghao Yang, Zijian Wang, Mingyue Shang, Varun Kumar, Samson Tan, Baishakhi Ray, Parminder Bhatia, Ramesh Nallapati, Murali Krishna Ramanathan, Dan Roth and Bing Xiang, Annual Meeting of the Association for Computational Linguistics (ACL), 2023. code

"Approximate inference in logical credal networks," Radu Marinescu, Haifeng Qian, Alexander Gray, Debarun Bhattacharjya, Francisco Barahona, Tian Gao and Ryan Riegel, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2023.

"Multi-lingual evaluation of code generation models," Ben Athiwaratkun, Sanjay Krishna Gouda, Zijian Wang, Xiaopeng Li, Yuchen Tian, Ming Tan, Wasi Uddin Ahmad, Shiqi Wang, Qing Sun, Mingyue Shang, Sujan Kumar Gonugondla, Hantian Ding, Varun Kumar, Nathan Fulton, Arash Farahani, Siddhartha Jain, Robert Giaquinto, Haifeng Qian, Murali Krishna Ramanathan, Ramesh Nallapati, Baishakhi Ray, Parminder Bhatia, Sudipta Sengupta, Dan Roth and Bing Xiang, International Conference on Learning Representations (ICLR), 2023.

"Towards greener yet powerful code generation via quantization: an empirical study," Xiaokai Wei, Sujan Kumar Gonugondla, Shiqi Wang, Wasi Ahmad, Baishakhi Ray, Haifeng Qian, Xiaopeng Li, Varun Kumar, Zijian Wang, Yuchen Tian, Qing Sun, Ben Athiwaratkun, Mingyue Shang, Murali Krishna Ramanathan, Parminder Bhatia and Bing Xiang, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2023.

"Logical credal networks," Radu Marinescu, Haifeng Qian, Alexander Gray, Debarun Bhattacharjya, Francisco Barahona, Tian Gao, Ryan Riegel and Pravinda Sahu, Conference on Neural Information Processing Systems (NeurIPS), 2022. poster

"An ensemble approach towards adversarial robustness," Haifeng Qian, arXiv:2106.05996, 2021. models

"Neural belief reasoner," Haifeng Qian, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 4275-4282, 2020. models video 

"Logical neural networks," Ryan Riegel, Alexander Gray, Francois Luus, Naweed Khan, Ndivhuwo Makondo, Ismail Yunus Akhalwaya, Haifeng Qian, Ronald Fagin, Francisco Barahona, Udit Sharma, Shajith Ikbal, Hima Karanam, Sumit Neelam, Ankita Likhyani and Santosh Srivastava, arXiv:2006.13155, 2020.

"L2-nonexpansive neural networks," Haifeng Qian and Mark N. Wegman, International Conference on Learning Representations (ICLR), 2019. models openreview 

"Measuring graph proximity with blink model," Haifeng Qian, Hui Wan, Mark N. Wegman, Luis A. Lastras and Ruchir Puri, International Workshop on Mining and Learning with Graphs (a KDD workshop), 2016. data video 

"Stochastic preconditioning for diagonally dominant matrices," Haifeng Qian and Sachin S. Sapatnekar, SIAM Journal on Scientific Computing, vol. 30, no. 3, pp. 1178-1204, 2008. 

"Machine learning for noise sensor placement and full-chip voltage emergency detection," Xiaochen Liu, Shupeng Sun, Xin Li, Haifeng Qian and Pingqiang Zhou, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 36, no. 3, pp. 421-434, 2017. 

"Fast 3-D thermal simulation for integrated circuits with domain decomposition method," Wenjian Yu, Tao Zhang, Xiaolong Yuan and Haifeng Qian, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 32, no. 12, pp. 2014-2018, 2013. 

"Subtractive router for tree-driven-grid clocks," Haifeng Qian, Phillip J. Restle, Joseph N. Kozhaya and Clifford L. Gunion, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 31, no. 6, pp. 868-877, 2012. 

"Fast poisson solvers for thermal analysis," Haifeng Qian, Sachin S. Sapatnekar and Eren Kursun, ACM Transactions on Design Automation of Electronic Systems, vol. 17, no. 3, pp. 32:1-32:23, 2012. 

"Design methodology for the POWER7™ microprocessor," Joshua Friedrich, Ruchir Puri, Uwe Brandt, Markus Buehler, Jack DiLullo, Jeremy Hopkins, Mozammel Hossain, Michael Kazda, Joachim Keinert, Zahi Kurzum, Douglass Lamb, Alice Lee, Frank Musante, Jens Noack, Peter Osler, Stephen Posluszny, Haifeng Qian, Shyam Ramji, Vasant Rao, Lakshmi Reddy, Thomas Rosser, Benjamin Russell, Cliff Sze and Gustavo Tellez, IBM Journal of Research and Development, vol. 55, no. 3, pp. 9:1-9:14, 2011. 

"Fast and accurate statistical criticality computation under process variations," Hushrav D. Mogal, Haifeng Qian, Sachin S. Sapatnekar and Kiarash Bazargan, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 28, no. 3, pp. 350-363, 2009. 

"Timing-aware power minimization via extended timing graph methods," Haifeng Qian and Emrah Acar, ASP Journal of Low Power Electronics, vol. 3, no. 3, pp. pp. 318-326, 2007. 

"Temperature-aware placement for SOCs," Jeng-Liang Tsai, Charlie Chung-Ping Chen, Guoqiang Chen, Brent Goplen, Haifeng Qian, Yong Zhan, Sung-Mo Kang, Martin D. F. Wong and Sachin S. Sapatnekar, Proceedings of the IEEE, vol. 94, no.8, pp. 1502-1518, 2006. 

"Power grid analysis using random walks," Haifeng Qian, Sani R. Nassif and Sachin S. Sapatnekar, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 24, no. 8, pp. 1204-1224, 2005. 

"Early-stage power grid analysis for uncertain working modes," Haifeng Qian, Sani R. Nassif and Sachin S. Sapatnekar, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 24, no. 5, pp. 676-682, 2005. 

"A phone-assistive device based on Bluetooth technology for cochlear implant users," Haifeng Qian, Philipos C. Loizou and Michael F. Dorman, IEEE Transactions on Neural Systems and Rehabilitation Engineering, vol. 11, no. 3, pp. 282-287, 2003. 

"Gate movement for timing improvement on row based Dual-VDD designs," Hua Xiang, Lakshmi Reddy, Haifeng Qian, Ching Zhou, Yu-Shiang Lin, Fanchieh Yee, Andrew Sullivan and Pong-Fei Lu, Proceedings of the International Symposium on Quality Electronic Design, pp. 423-429, 2016. 

"A statistical methodology for noise sensor placement and full-chip voltage map generation," Xiaochen Liu, Shupeng Sun, Pingqiang Zhou, Xin Li and Haifeng Qian, Proceedings of the ACM/IEEE Design Automation Conference, 2015. 

"Bridging high performance and low power in processor design," Ruchir Puri, Mihir Choudhury, Haifeng Qian and Matthew Ziegler, Proceedings of the International Symposium on Low Power Electronics and Design, pp. 183-188, 2014 (invited paper). 

"Row based dual-VDD island generation and placement," Hua Xiang, Haifeng Qian, Ching Zhou, Yu-Shiang Lin, Fanchieh Yee, Andrew Sullivan and Pong-Fei Lu, Proceedings of the ACM/IEEE Design Automation Conference, 2014. 

"PACMAN: driving nonuniform clock grid Loads for low-skew robust clock network," Ying Zhou, Phillip J. Restle, Joseph J. Palumbo, Joseph N. Kozhaya, Haifeng Qian, Zhuo Li, Charles J. Alpert and Chin Ngai Sze, Proceedings of IEEE/ACM International Workshop on System-Level Interconnect Prediction, 2014. 

"A hybrid random walk algorithm for 3-D thermal analysis of integrated circuits," Yuan Liang, Wenjian Yu and Haifeng Qian, Proceedings of the Asian and South Pacific Design Automation Conference, pp. 849-854, 2014. 

"An information-theoretic framework for optimal temperature sensor allocation and full-chip thermal monitoring," Huapeng Zhou, Xin Li, Chen-Yong Cher, Eren Kursun, Haifeng Qian and Shi-Chune Yao, Proceedings of the ACM/IEEE Design Automation Conference, pp. 642-647, 2012. 

"Myth busters: microprocessor clocking is from Mars, ASIC's clocking is from Venus," Joseph Kozhaya, Phillip Restle and Haifeng Qian, IEEE/ACM International Conference on Computer Aided Design Digest of Technical Papers, pp. 271-275, 2011 (invited paper). 

"Fast Poisson solvers for thermal analysis," Haifeng Qian and Sachin S. Sapatnekar, IEEE/ACM International Conference on Computer Aided Design Digest of Technical Papers, pp. 698-702, 2010. 

"Clustering based pruning for statistical criticality computation under process variations," Hushrav D. Mogal, Haifeng Qian, Sachin S. Sapatnekar and Kiarash Bazargan, IEEE/ACM International Conference on Computer Aided Design Digest of Technical Papers, pp. 340-343, 2007. 

"A hybrid linear equation solver and its application in quadratic placement," Haifeng Qian and Sachin S. Sapatnekar, IEEE/ACM International Conference on Computer Aided Design Digest of Technical Papers, pp. 905-909, 2005. 

"A chip-level electrostatic discharge simulation strategy," Haifeng Qian, Joseph N. Kozhaya, Sani R. Nassif and Sachin S. Sapatnekar, IEEE/ACM International Conference on Computer Aided Design Digest of Technical Papers, pp. 315-318, 2004. 

"Hierarchical random-walk algorithms for power grid analysis," Haifeng Qian,Sachin S. Sapatnekar, Proceedings of the Asian and South Pacific Design Automation Conference, pp. 499-504, 2004. 

"Early-stage power grid analysis for uncertain working modes," Haifeng Qian, Sani R. Nassif and Sachin S. Sapatnekar, Proceedings of International Symposium on Physical Design, pp. 132-137, 2004. 

"The certainty of uncertainty: randomness in nanometer design," Hongliang Chang, Haifeng Qian and Sachin S. Sapatnekar, Lecture Notes in Computer Science (Proceedings of PATMOS), E. Macii, V. Paliouras and O. Koufopavlou, ed., vol. 3254, pp. 36- 47, Springer, Berlin, Germany, 2004 (invited paper). 

"Random walks in a supply network," Haifeng Qian, Sani R. Nassif and Sachin S. Sapatnekar, Proceedings of the ACM/IEEE Design Automation Conference, pp. 93-98, 2003 (Best Paper Award). 

Stochastic and Hybrid Linear Equation Solvers and their Applications in VLSI Design Automation, Ph.D. thesis, Haifeng Qian, University of Minnesota, 2006 (ACM Outstanding Dissertation Award).