Component-Based Hardware/Software Co-Simulation. - Ping Hang Cheung; Kecheng Hao; Fei Xie (DSD, 2007)

Formal Verification for High-Assurance Behavioral Synthesis. - Sandip Ray; Kecheng Hao; Yan Chen 001; Fei Xie 004; Jin Yang 006 (ATVA, 2009)

Componentizing hardware/software interface design. - Kecheng Hao; Fei Xie (DATE, 2009)

Optimizing equivalence checking for behavioral synthesis. - Kecheng Hao; Fei Xie 004; Sandip Ray; Jin Yang 006 (DATE, 2010)

Equivalence checking for behaviorally synthesized pipelines. - Kecheng Hao; Sandip Ray; Fei Xie 004 (DAC, 2012)

Handling design and implementation optimizations in equivalence checking for behavioral synthesis. - Zhenkun Yang; Sandip Ray; Kecheng Hao; Fei Xie 004 (DAC, 2013)

Equivalence checking for compiler transformations in behavioral synthesis. - Zhenkun Yang; Kecheng Hao; Kai Cong; Sandip Ray; Fei Xie 004 (ICCD, 2013)

Flushing-Enabled Loop Pipelining for High-Level Synthesis. - Steve Dai; Mingxing Tan; Kecheng Hao; Zhiru Zhang (DAC, 2014)

Scalable Certification Framework for Behavioral Synthesis Front-End. - Zhenkun Yang; Kecheng Hao; Kai Cong; Li Lei; Sandip Ray; Fei Xie 004 (DAC, 2014)

Equivalence checking for function pipelining in behavioral synthesis. - Kecheng Hao; Sandip Ray; Fei Xie 004 (DATE, 2014)

Mechanical Certification of Loop Pipelining Transformations: A Preview. - Disha Puri; Sandip Ray; Kecheng Hao; Fei Xie 004 (ITP, 2014)

Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis. - Disha Puri; Sandip Ray; Kecheng Hao; Fei Xie 004 (ACL2, 2014)

Validating scheduling transformation for behavioral synthesis. - Zhenkun Yang; Kecheng Hao; Kai Cong; Li Lei; Sandip Ray; Fei Xie 004 (DATE, 2016)

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 (SIGIR, 2023)