Coordinated optimisation of platform-driven product line planning by bilevel programming. - Chenlu Miao; Gang Du; Roger J. Jiao; Tiebin Zhang (Int. J. Prod. Res., 2017)

unXpec: Breaking Undo-based Safe Speculation. - Mengming Li; Chenlu Miao; Yilong Yang 006; Kai Bu (HPCA, 2022)

SwiftDir: Secure Cache Coherence without Overprotection. - Chenlu Miao; Kai Bu; Mengming Li; Shaowu Mao; Jianwei Jia (MICRO, 2022)

Hummingbird: Dynamic Path Validation With Hidden Equal-Probability Sampling. - Anxiao He; Xiang Li 001; Jiandong Fu; Haoyu Hu; Kai Bu; Chenlu Miao; Kui Ren 001 (IEEE Trans. Inf. Forensics Secur., 2023)

Symphony: Path Validation at Scale. - Anxiao He; Jiandong Fu; Kai Bu; Ruiqi Zhou; Chenlu Miao; Kui Ren 001 (NDSS, 2024)

TreasureCache: Hiding Cache Evictions Against Side-Channel Attacks. - Mengming Li; Kai Bu; Chenlu Miao; Kui Ren 001 (IEEE Trans. Dependable Secur. Comput., 2024)

Efficient Architecture for RISC-V Vector Memory Access. - Hongyi Guan; Yichuan Gao; Chenlu Miao; Haoyang Wu; Hang Zhu; Mingfeng Lin; Huayue Liang (CoRR, 2025)