Kecheng Hao

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 2

Top Topics

Search Space Pruning

Program Synthesis

Behavioral Patterns

Content Based Multimedia Retrieval

Top Venues

Publications

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