| 2023 | SIGIR | Facebook Content Search: Efficient and Effective Adapting Search on A Large Scale. | Xiangyu Niu, Yu-Wei Wu, Xiao Lu, Gautam Nagpal, Philip Pronin, Kecheng Hao, Zhen Liao, Guangdeng Liao |
| 2016 | DATE | Validating scheduling transformation for behavioral synthesis. | Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie |
| 2014 | DAC | Flushing-Enabled Loop Pipelining for High-Level Synthesis. | Steve Dai, Mingxing Tan, Kecheng Hao, Zhiru Zhang |
| 2014 | DAC | Scalable Certification Framework for Behavioral Synthesis Front-End. | Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie |
| 2014 | DATE | Equivalence checking for function pipelining in behavioral synthesis. | Kecheng Hao, Sandip Ray, Fei Xie |
| 2014 | ITP | Mechanical Certification of Loop Pipelining Transformations: A Preview. | Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie |
| 2013 | DAC | Handling design and implementation optimizations in equivalence checking for behavioral synthesis. | Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie |
| 2013 | ICCD | Equivalence checking for compiler transformations in behavioral synthesis. | Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie |
| 2012 | DAC | Equivalence checking for behaviorally synthesized pipelines. | Kecheng Hao, Sandip Ray, Fei Xie |
| 2010 | DATE | Optimizing equivalence checking for behavioral synthesis. | Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang |
| 2009 | ATVA | Formal Verification for High-Assurance Behavioral Synthesis. | Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang |
| 2009 | DATE | Componentizing hardware/software interface design. | Kecheng Hao, Fei Xie |
| 2007 | DSD | Component-Based Hardware/Software Co-Simulation. | Ping Hang Cheung, Kecheng Hao, Fei Xie |