| 2026 | ASPDAC | FedBit: Accelerating Privacy-Preserving Federated Learning via Bit-Interleaved Packing and Cross-Layer Co-Design. | Xiangchen Meng, Yangdi Lyu |
| 2026 | ASPDAC | AutoVeriFix: Automatically Correcting Errors and Enhancing Functional Correctness in LLM-Generated Verilog Code. | Yan Tan, Xiangchen Meng, Zijun Jiang, Yangdi Lyu |
| 2026 | DATE | RLConcolic: Enhancing Concolic Testing via Multi-Step Reinforcement Learning. | Yan Tan, Xiangchen Meng, Yangdi Lyu |
| 2026 | DATE | Fine-Grained Code Analysis for Processor Fuzzing. | Ziyue Zheng, Zhi Qu, Yangdi Lyu |
| 2025 | ASPDAC | MACO: A HW-Mapping Co-optimization Framework for DNN Accelerators. | Wujie Zhong, Zijun Jiang, Yangdi Lyu |
| 2025 | DAC | An Enhanced Data Packing Method for General Matrix Multiplication in Brakerski/Fan-Vercauteren Scheme. | Xiangchen Meng, Yan Tan, Zijun Jiang, Yangdi Lyu |
| 2025 | DATE | CPP-SGS: Cycle-Accurate Power Prediction Framework via SNN and Genetic Signal Selection. | Tong Liu, Zijun Jiang, Yangdi Lyu |
| 2025 | DATE | DuSGAI: A Dual-Side Sparse GEMM Accelerator with Flexible Interconnects. | Wujie Zhong, Yangdi Lyu |
| 2025 | ICCAD | Invited Paper: CURE-Fuzz: Curiosity-Driven Reinforcement Learning for Agile Hardware Testing. | Hanwei Fan, Ya Wang, Xiaofeng Zhou, Sicheng Li, Binguang Zhao, Yangdi Lyu, Jiang Xu, Wei Zhang |
| 2025 | ICCAD | MiCo: End-to-End Mixed Precision Neural Network Co-Exploration Framework for Edge AI. | Zijun Jiang, Yangdi Lyu |
| 2025 | ICCAD | COTIA: Concolic Testing with Intelligent Agent. | Yan Tan, Xiangchen Meng, Yangdi Lyu |
| 2025 | ICCD | BNRV: A Lightweight SIMD Extension for Efficient BitNet Inference on RISC-V CPUs. | Zijun Jiang, Yangdi Lyu |
| 2025 | ICCD | Hot-FV: A Semi-Formal Test Generation Framework for RTL Functional Coverage Using Warm Starting States. | Ziyue Zheng, Zhiyuan Yan, Xiangchen Meng, Guangyu Hu, Hongce Zhang, Yangdi Lyu |
| 2024 | DATE | Microprocessor Design Space Exploration via Space Partitioning and Bayesian Optimization. | Zijun Jiang, Yangdi Lyu |
| 2024 | ICCD | Efficient Microprocessor Design Space Exploration via Space Partitioning. | Zijun Jiang, Yangdi Lyu |
| 2024 | ICCD | APE-FV: Concolic Testing for RTL Functional Verification Using Adaptive Path Exploration. | Ziyue Zheng, Xiangchen Meng, Yangdi Lyu |
| 2023 | DATE | STSearch: State Tracing-based Search Heuristics for RTL Validation. | Ziyue Zheng, Yangdi Lyu |
| 2020 | ASPDAC | Automated Test Generation for Activation of Assertions in RTL Models. | Yangdi Lyu, Prabhat Mishra |
| 2020 | ASPDAC | Automated Trigger Activation by Repeated Maximal Clique Sampling. | Yangdi Lyu, Prabhat Mishra |
| 2020 | DATE | Automated Test Generation for Trojan Detection using Delay-based Side Channel Analysis. | Yangdi Lyu, Prabhat Mishra |
| 2019 | DATE | Real-time Detection and Localization of DoS Attacks in NoC based SoCs. | Subodha Charles, Yangdi Lyu, Prabhat Mishra |
| 2019 | DATE | Automated Activation of Multiple Targets in RTL Models using Concolic Testing. | Yangdi Lyu, Alif Ahmed, Prabhat Mishra |
| 2019 | DATE | Efficient Test Generation for Trojan Detection using Side Channel Analysis. | Yangdi Lyu, Prabhat Mishra |