Lei Qiao

According to our database, Lei Qiao authored at least 39 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Duo Liu, Kan Zhong, Ao Ren

J. Syst. Archit., 2025

MIFS: A low overhead and efficient mixture file index management method in flash file system.

Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Xi Chen

J. Syst. Archit., 2025

2024

What's Wrong With Low-Code Development Platforms? An Empirical Study of Low-Code Development Platform Bugs.

Dong Liu, He Jiang, Shikai Guo, Yuting Chen, Lei Qiao

IEEE Trans. Reliab., March, 2024

An efficient schedulability analysis based on worst-case interference time for real-time systems.

Hongbiao Liu, Mengfei Yang, Lei Qiao, Xi Chen, Jian Gong

Sci. China Inf. Sci., 2024

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

Proceedings of the Theoretical Aspects of Software Engineering, 2024

Control Flow Divergence Optimization by Exploiting Tensor Cores.

Weiguang Pang, Xu Jiang, Songran Liu, Lei Qiao, Kexue Fu, Longxiang Gao, Wang Yi

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

Detecting C++ Compiler Front-End Bugs via Grammar Mutation and Differential Testing.

Haoxin Tu, He Jiang, Zhide Zhou, Yixuan Tang, Zhilei Ren, Lei Qiao, Lingxiao Jiang

IEEE Trans. Reliab., March, 2023

Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization.

Zijing Yin, Yiwen Xu, Fuchen Ma, Haohao Gao, Lei Qiao, Yu Jiang

ACM Trans. Softw. Eng. Methodol., January, 2023

Scheduling Parallel Real-Time Tasks on Virtual Processors.

Xu Jiang, Haochun Liang, Nan Guan, Yue Tang, Lei Qiao, Wang Yi

IEEE Trans. Parallel Distributed Syst., 2023

Efficient CUDA stream management for multi-DNN real-time inference on embedded GPUs.

Weiguang Pang, Xiantong Luo, Kailun Chen, Dong Ji, Lei Qiao, Wang Yi

J. Syst. Archit., 2023

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

Proceedings of the IEEE International Conference on High Performance Computing & Communications, 2023

2022

Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios.

Fuchen Ma, Zhenyang Xu, Meng Ren, Zijing Yin, Yuanliang Chen, Lei Qiao, Bin Gu, Huizhong Li, Yu Jiang, Jia-Guang Sun

IEEE Trans. Software Eng., 2022

DPWord2Vec: Better Representation of Design Patterns in Semantics.

Dong Liu, He Jiang, Xiaochen Li, Zhilei Ren, Lei Qiao, Zuohua Ding

IEEE Trans. Software Eng., 2022

LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM.

Zhide Zhou, He Jiang, Zhilei Ren, Yuting Chen, Lei Qiao

IEEE Trans. Reliab., 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

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

ELOFS: An Extensible Low-Overhead Flash File System for Resource-Scarce Embedded Devices.

Runyu Zhang, Duo Liu, Xianzhang Chen, Xiongxiong She, Chaoshu Yang, Yujuan Tan, Zhaoyan Shen, Zili Shao, Lei Qiao

IEEE Trans. Computers, 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

J. Syst. Archit., 2022

Automatically repairing tensor shape faults in deep learning programs.

Dangwei Wu, Beijun Shen, Yuting Chen, He Jiang, Lei Qiao

Inf. Softw. Technol., 2022

Detecting Compiler Bugs Via a Deep Learning-Based Framework.

Yixuan Tang, Zhilei Ren, He Jiang, Lei Qiao, Dong Liu, Zhide Zhou, Weiqiang Kong

Int. J. Softw. Eng. Knowl. Eng., 2022

A Schedulability Test for Sporadic Task DM Scheduling Based on Density Upper Bound.

Hongbiao Liu, Chen Xi, Lei Qiao, Jingkun Zhang, Mengfei Yang

IEEE Access, 2022

Surrogate-Assisted Multi-objective Optimization for Compiler Optimization Sequence Selection.

Guojun Gao, Lei Qiao, Dong Liu, Shifei Chen, He Jiang

Proceedings of the Parallel Problem Solving from Nature - PPSN XVII, 2022

Optimizing CoW-based File Systems on Open-Channel SSDs with Persistent Memory.

Runyu Zhang, Duo Liu, Chaoshu Yang, Xianzhang Chen, Lei Qiao, Yujuan Tan

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

Hierarchical memory-constrained operator scheduling of neural architecture search networks.

Zihan Wang, Chengcheng Wan, Yuting Chen, Ziyi Lin, He Jiang, Lei Qiao

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

Memory State Verification Based on Inductive and Deductive Reasoning.

Shaofeng Li, Lei Qiao, Mengfei Yang

IEEE Trans. Reliab., 2021

Verification of Real Time Operating System Exception Management Based on SPARCv8.

Zhi Ma, Lei Qiao, Mengfei Yang, Shao-Feng Li, Jin-Kun Zhang

J. Comput. Sci. Technol., 2021

Virtually-Federated Scheduling of Parallel Real-Time Tasks.

Xu Jiang, Nan Guan, Haochun Liang, Yue Tang, Lei Qiao, Wang Yi

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Tensfa: Detecting and Repairing Tensor Shape Faults in Deep Learning Systems.

Dangwei Wu, Beijun Shen, Yuting Chen, He Jiang, Lei Qiao

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

ORBBuf: A Robust Buffering Method for Remote Visual SLAM.

Yu-Ping Wang, Zi-Xin Zou, Cong Wang, Yue-Jiang Dong, Lei Qiao, Dinesh Manocha

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

2020

Formalizing SPARCv8 instruction set architecture in Coq.

Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng

Sci. Comput. Program., 2020

Modular Verification of SPARCv8 Code.

Junpeng Zha, Xin-Yu Feng, Lei Qiao

J. Comput. Sci. Technol., 2020

ORBBuf: A Robust Buffering Method for Collaborative Visual SLAM.

Yu-Ping Wang, Zi-Xin Zou, Cong Wang, Yue-Jiang Dong, Lei Qiao, Dinesh Manocha

CoRR, 2020

AdaBoost-based Refused Bequest Code Smell Detection with Synthetic Instances.

Hao Chen, Zhilei Ren, Lei Qiao, Zhide Zhou, Guojun Gao, Yue Ma, He Jiang

Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020

2019

OptSample: A Resilient Buffer Management Policy for Robotic Systems based on Optimal Message Sampling.

Yu-Ping Wang, Zi-Xin Zou, Xu-Qiang Hu, Dinesh Manocha, Lei Qiao, Shi-Min Hu

CoRR, 2019

A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms.

Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 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, Lei Qiao

Proceedings of the 37th IEEE International Conference on Computer Design, 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, Liang Liang

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

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

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018

Formal modelling of list based dynamic memory allocators.

Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao

Sci. China Inf. Sci., 2018

2011

An Embedded Operating System Design for the Lunar Exploration Rover.

Lei Qiao, Mengfei Yang, Bin Gu, Hua Yang, Bo Liu

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011