An Embedded Operating System Design for the Lunar Exploration Rover. - Lei Qiao 002; Mengfei Yang; Bin Gu 006; Hua Yang; Bo Liu (SSIRI (Companion), 2011)

Formal modelling of list based dynamic memory allocators. - Bin Fang 004; Mihaela Sighireanu; Geguang Pu; Wen Su; Jean-Raymond Abrial; Mengfei Yang; Lei Qiao 002 (Sci. China Inf. Sci., 2018)

Tumbler: Energy Efficient Task Scheduling for Dual-Channel Solar-Powered Sensor Nodes. - Yue Xu; Hyung Gyu Lee; Yujuan Tan; Yu Wu 016; Xianzhang Chen; Liang Liang 002; Lei Qiao 002; Duo Liu (DAC, 2019)

Astraea: Self-Balancing Federated Learning for Improving Classification Accuracy of Mobile Deep Learning Applications. - Moming Duan; Duo Liu; Xianzhang Chen; Yujuan Tan; Jinting Ren; Lei Qiao 002; Liang Liang 002 (ICCD, 2019)

Archivist: A Machine Learning Assisted Data Placement Mechanism for Hybrid Storage Systems. - Jinting Ren; Xianzhang Chen; Yujuan Tan; Duo Liu; Moming Duan; Liang Liang 002; Lei Qiao 002 (ICCD, 2019)

A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms. - Lei Qiao 002; Shaofeng Li; Hua Yang; Mengfei Yang (SETTA, 2019)

OptSample: A Resilient Buffer Management Policy for Robotic Systems based on Optimal Message Sampling. - Yu-Ping Wang 001; Zi-Xin Zou; Xu-Qiang Hu; Dinesh Manocha; Lei Qiao 002; Shi-Min Hu 001 (CoRR, 2019)

AdaBoost-based Refused Bequest Code Smell Detection with Synthetic Instances. - Hao Chen; Zhilei Ren; Lei Qiao 002; Zhide Zhou; Guojun Gao; Yue Ma; He Jiang 001 (DSA, 2020)

ORBBuf: A Robust Buffering Method for Collaborative Visual SLAM. - Yu-Ping Wang 001; Zi-Xin Zou; Cong Wang 045; Yue-Jiang Dong; Lei Qiao 002; Dinesh Manocha (CoRR, 2020)

Modular Verification of SPARCv8 Code. - Junpeng Zha; Xin-Yu Feng 001; Lei Qiao 002 (J. Comput. Sci. Technol., 2020)

Formalizing SPARCv8 instruction set architecture in Coq. - Jiawei Wang; Ming Fu; Lei Qiao 002; Xinyu Feng 001 (Sci. Comput. Program., 2020)

ORBBuf: A Robust Buffering Method for Remote Visual SLAM. - Yu-Ping Wang 001; Zi-Xin Zou; Cong Wang 045; Yue-Jiang Dong; Lei Qiao 002; Dinesh Manocha (IROS, 2021)

Tensfa: Detecting and Repairing Tensor Shape Faults in Deep Learning Systems. - Dangwei Wu; Beijun Shen; Yuting Chen 001; He Jiang 001; Lei Qiao 002 (ISSRE, 2021)

Virtually-Federated Scheduling of Parallel Real-Time Tasks. - Xu Jiang 004; Nan Guan; Haochun Liang; Yue Tang 001; Lei Qiao 002; Wang Yi 001 (RTSS, 2021)

Verification of Real Time Operating System Exception Management Based on SPARCv8. - Zhi Ma; Lei Qiao 002; Mengfei Yang; Shao-Feng Li; Jin-Kun Zhang (J. Comput. Sci. Technol., 2021)

Memory State Verification Based on Inductive and Deductive Reasoning. - Shaofeng Li; Lei Qiao 002; Mengfei Yang (IEEE Trans. Reliab., 2021)

Hierarchical memory-constrained operator scheduling of neural architecture search networks. - Zihan Wang; Chengcheng Wan 001; Yuting Chen 001; Ziyi Lin; He Jiang 001; Lei Qiao 002 (DAC, 2022)

Optimizing CoW-based File Systems on Open-Channel SSDs with Persistent Memory. - Runyu Zhang 002; Duo Liu; Chaoshu Yang; Xianzhang Chen; Lei Qiao 002; Yujuan Tan (DATE, 2022)

Surrogate-Assisted Multi-objective Optimization for Compiler Optimization Sequence Selection. - Guojun Gao; Lei Qiao 002; Dong Liu 025; Shifei Chen; He Jiang 001 (PPSN (2), 2022)

A Schedulability Test for Sporadic Task DM Scheduling Based on Density Upper Bound. - Hongbiao Liu; Chen Xi; Lei Qiao 002; Jingkun Zhang; Mengfei Yang (IEEE Access, 2022)

