| 2016 | ICSE | Debugging energy-efficiency related field failures in mobile apps. | Abhijeet Banerjee, Hai-Feng Guo, Abhik Roychoudhury |
| 2014 | IECON | Design of 2MW/10kV cascaded power conversion system. | Zhi-Bin Ling, Yang Cao, Qin-Dong Ma, Hai-Feng Guo, Baihua Zhang, Zhi-Gang Lu |
| 2014 | SAC | Locating fault-inducing patterns from structural inputs. | Hai-Feng Guo, Zongyan Qiu, Harvey P. Siy |
| 2012 | IRI | Generating test cases via model-based simulation. | Songqing Liu, Liping Li, Hai-Feng Guo |
| 2012 | TASE | Model-Based Test Generation Using Evolutional Symbolic Grammar. | Hai-Feng Guo, Mahadevan Subramaniam |
| 2011 | TASE | An Approach to Regression Test Selection of Adaptive EFSM Tests. | Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo |
| 2009 | PPDP | L2C2: logic-based LSC consistency checking. | Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam |
| 2009 | TASE | Consistency Checking for LSC Specifications. | Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam |
| 2008 | TASE | A Memoized Strategy for Preference Logic Programs. | Hai-Feng Guo |
| 2007 | AICCSA | On Multi-Relational Data Mining for Foundation of Data Mining. | Miao Liu, Hai-Feng Guo, Zhengxin Chen |
| 2007 | GLOBECOM | Significance Measure with Nonlinear and Incommensurable Observations. | Song Ci, Hai-Feng Guo |
| 2007 | ICCCN | Quantitative Dynamic Interdependency Measure and Significance Analysis for Cross-Layer Design under Uncertainty. | Song Ci, Hai-Feng Guo |
| 2007 | ICDAR | A General Approach for Partitioning Web Page Content Based on Geometric and Style Information. | Hai-Feng Guo, Jalal Mahmud, Yevgen Borodin, Amanda Stent, I. V. Ramakrishnan |
| 2006 | ICLP | Relaxation on Optimization Predicates. | Hai-Feng Guo, Miao Liu, Bharat Jayaraman |
| 2005 | LPNMR | Mode-Directed Fixed Point Computation. | Hai-Feng Guo |
| 2005 | PPDP | Optimization with mode-directed preferences. | Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu |
| 2005 | SAC | Mode-directed preferences for logic programs. | Hai-Feng Guo, Bharat Jayaraman |
| 2004 | ASSETS | UMA: a system for universal mathematics accessibility. | Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stger, Brian Palmer, Hai-Feng Guo |
| 2004 | FLOPS | Online Justification for Tabled Logic Programs. | Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2004 | PADL | Simplifying Dynamic Programming via Tabling. | Hai-Feng Guo, Gopal Gupta |
| 2003 | EuroPar | A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. | Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta |
| 2003 | HCI | INSIGHT: A Comprehensive System for Converting Braille based Mathematical Documents to Latex. | Narayan Annamalai, Deepa Gopal, Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer |
| 2003 | ICLP | A New Mode Declaration for Tabled Predicates. | Hai-Feng Guo, Gopal Gupta |
| 2003 | ICLP | Online Justification for Tabled Logic Programs. | Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2003 | IRI | Precise Specification Matching for Automated Component Retrieval and Adaptation. | Hai-Feng Guo, Miao Liu, Jiaxiong Pi |
| 2002 | LOPSTR | Justification Based on Program Transformation. | Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2002 | PADL | Semantics-Based Filtering: Logic Programming's Killer App? | Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou |
| 2001 | HCI | The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance. | Arthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo |
| 2001 | ICLP | A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. | Hai-Feng Guo, Gopal Gupta |
| 2001 | ICLP | Speculative Beats Conservative Justification. | Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2001 | ICLP | PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. | Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta |
| 2001 | ICPP | Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. | Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta |