Post-silicon conformance checking with virtual prototypes. - Li Lei; Fei Xie; Kai Cong (DAC, 2013)

Automatic concolic test generation with virtual prototypes for post-silicon validation. - Kai Cong; Fei Xie; Li Lei (ICCAD, 2013)

Optimizing post-silicon conformance checking. - Li Lei; Kai Cong; Fei Xie (ICCD, 2013)

Equivalence checking for compiler transformations in behavioral synthesis. - Zhenkun Yang; Kecheng Hao; Kai Cong; Sandip Ray; Fei Xie 004 (ICCD, 2013)

Symbolic Execution of Virtual Devices. - Kai Cong; Fei Xie; Li Lei (QSIC, 2013)

Scalable Certification Framework for Behavioral Synthesis Front-End. - Zhenkun Yang; Kecheng Hao; Kai Cong; Li Lei; Sandip Ray; Fei Xie 004 (DAC, 2014)

Coverage evaluation of post-silicon validation tests with virtual prototypes. - Kai Cong; Li Lei; Zhenkun Yang; Fei Xie (DATE, 2014)

Validating direct memory access interfaces with conformance checking. - Li Lei; Kai Cong; Zhenkun Yang; Fei Xie (ICCAD, 2014)

Automatic fault injection for driver robustness testing. - Kai Cong; Li Lei; Zhenkun Yang; Fei Xie (ISSTA, 2015)

Generating high coverage tests for SystemC designs using symbolic execution. - Bin Lin; Zhenkun Yang; Kai Cong; Fei Xie (ASP-DAC, 2016)

Validating scheduling transformation for behavioral synthesis. - Zhenkun Yang; Kecheng Hao; Kai Cong; Li Lei; Sandip Ray; Fei Xie 004 (DATE, 2016)

OpenRISC System-on-Chip Design Emulation. - Kai Cong; Li Lei; Zhenkun Yang; Fei Xie (CoRR, 2016)

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 001; Berk Sunar (CoRR, 2017)

CRETE: A Versatile Binary-Level Concolic Testing Framework. - Bo Chen 008; Christopher Havlicek; Zhenkun Yang; Kai Cong; Raghudeep Kannavara; Fei Xie 004 (FASE, 2018)

Concolic testing of SystemC designs. - Bin Lin; Kai Cong; Zhenkun Yang; Zhi-gang Liao; Tao Zhan; Christopher Havlicek; Fei Xie (ISQED, 2018)

End-to-End Concolic Testing for Hardware/Software Co-Validation. - Bo Chen 008; Kai Cong; Zhenkun Yang; Qin Wang; Jialu Wang; Li Lei; Fei Xie 004 (ICESS, 2019)

CUIS at the NTCIR-14 STC-3 DQ Subtask. - Kai Cong; Wai Lam (NTCIR, 2019)

Hardware/Software Co-monitoring. - Li Lei; Kai Cong; Zhenkun Yang; Bo Chen 008; Fei Xie 004 (CoRR, 2019)

Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution. - Bo Chen; Zhenkun Yang; Li Lei; Kai Cong; Fei Xie (SANER, 2020)

Gaussian gravitation for cluster ensembles. - Kai Cong; Jin Yang; Hongjun Wang 002; Li Tao (Knowl. Based Syst., 2022)