Detecting Compiler Bugs Via a Deep Learning-Based Framework. - Yixuan Tang; Zhilei Ren; He Jiang 001; Lei Qiao 002; Dong Liu 025; Zhide Zhou; Weiqiang Kong (Int. J. Softw. Eng. Knowl. Eng., 2022)

Automatically repairing tensor shape faults in deep learning programs. - Dangwei Wu; Beijun Shen; Yuting Chen 001; He Jiang 001; Lei Qiao 002 (Inf. Softw. Technol., 2022)

CoDiscard: A revenue model based cross-layer cooperative discarding mechanism for flash memory devices. - Xiaoliu Feng; Xianzhang Chen; Ruolan Li; Jiali Li; Chunlin Song; Duo Liu; Yujuan Tan; Lei Qiao 002 (J. Syst. Archit., 2022)

ELOFS: An Extensible Low-Overhead Flash File System for Resource-Scarce Embedded Devices. - Runyu Zhang 002; Duo Liu; Xianzhang Chen; Xiongxiong She; Chaoshu Yang; Yujuan Tan; Zhaoyan Shen; Zili Shao; Lei Qiao 002 (IEEE Trans. Computers, 2022)

Horae: A Hybrid I/O Request Scheduling Technique for Near-Data Processing-Based SSD. - Jiali Li; Xianzhang Chen; Duo Liu; Lin Li; Jiapin Wang; Zhaoyang Zeng; Yujuan Tan; Lei Qiao 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM. - Zhide Zhou; He Jiang 001; Zhilei Ren; Yuting Chen 001; Lei Qiao 002 (IEEE Trans. Reliab., 2022)

DPWord2Vec: Better Representation of Design Patterns in Semantics. - Dong Liu 025; He Jiang 001; Xiaochen Li; Zhilei Ren; Lei Qiao 002; Zuohua Ding (IEEE Trans. Software Eng., 2022)

Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios. - Fuchen Ma; Zhenyang Xu; Meng Ren; Zijing Yin; Yuanliang Chen; Lei Qiao 002; Bin Gu 006; Huizhong Li; Yu Jiang 001; Jia-Guang Sun 001 (IEEE Trans. Software Eng., 2022)

DHIFS: A Dynamic and Hybrid Index Method with Low Memory Overhead and Efficient File Access. - Jingjing Jiang; Mengfei Yang; Lei Qiao 002; Tingyu Wang; Hongbiao Liu; Jiawei Nian (HPCC/DSS/SmartCity/DependSys, 2023)

Efficient CUDA stream management for multi-DNN real-time inference on embedded GPUs. - Weiguang Pang; Xiantong Luo; Kailun Chen; Dong Ji; Lei Qiao 002; Wang Yi 001 (J. Syst. Archit., 2023)

Scheduling Parallel Real-Time Tasks on Virtual Processors. - Xu Jiang 004; Haochun Liang; Nan Guan; Yue Tang 001; Lei Qiao 002; Wang Yi 001 (IEEE Trans. Parallel Distributed Syst., 2023)

Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization. - Zijing Yin; Yiwen Xu; Fuchen Ma; Haohao Gao; Lei Qiao 002; Yu Jiang 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Detecting C++ Compiler Front-End Bugs via Grammar Mutation and Differential Testing. - Haoxin Tu; He Jiang 001; Zhide Zhou; Yixuan Tang; Zhilei Ren; Lei Qiao 002; Lingxiao Jiang (IEEE Trans. Reliab., 2023)

Control Flow Divergence Optimization by Exploiting Tensor Cores. - Weiguang Pang; Xu Jiang 004; Songran Liu; Lei Qiao 002; Kexue Fu 001; Longxiang Gao; Wang Yi 001 (DAC, 2024)

An Adaptive Real-Time Garbage Collection Method Based on File Write Prediction. - Jingjing Jiang; Mengfei Yang; Lei Qiao 002; Tingyu Wang; Zhi Ma; Shaofeng Li; Shenghui Zhu (TASE, 2024)

An efficient schedulability analysis based on worst-case interference time for real-time systems. - Hongbiao Liu; Mengfei Yang; Lei Qiao 002; Xi Chen; Jian Gong (Sci. China Inf. Sci., 2024)

What's Wrong With Low-Code Development Platforms? An Empirical Study of Low-Code Development Platform Bugs. - Dong Liu 025; He Jiang 001; Shikai Guo; Yuting Chen 001; Lei Qiao 002 (IEEE Trans. Reliab., 2024)

MIFS: A low overhead and efficient mixture file index management method in flash file system. - Jingjing Jiang; Mengfei Yang; Lei Qiao 002; Tingyu Wang; Xi Chen (J. Syst. Archit., 2025)

GNNBoost: Accelerating sampling-based GNN training on large scale graph by optimizing data preparation. - Yujuan Tan; Yan Gan; Zhaoyang Zeng; Zhuoxin Bai; Lei Qiao 002; Duo Liu; Kan Zhong; Ao Ren (J. Syst. Archit., 2025)