Kai Cong

According to our database, Kai Cong authored at least 19 papers between 2013 and 2022.

Collaborative distances:

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

2022

Gaussian gravitation for cluster ensembles.

Kai Cong, Jin Yang, Hongjun Wang, Li Tao

Knowl. Based Syst., 2022

2020

Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution.

Bo Chen, Zhenkun Yang, Li Lei, Kai Cong, Fei Xie

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

2019

Hardware/Software Co-monitoring.

Li Lei, Kai Cong, Zhenkun Yang, Bo Chen, Fei Xie

CoRR, 2019

End-to-End Concolic Testing for Hardware/Software Co-Validation.

Bo Chen, Kai Cong, Zhenkun Yang, Qin Wang, Jialu Wang, Li Lei, Fei Xie

Proceedings of the 15th IEEE International Conference on Embedded Software and Systems, 2019

2018

Concolic testing of SystemC designs.

Bin Lin, Kai Cong, Zhenkun Yang, Zhi-gang Liao, Tao Zhan, Christopher Havlicek, Fei Xie

Proceedings of the 19th International Symposium on Quality Electronic Design, 2018

CRETE: A Versatile Binary-Level Concolic Testing Framework.

Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017

Did we learn from LLC Side Channel Attacks? A Cache Leakage Detection Tool for Crypto Libraries.

Gorka Irazoqui, Kai Cong, Xiaofei Guo, Hareesh Khattri, Arun K. Kanuparthi, Thomas Eisenbarth, Berk Sunar

CoRR, 2017

2016

OpenRISC System-on-Chip Design Emulation.

Kai Cong, Li Lei, Zhenkun Yang, Fei Xie

CoRR, 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

Generating high coverage tests for SystemC designs using symbolic execution.

Bin Lin, Zhenkun Yang, Kai Cong, Fei Xie

Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2015

Automatic fault injection for driver robustness testing.

Kai Cong, Li Lei, Zhenkun Yang, Fei Xie

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

Validating direct memory access interfaces with conformance checking.

Li Lei, Kai Cong, Zhenkun Yang, Fei Xie

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

Coverage evaluation of post-silicon validation tests with virtual prototypes.

Kai Cong, Li Lei, Zhenkun Yang, 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

2013

Symbolic Execution of Virtual Devices.

Kai Cong, Fei Xie, Li Lei

Proceedings of the 2013 13th International Conference on Quality Software, 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

Optimizing post-silicon conformance checking.

Li Lei, Kai Cong, Fei Xie

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

Automatic concolic test generation with virtual prototypes for post-silicon validation.

Kai Cong, Fei Xie, Li Lei

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

Post-silicon conformance checking with virtual prototypes.

Li Lei, Fei Xie, Kai Cong

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