| 2018 | FASE | CRETE: A Versatile Binary-Level Concolic Testing Framework. | Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie |
| 2016 | ASPDAC | Generating high coverage tests for SystemC designs using symbolic execution. | Bin Lin, Zhenkun Yang, Kai Cong, Fei Xie |
| 2016 | DATE | Validating scheduling transformation for behavioral synthesis. | Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie |
| 2015 | ISSTA | Automatic fault injection for driver robustness testing. | Kai Cong, Li Lei, Zhenkun Yang, Fei Xie |
| 2014 | DAC | Scalable Certification Framework for Behavioral Synthesis Front-End. | Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie |
| 2014 | DATE | Coverage evaluation of post-silicon validation tests with virtual prototypes. | Kai Cong, Li Lei, Zhenkun Yang, Fei Xie |
| 2014 | ICCAD | Validating direct memory access interfaces with conformance checking. | Li Lei, Kai Cong, Zhenkun Yang, Fei Xie |
| 2013 | DAC | Post-silicon conformance checking with virtual prototypes. | Li Lei, Fei Xie, Kai Cong |
| 2013 | ICCAD | Automatic concolic test generation with virtual prototypes for post-silicon validation. | Kai Cong, Fei Xie, Li Lei |
| 2013 | ICCD | Optimizing post-silicon conformance checking. | Li Lei, Kai Cong, Fei Xie |
| 2013 | ICCD | Equivalence checking for compiler transformations in behavioral synthesis. | Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie |