Kecheng Hao

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