| 2025 | NPC | CFLBD: Distance-Informed Dynamic Clustering via Bhattacharyya Metrics for Federated Learning. | Xiaowen Duan, Rui Zhao, Rui Zhou, Lei Qiao, Xin Liu, Qingguo Zhou |
| 2024 | CVPR | HoloVic: Large-scale Dataset and Benchmark for Multi-Sensor Holographic Intersection and Vehicle-Infrastructure Cooperative. | Cong Ma, Lei Qiao, Chengkai Zhu, Kai Liu, Zelong Kong, Qing Li, Xueqi Zhou, Yuheng Kan, Wei Wu |
| 2024 | DAC | Control Flow Divergence Optimization by Exploiting Tensor Cores. | Weiguang Pang, Xu Jiang, Songran Liu, Lei Qiao, Kexue Fu, Longxiang Gao, Wang Yi |
| 2024 | NPC | Heterogeneous Federated Learning with Controlled Gradient Variate of Client Momentum. | Rui Zhao, Xiao Yang, Xiaowen Duan, Lei Qiao, Rui Zhou, Qingguo Zhou |
| 2024 | TASE | An Adaptive Real-Time Garbage Collection Method Based on File Write Prediction. | Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Zhi Ma, Shaofeng Li, Shenghui Zhu |
| 2023 | HPCC | DHIFS: A Dynamic and Hybrid Index Method with Low Memory Overhead and Efficient File Access. | Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Hongbiao Liu, Jiawei Nian |
| 2022 | CVPR | Unsupervised Learning of Accurate Siamese Tracking. | Qiuhong Shen, Lei Qiao, Jinyang Guo, Peixia Li, Xin Li, Bo Li, Weitao Feng, Weihao Gan, Wei Wu, Wanli Ouyang |
| 2022 | DAC | Hierarchical memory-constrained operator scheduling of neural architecture search networks. | Zihan Wang, Chengcheng Wan, Yuting Chen, Ziyi Lin, He Jiang, Lei Qiao |
| 2022 | DATE | Optimizing CoW-based File Systems on Open-Channel SSDs with Persistent Memory. | Runyu Zhang, Duo Liu, Chaoshu Yang, Xianzhang Chen, Lei Qiao, Yujuan Tan |
| 2022 | ECCV | Backbone is All Your Need: A Simplified Architecture for Visual Object Tracking. | Boyu Chen, Peixia Li, Lei Bai, Lei Qiao, Qiuhong Shen, Bo Li, Weihao Gan, Wei Wu, Wanli Ouyang |
| 2022 | PPSN | Surrogate-Assisted Multi-objective Optimization for Compiler Optimization Sequence Selection. | Guojun Gao, Lei Qiao, Dong Liu, Shifei Chen, He Jiang |
| 2021 | COMPSAC | Deep Feature Learning to Quantitative Prediction of Software Defects. | Lei Qiao, Guangjie Li, Daohua Yu, Hui Liu |
| 2021 | DAC | A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks. | Ze-Wei Chen, Hang Lei, Maolin Yang, Yong Liao, Lei Qiao |
| 2021 | IROS | ORBBuf: A Robust Buffering Method for Remote Visual SLAM. | Yu-Ping Wang, Zi-Xin Zou, Cong Wang, Yue-Jiang Dong, Lei Qiao, Dinesh Manocha |
| 2021 | ISSRE | Tensfa: Detecting and Repairing Tensor Shape Faults in Deep Learning Systems. | Dangwei Wu, Beijun Shen, Yuting Chen, He Jiang, Lei Qiao |
| 2021 | KSEM | Learning Path Recommendation for MOOC Platforms Based on a Knowledge Graph. | Hui Chen, Chuantao Yin, Xin Fan, Lei Qiao, Wenge Rong, Zhang Xiong |
| 2021 | WWW | STUaNet: Understanding Uncertainty in Spatiotemporal Collective Human Mobility. | Zhengyang Zhou, Yang Wang, Xike Xie, Lei Qiao, Yuantao Li |
| 2021 | RTSS | Virtually-Federated Scheduling of Parallel Real-Time Tasks. | Xu Jiang, Nan Guan, Haochun Liang, Yue Tang, Lei Qiao, Wang Yi |
| 2019 | DAC | Tumbler: Energy Efficient Task Scheduling for Dual-Channel Solar-Powered Sensor Nodes. | Yue Xu, Hyung Gyu Lee, Yujuan Tan, Yu Wu, Xianzhang Chen, Liang Liang, Lei Qiao, Duo Liu |
| 2019 | HPCC | Energy-Efficient Task Scheduling for Heterogeneous Cloud Computing Systems. | Hui Zhao, Ge Qi, Quan Wang, Jing Wang, Pengfei Yang, Lei Qiao |
| 2019 | HPCC | A Performance-Guaranteed Virtual Machine Migration Strategy in Cloud. | Hui Zhao, Quan Wang, Jing Wang, Ge Qi, Pengfei Yang, Lei Qiao |
| 2019 | ICCD | 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, Liang Liang |
| 2019 | ICCD | Archivist: A Machine Learning Assisted Data Placement Mechanism for Hybrid Storage Systems. | Jinting Ren, Xianzhang Chen, Yujuan Tan, Duo Liu, Moming Duan, Liang Liang, Lei Qiao |
| 2019 | SETTA | A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms. | Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang |
| 2019 | SETTA | A Verified Specification of TLSF Memory Management Allocator Using State Monads. | Yu Zhang, Yongwang Zhao, David Sann, Lei Qiao, Jinkun Zhang |
| 2018 | APLAS | Modular Verification of SPARCv8 Code. | Junpeng Zha, Xinyu Feng, Lei Qiao |
| 2017 | SETTA | Formalizing SPARCv8 Instruction Set Architecture in Coq. | Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng |
| 2014 | FM | Formal Verification of Lunar Rover Control Software Using UPPAAL. | Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou, Lei Zhao, Lijng Wan, Lei Qiao, Jianxin Chen |
| 2007 | ICCS | A New Approach to Outlier Detection. | Lancang Yang, Bing Shi, Xueqin Zhang, Lei Qiao |