Kai Cong

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 11

Top Topics

Cluster Ensemble

Hardware Software Partitioning

Top Venues

Publications

Kai Cong, Jin Yang, Hongjun Wang, Li Tao
Gaussian gravitation for cluster ensembles. Knowl. Based Syst. 253 (2022)
Bo Chen, Zhenkun Yang, Li Lei, Kai Cong, Fei Xie
Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution. SANER (2020)
Bo Chen, Kai Cong, Zhenkun Yang, Qin Wang, Jialu Wang, Li Lei, Fei Xie
End-to-End Concolic Testing for Hardware/Software Co-Validation. ICESS (2019)
Li Lei, Kai Cong, Zhenkun Yang, Bo Chen, Fei Xie
Hardware/Software Co-monitoring. CoRR (2019)
Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie
CRETE: A Versatile Binary-Level Concolic Testing Framework. FASE (2018)
Bin Lin, Kai Cong, Zhenkun Yang, Zhi-gang Liao, Tao Zhan, Christopher Havlicek, Fei Xie
Concolic testing of SystemC designs. ISQED (2018)
Gorka Irazoqui, Kai Cong, Xiaofei Guo, Hareesh Khattri, Arun K. Kanuparthi, Thomas Eisenbarth, Berk Sunar
Did we learn from LLC Side Channel Attacks? A Cache Leakage Detection Tool for Crypto Libraries. CoRR (2017)
Bin Lin, Zhenkun Yang, Kai Cong, Fei Xie
Generating high coverage tests for SystemC designs using symbolic execution. ASP-DAC (2016)
Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie
Validating scheduling transformation for behavioral synthesis. DATE (2016)
Kai Cong, Li Lei, Zhenkun Yang, Fei Xie
OpenRISC System-on-Chip Design Emulation. CoRR (2016)
Kai Cong, Li Lei, Zhenkun Yang, Fei Xie
Automatic fault injection for driver robustness testing. ISSTA (2015)
Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie
Scalable Certification Framework for Behavioral Synthesis Front-End. DAC (2014)
Kai Cong, Li Lei, Zhenkun Yang, Fei Xie
Coverage evaluation of post-silicon validation tests with virtual prototypes. DATE (2014)
Li Lei, Kai Cong, Zhenkun Yang, Fei Xie
Validating direct memory access interfaces with conformance checking. ICCAD (2014)
Li Lei, Kai Cong, Fei Xie
Optimizing post-silicon conformance checking. ICCD (2013)
Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie
Equivalence checking for compiler transformations in behavioral synthesis. ICCD (2013)
Li Lei, Fei Xie, Kai Cong
Post-silicon conformance checking with virtual prototypes. DAC (2013)
Kai Cong, Fei Xie, Li Lei
Automatic concolic test generation with virtual prototypes for post-silicon validation. ICCAD (2013)
Kai Cong, Fei Xie, Li Lei
Symbolic Execution of Virtual Devices. QSIC (2013)