| 2025 | SIGMOD | MaLT: A Framework for Managing Large Transactions in OceanBase. | Chenguang Fang, Chen Qian, Qi Yang, Zeyu Wang, Zhenkun Yang, Fanyu Kong, Quanqing Xu, Hui Cao, Fusheng Han, Chuanhui Yang |
| 2023 | ASPDAC | An Equivalence Checking Framework for Agile Hardware Design. | Yanzhao Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, Jin Yang |
| 2023 | DAC | Towards A Formally Verified Fully Homomorphic Encryption Compute Engine. | Jeremy Casas, Zhenkun Yang, Wen Wang, Jin Yang, Adwait Godbole |
| 2023 | DAC | Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design. | Jin Yang, Jeremy Casas, Zhenkun Yang |
| 2023 | DATE | An Automated Verification Framework for HalideIR-Based Compiler Transformations. | Yanzhao Wang, Fei Xie, Zhenkun Yang, Jeremy Casas, Pasquale Cocchini, Jin Yang |
| 2023 | ICDE | LCL: A Lock Chain Length-based Distributed Algorithm for Deadlock Detection and Resolution. | Zhenkun Yang, Chen Qian, Xuwang Teng, Fanyu Kong, Fusheng Han, Quanqing Xu |
| 2023 | ICFEM | Certifying Sequential Consistency of Machine Learning Accelerators. | Huan Wu, Fei Xie, Zhenkun Yang |
| 2022 | ASPDAC | FirVer: Concolic Testing for Systematic Validation of Firmware Binaries. | Tashfia Alam, Zhenkun Yang, Bo Chen, Nicholas Armour, Sandip Ray |
| 2022 | DAC | Accelerator design with decoupled hardware customizations: benefits and challenges: invited. | Debjit Pal, Yi-Hsiang Lai, Shaojie Xiang, Niansong Zhang, Hongzheng Chen, Jeremy Casas, Pasquale Cocchini, Zhenkun Yang, Jin Yang, Louis-Nol Pouchet, Zhiru Zhang |
| 2020 | DAC | UEFI Firmware Fuzzing with Simics Virtual Platform. | Zhenkun Yang, Yuriy Viktorov, Jin Yang, Jiewen Yao, Vincent Zimmer |
| 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 | Handling design and implementation optimizations in equivalence checking for behavioral synthesis. | Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie |
| 2013 | ICCD | Equivalence checking for compiler transformations in behavioral synthesis. | Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie |
| 2007 | ICNC | Automatic Modeling of Complex Functions with Clonal Selection-Based Gene Expression Programming. | Zhaohui Gan, Zhenkun Yang, Gaobin Li, Min Jiang |