| 2026 | ESOP | Validating Quantum State Preparation Programs. | Liyi Li, Anshu Sharma, Zoukarneini Difaizi Tagba, Sean Frett, Alex Potanin |
| 2025 | ICCAD | H3D-LLM: Heterogeneous 3D Chiplet Design for LLM Inference with Dynamic Task Scheduling and Memory-Aware Orchestration. | Hui Kou, Chenjie Xia, Jialin Yang, Liyi Li, Hao Cai, Xin Si, Bo Liu |
| 2025 | IECON | Low THD and Harmonic-optimized Nine-level modulation strategy for ANPC/H-bridge Converter. | Yiming Sun, Chengming Zhang, Zihao Zhu, Qingwei Zheng, Mingyi Wang, Liyi Li |
| 2025 | IECON | Modified Equivalent-Input-Disturbance Strategy and Fractional-Order Phase-Adaptive Feedforward Repetitive Control for PMSM Current Disturbance Suppression. | Jiaxing Ye, Mingyi Wang, Shun Cai, Ruiqi Xu, Sihang Cui, Junchi Li, Chengming Zhang, Liyi Li |
| 2025 | RAID | TypeFlexer: Type Directed Flexible Program Partitioning. | Arunkumar Bhattar, Liyi Li, Mingwei Zhu, Le Chang, Aravind Machiry |
| 2025 | SC | Differential Testing for Sequential to Parallel Transformations. | Jobayer Ahmmed, Quazi Ishtiaque Mahmud, Junhyung Shim, Liyi Li, Ali Jannesari, Myra B. Cohen |
| 2024 | ECOOP | Qafny: A Quantum-Program Verifier. | Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu |
| 2021 | ICTAC | A Complete Semantics of $\mathbb {K}$ and Its Translation to Isabelle. | Liyi Li, Elsa L. Gunter |
| 2021 | IECON | A Robust Deadzone Compensation Method Against Parameter Variations based on Kalman Filter and Neural Networks. | Le Pei, Liyi Li, Jiaxi Liu, Zhenxing Cheng, Qingbo Guo, Hongchen Liu |
| 2021 | ITP | Proving Quantum Programs Correct. | Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks |
| 2020 | ECOOP | K-LLVM: A Relatively Complete Semantics of LLVM IR. | Liyi Li, Elsa L. Gunter |
| 2017 | IECON | Thrust ripple compensation of PMLSM based on second-order sliding mode observer with super-twisting algorithm. | Rui Yang, Mingyi Wang, Liyi Li, Le Pei |
| 2017 | IECON | Magnetostrictive energy harvester with adjustable-air gap for low frequency human walking. | Baiping Yan, Chengming Zhang, Liyi Li |
| 2016 | IAS | Adaptive Impedance Control for Docking of Space Robotic Arm Based on Its End Force/Torque Sensor. | Gangfeng Liu, Changle Li, Caiwei Song, Liyi Li, Jie Zhao |
| 2014 | ICTAC | Symbolic Analysis Tools for CSP. | Liyi Li, Elsa L. Gunter, William Mansky |