Kecheng Hao

According to our database, Kecheng Hao authored at least 14 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2023

2016

Validating scheduling transformation for behavioral synthesis.

Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2014

Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis.

Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

Mechanical Certification of Loop Pipelining Transformations: A Preview.

Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Equivalence checking for function pipelining in behavioral synthesis.

Kecheng Hao, Sandip Ray, Fei Xie

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Scalable Certification Framework for Behavioral Synthesis Front-End.

Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Flushing-Enabled Loop Pipelining for High-Level Synthesis.

Steve Dai, Mingxing Tan, Kecheng Hao, Zhiru Zhang

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

Equivalence checking for compiler transformations in behavioral synthesis.

Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie

Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013

Handling design and implementation optimizations in equivalence checking for behavioral synthesis.

Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

2012

Equivalence checking for behaviorally synthesized pipelines.

Kecheng Hao, Sandip Ray, Fei Xie

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2010

Optimizing equivalence checking for behavioral synthesis.

Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Componentizing hardware/software interface design.

Kecheng Hao, Fei Xie

Proceedings of the Design, Automation and Test in Europe, 2009

Formal Verification for High-Assurance Behavioral Synthesis.

Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang

Proceedings of the Automated Technology for Verification and Analysis, 2009

2007

Component-Based Hardware/Software Co-Simulation.

Ping Hang Cheung, Kecheng Hao, Fei Xie

Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007