default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLei Qiao 0002
Person information
- affiliation: Beijing Institute of Control Engineering, China
- affiliation (PhD 2007): University of Science and Technology of China, Hefei, China
Other persons with the same name
- Lei Qiao — disambiguation page
- Lei Qiao 0001
![[0000-0001-9922-7595]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0001-9922-7595")
— Shanghai Jiao Tong University, School of Naval Architecture, Ocean and Civil Engineering, China (and 1 more) - Lei Qiao 0003 — Hangzhou Dianzi University, Communication Engineering School, China (and 1 more)
- Lei Qiao 0004 — SenseTime, SenseAuto Research, Hong Kong
- Lei Qiao 0005 — Shanghai University of Finance and Economics, School of Economics, China
- Lei Qiao 0006 — Zhengzhou University, School of Water Conservancy and Transportation, China
- Lei Qiao 0007 — Beijing Institute of Technology, School of Computer Science and Technology, China
- Lei Qiao 0008 — Henan University of Economics and Law, School of Mathematics and Information Science, Zhengzhou, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j23]Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Xi Chen:
MIFS: A low overhead and efficient mixture file index management method in flash file system. J. Syst. Archit. 162: 103387 (2025)- [j22]Yujuan Tan, Yan Gan, Zhaoyang Zeng, Zhuoxin Bai, Lei Qiao, Duo Liu, Kan Zhong, Ao Ren:
GNNBoost: Accelerating sampling-based GNN training on large scale graph by optimizing data preparation. J. Syst. Archit. 167: 103456 (2025) - [j21]He Jiang, Liuwei Fu, Dong Liu, Zhilei Ren, Yuting Chen, Lei Qiao:
TRACED: A Temporal Graph Neural Networks-based Model for Data Prefetching. ACM Trans. Archit. Code Optim. 22(3): 113:1-113:25 (2025) - 2024
- [j20]Hongbiao Liu, Mengfei Yang, Lei Qiao, Xi Chen, Jian Gong:
An efficient schedulability analysis based on worst-case interference time for real-time systems. Sci. China Inf. Sci. 67(9) (2024) - [j19]Dong Liu, He Jiang, Shikai Guo, Yuting Chen, Lei Qiao:
What's Wrong With Low-Code Development Platforms? An Empirical Study of Low-Code Development Platform Bugs. IEEE Trans. Reliab. 73(1): 695-709 (2024) - [c17]Weiguang Pang, Xu Jiang, Songran Liu, Lei Qiao, Kexue Fu, Longxiang Gao, Wang Yi:
Control Flow Divergence Optimization by Exploiting Tensor Cores. DAC 2024: 216:1-216:6 - [c16]Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Zhi Ma, Shaofeng Li, Shenghui Zhu:
An Adaptive Real-Time Garbage Collection Method Based on File Write Prediction. TASE 2024: 224-241 - 2023
- [j18]Weiguang Pang, Xiantong Luo, Kailun Chen, Dong Ji, Lei Qiao, Wang Yi:
Efficient CUDA stream management for multi-DNN real-time inference on embedded GPUs. J. Syst. Archit. 139: 102888 (2023) - [j17]Zijing Yin, Yiwen Xu, Fuchen Ma, Haohao Gao, Lei Qiao, Yu Jiang:
Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization. ACM Trans. Softw. Eng. Methodol. 32(1): 7:1-7:30 (2023) - [j16]Xu Jiang, Haochun Liang, Nan Guan, Yue Tang, Lei Qiao, Wang Yi:
Scheduling Parallel Real-Time Tasks on Virtual Processors. IEEE Trans. Parallel Distributed Syst. 34(1): 33-47 (2023) - [j15]Haoxin Tu, He Jiang, Zhide Zhou, Yixuan Tang, Zhilei Ren, Lei Qiao, Lingxiao Jiang:
Detecting C++ Compiler Front-End Bugs via Grammar Mutation and Differential Testing. IEEE Trans. Reliab. 72(1): 343-357 (2023) - [c15]Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Hongbiao Liu, Jiawei Nian:
DHIFS: A Dynamic and Hybrid Index Method with Low Memory Overhead and Efficient File Access. HPCC/DSS/SmartCity/DependSys 2023: 417-426 - 2022
- [j14]Hongbiao Liu, Chen Xi, Lei Qiao, Jingkun Zhang, Mengfei Yang:
A Schedulability Test for Sporadic Task DM Scheduling Based on Density Upper Bound. IEEE Access 10: 12475-12486 (2022) - [j13]Yixuan Tang, Zhilei Ren, He Jiang, Lei Qiao, Dong Liu, Zhide Zhou, Weiqiang Kong:
Detecting Compiler Bugs Via a Deep Learning-Based Framework. Int. J. Softw. Eng. Knowl. Eng. 32(5): 661-691 (2022) - [j12]Dangwei Wu, Beijun Shen, Yuting Chen, He Jiang, Lei Qiao:
Automatically repairing tensor shape faults in deep learning programs. Inf. Softw. Technol. 151: 107027 (2022) - [j11]Xiaoliu Feng, Xianzhang Chen, Ruolan Li, Jiali Li, Chunlin Song, Duo Liu, Yujuan Tan, Lei Qiao:
CoDiscard: A revenue model based cross-layer cooperative discarding mechanism for flash memory devices. J. Syst. Archit. 128: 102564 (2022) - [j10]Runyu Zhang, Duo Liu, Xianzhang Chen, Xiongxiong She, Chaoshu Yang, Yujuan Tan, Zhaoyan Shen, Zili Shao, Lei Qiao:
ELOFS: An Extensible Low-Overhead Flash File System for Resource-Scarce Embedded Devices. IEEE Trans. Computers 71(9): 2327-2340 (2022) - [j9]Jiali Li, Xianzhang Chen, Duo Liu, Lin Li, Jiapin Wang, Zhaoyang Zeng, Yujuan Tan, Lei Qiao:
Horae: A Hybrid I/O Request Scheduling Technique for Near-Data Processing-Based SSD. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 3803-3813 (2022) - [j8]Zhide Zhou, He Jiang, Zhilei Ren, Yuting Chen, Lei Qiao:
LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM. IEEE Trans. Reliab. 71(2): 896-910 (2022) - [j7]Dong Liu, He Jiang, Xiaochen Li, Zhilei Ren, Lei Qiao, Zuohua Ding:
DPWord2Vec: Better Representation of Design Patterns in Semantics. IEEE Trans. Software Eng. 48(4): 1228-1248 (2022) - [j6]Fuchen Ma, Zhenyang Xu, Meng Ren, Zijing Yin, Yuanliang Chen, Lei Qiao, Bin Gu, Huizhong Li, Yu Jiang, Jia-Guang Sun:
Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios. IEEE Trans. Software Eng. 48(11): 4380-4396 (2022) - [c14]Zihan Wang, Chengcheng Wan, Yuting Chen, Ziyi Lin, He Jiang, Lei Qiao:
Hierarchical memory-constrained operator scheduling of neural architecture search networks. DAC 2022: 493-498 - [c13]Runyu Zhang, Duo Liu, Chaoshu Yang, Xianzhang Chen, Lei Qiao, Yujuan Tan:
Optimizing CoW-based File Systems on Open-Channel SSDs with Persistent Memory. DATE 2022: 496-501 - [c12]Guojun Gao, Lei Qiao, Dong Liu, Shifei Chen, He Jiang:
Surrogate-Assisted Multi-objective Optimization for Compiler Optimization Sequence Selection. PPSN (2) 2022: 382-395 - 2021
- [j5]Zhi Ma, Lei Qiao, Mengfei Yang, Shao-Feng Li, Jin-Kun Zhang:
Verification of Real Time Operating System Exception Management Based on SPARCv8. J. Comput. Sci. Technol. 36(6): 1367-1387 (2021) - [j4]Shaofeng Li, Lei Qiao, Mengfei Yang:
Memory State Verification Based on Inductive and Deductive Reasoning. IEEE Trans. Reliab. 70(3): 1026-1039 (2021) - [c11]Yu-Ping Wang, Zi-Xin Zou, Cong Wang, Yue-Jiang Dong, Lei Qiao, Dinesh Manocha:
ORBBuf: A Robust Buffering Method for Remote Visual SLAM. IROS 2021: 8706-8713 - [c10]Dangwei Wu, Beijun Shen, Yuting Chen, He Jiang, Lei Qiao:
Tensfa: Detecting and Repairing Tensor Shape Faults in Deep Learning Systems. ISSRE 2021: 11-21 - [c9]Xu Jiang, Nan Guan, Haochun Liang, Yue Tang, Lei Qiao, Wang Yi:
Virtually-Federated Scheduling of Parallel Real-Time Tasks. RTSS 2021: 482-494 - 2020
- [j3]Junpeng Zha, Xin-Yu Feng, Lei Qiao:
Modular Verification of SPARCv8 Code. J. Comput. Sci. Technol. 35(6): 1382-1405 (2020) - [j2]Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng:
Formalizing SPARCv8 instruction set architecture in Coq. Sci. Comput. Program. 187: 102371 (2020) - [c8]Hao Chen, Zhilei Ren, Lei Qiao, Zhide Zhou, Guojun Gao, Yue Ma, He Jiang:
AdaBoost-based Refused Bequest Code Smell Detection with Synthetic Instances. DSA 2020: 78-89 - [i2]Yu-Ping Wang, Zi-Xin Zou, Cong Wang, Yue-Jiang Dong, Lei Qiao, Dinesh Manocha:
ORBBuf: A Robust Buffering Method for Collaborative Visual SLAM. CoRR abs/2010.14861 (2020)
2010 – 2019
- 2019
- [c7]Yue Xu, Hyung Gyu Lee, Yujuan Tan, Yu Wu, Xianzhang Chen, Liang Liang, Lei Qiao, Duo Liu:
Tumbler: Energy Efficient Task Scheduling for Dual-Channel Solar-Powered Sensor Nodes. DAC 2019: 172 - [c6]Moming Duan, Duo Liu, Xianzhang Chen, Yujuan Tan, Jinting Ren, Lei Qiao, Liang Liang:
Astraea: Self-Balancing Federated Learning for Improving Classification Accuracy of Mobile Deep Learning Applications. ICCD 2019: 246-254 - [c5]Jinting Ren, Xianzhang Chen, Yujuan Tan, Duo Liu, Moming Duan, Liang Liang, Lei Qiao:
Archivist: A Machine Learning Assisted Data Placement Mechanism for Hybrid Storage Systems. ICCD 2019: 676-679 - [c4]Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang:
A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms. SETTA 2019: 72-88 - [i1]Yu-Ping Wang, Zi-Xin Zou, Xu-Qiang Hu, Dinesh Manocha, Lei Qiao, Shi-Min Hu:
OptSample: A Resilient Buffer Management Policy for Robotic Systems based on Optimal Message Sampling. CoRR abs/1909.03218 (2019) - 2018
- [j1]Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao:
Formal modelling of list based dynamic memory allocators. Sci. China Inf. Sci. 61(12): 122103:1-122103:16 (2018) - [c3]Junpeng Zha, Xinyu Feng, Lei Qiao:
Modular Verification of SPARCv8 Code. APLAS 2018: 245-263 - 2017
- [c2]Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng:
Formalizing SPARCv8 Instruction Set Architecture in Coq. SETTA 2017: 300-316 - 2011
- [c1]Lei Qiao, Mengfei Yang, Bin Gu, Hua Yang, Bo Liu:
An Embedded Operating System Design for the Lunar Exploration Rover. SSIRI (Companion) 2011: 160-165
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-01-18 23:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
