1. A High-Coverage and Efficient Instruction-Level Testing Approach for x86 Processors;IEEE Transactions on Computers;2023-11
2. SurgeFuzz: Surge-Aware Directed Fuzzing for CPU Designs;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28
3. On-chip supply noise in multiprocessors: impact and clock gating inspired mitigation strategies;International Journal of Electronics;2022-12-28
4. Formal Property Verification;EDA for IC System Design, Verification, and Testing;2018-10-03
5. DiagSim;ACM Transactions on Architecture and Code Optimization;2018-03-31