Lei Qiao

44 papers A* 3A 4B 1C 2Misc 3Journal 27Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Orchestrating optimization passes of machine learning compiler for reducing memory footprints of computation graphs.
J. Syst. Archit.
Qianwei Yu, Pengbo Nie, Zihan Wang, Chengcheng Wan, Ziyi Lin, He Jiang, Jianjun Zhao, Lei Qiao, Le Chen, Yuting Chen
2026 J jnl
RefineDedup: efficient deduplication for mobile systems via application-wise learning.
Sci. China Inf. Sci.
Wei Li, Xianzhang Chen, Xingjie Zhou, Duo Liu, Yujuan Tan, Ao Ren, Kan Zhong, Lei Qiao
2025 J jnl
GNNBoost: Accelerating sampling-based GNN training on large scale graph by optimizing data preparation.
J. Syst. Archit.
Yujuan Tan, Yan Gan, Zhaoyang Zeng, Zhuoxin Bai, Lei Qiao, Duo Liu, Kan Zhong, Ao Ren
2025 J jnl
MIFS: A low overhead and efficient mixture file index management method in flash file system.
J. Syst. Archit.
Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Xi Chen
2025 J jnl
TRACED: A Temporal Graph Neural Networks-based Model for Data Prefetching.
ACM Trans. Archit. Code Optim.
He Jiang, Liuwei Fu, Dong Liu, Zhilei Ren, Yuting Chen, Lei Qiao
2024 Misc conf
An Adaptive Real-Time Garbage Collection Method Based on File Write Prediction.
TASE
Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Zhi Ma, Shaofeng Li, Shenghui Zhu
2024 J jnl
An efficient schedulability analysis based on worst-case interference time for real-time systems.
Sci. China Inf. Sci.
Hongbiao Liu, Mengfei Yang, Lei Qiao, Xi Chen, Jian Gong
2024 A* conf
Control Flow Divergence Optimization by Exploiting Tensor Cores.
DAC
Weiguang Pang, Xu Jiang, Songran Liu, Lei Qiao, Kexue Fu, Longxiang Gao, Wang Yi
2024 J jnl
What's Wrong With Low-Code Development Platforms? An Empirical Study of Low-Code Development Platform Bugs.
IEEE Trans. Reliab.
Dong Liu, He Jiang, Shikai Guo, Yuting Chen, Lei Qiao
2023 — conf
DHIFS: A Dynamic and Hybrid Index Method with Low Memory Overhead and Efficient File Access.
HPCC/DSS/SmartCity/DependSys
Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Hongbiao Liu, Jiawei Nian
2023 J jnl
Detecting C++ Compiler Front-End Bugs via Grammar Mutation and Differential Testing.
IEEE Trans. Reliab.
Haoxin Tu, He Jiang, Zhide Zhou, Yixuan Tang, Zhilei Ren, Lei Qiao, Lingxiao Jiang
2023 J jnl
Efficient CUDA stream management for multi-DNN real-time inference on embedded GPUs.
J. Syst. Archit.
Weiguang Pang, Xiantong Luo, Kailun Chen, Dong Ji, Lei Qiao, Wang Yi
2023 J jnl
Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization.
ACM Trans. Softw. Eng. Methodol.
Zijing Yin, Yiwen Xu, Fuchen Ma, Haohao Gao, Lei Qiao, Yu Jiang
2023 J jnl
Scheduling Parallel Real-Time Tasks on Virtual Processors.
IEEE Trans. Parallel Distributed Syst.
Xu Jiang, Haochun Liang, Nan Guan, Yue Tang, Lei Qiao, Wang Yi
2022 J jnl
A Schedulability Test for Sporadic Task DM Scheduling Based on Density Upper Bound.
IEEE Access
Hongbiao Liu, Chen Xi, Lei Qiao, Jingkun Zhang, Mengfei Yang
2022 J jnl
Automatically repairing tensor shape faults in deep learning programs.
Inf. Softw. Technol.
Dangwei Wu, Beijun Shen, Yuting Chen, He Jiang, Lei Qiao
2022 J jnl
CoDiscard: A revenue model based cross-layer cooperative discarding mechanism for flash memory devices.
J. Syst. Archit.
Xiaoliu Feng, Xianzhang Chen, Ruolan Li, Jiali Li, Chunlin Song, Duo Liu, Yujuan Tan, Lei Qiao
2022 J jnl
DPWord2Vec: Better Representation of Design Patterns in Semantics.
IEEE Trans. Software Eng.
Dong Liu, He Jiang, Xiaochen Li, Zhilei Ren, Lei Qiao, Zuohua Ding
2022 J jnl
Detecting Compiler Bugs Via a Deep Learning-Based Framework.
Int. J. Softw. Eng. Knowl. Eng.
Yixuan Tang, Zhilei Ren, He Jiang, Lei Qiao, Dong Liu, Zhide Zhou, Weiqiang Kong
2022 J jnl
ELOFS: An Extensible Low-Overhead Flash File System for Resource-Scarce Embedded Devices.
IEEE Trans. Computers
Runyu Zhang, Duo Liu, Xianzhang Chen, Xiongxiong She, Chaoshu Yang, Yujuan Tan, Zhaoyan Shen, Zili Shao, Lei Qiao
2022 A* conf
Hierarchical memory-constrained operator scheduling of neural architecture search networks.
DAC
Zihan Wang, Chengcheng Wan, Yuting Chen, Ziyi Lin, He Jiang, Lei Qiao
2022 J jnl
Horae: A Hybrid I/O Request Scheduling Technique for Near-Data Processing-Based SSD.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Jiali Li, Xianzhang Chen, Duo Liu, Lin Li, Jiapin Wang, Zhaoyang Zeng, Yujuan Tan, Lei Qiao
2022 J jnl
LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM.
IEEE Trans. Reliab.
Zhide Zhou, He Jiang, Zhilei Ren, Yuting Chen, Lei Qiao
2022 A conf
Optimizing CoW-based File Systems on Open-Channel SSDs with Persistent Memory.
DATE
Runyu Zhang, Duo Liu, Chaoshu Yang, Xianzhang Chen, Lei Qiao, Yujuan Tan
2022 J jnl
Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios.
IEEE Trans. Software Eng.
Fuchen Ma, Zhenyang Xu, Meng Ren, Zijing Yin, Yuanliang Chen, Lei Qiao, Bin Gu, Huizhong Li, Yu Jiang, Jia-Guang Sun
2022 — conf
Surrogate-Assisted Multi-objective Optimization for Compiler Optimization Sequence Selection.
PPSN (2)
Guojun Gao, Lei Qiao, Dong Liu, Shifei Chen, He Jiang
2021 J jnl
Memory State Verification Based on Inductive and Deductive Reasoning.
IEEE Trans. Reliab.
Shaofeng Li, Lei Qiao, Mengfei Yang
2021 A conf
ORBBuf: A Robust Buffering Method for Remote Visual SLAM.
IROS
Yu-Ping Wang, Zi-Xin Zou, Cong Wang, Yue-Jiang Dong, Lei Qiao, Dinesh Manocha
2021 A conf
Tensfa: Detecting and Repairing Tensor Shape Faults in Deep Learning Systems.
ISSRE
Dangwei Wu, Beijun Shen, Yuting Chen, He Jiang, Lei Qiao
2021 J jnl
Verification of Real Time Operating System Exception Management Based on SPARCv8.
J. Comput. Sci. Technol.
Zhi Ma, Lei Qiao, Mengfei Yang, Shao-Feng Li, Jin-Kun Zhang
2021 A conf
Virtually-Federated Scheduling of Parallel Real-Time Tasks.
RTSS
Xu Jiang, Nan Guan, Haochun Liang, Yue Tang, Lei Qiao, Wang Yi
2020 — conf
AdaBoost-based Refused Bequest Code Smell Detection with Synthetic Instances.
DSA
Hao Chen, Zhilei Ren, Lei Qiao, Zhide Zhou, Guojun Gao, Yue Ma, He Jiang
2020 J jnl
Formalizing SPARCv8 instruction set architecture in Coq.
Sci. Comput. Program.
Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng
2020 J jnl
Modular Verification of SPARCv8 Code.
J. Comput. Sci. Technol.
Junpeng Zha, Xin-Yu Feng, Lei Qiao
2020 J jnl
ORBBuf: A Robust Buffering Method for Collaborative Visual SLAM.
CoRR
Yu-Ping Wang, Zi-Xin Zou, Cong Wang, Yue-Jiang Dong, Lei Qiao, Dinesh Manocha
2019 Misc conf
A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms.
SETTA
Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang
2019 C conf
Archivist: A Machine Learning Assisted Data Placement Mechanism for Hybrid Storage Systems.
ICCD
Jinting Ren, Xianzhang Chen, Yujuan Tan, Duo Liu, Moming Duan, Liang Liang, Lei Qiao
2019 C conf
Astraea: Self-Balancing Federated Learning for Improving Classification Accuracy of Mobile Deep Learning Applications.
ICCD
Moming Duan, Duo Liu, Xianzhang Chen, Yujuan Tan, Jinting Ren, Lei Qiao, Liang Liang
2019 J jnl
OptSample: A Resilient Buffer Management Policy for Robotic Systems based on Optimal Message Sampling.
CoRR
Yu-Ping Wang, Zi-Xin Zou, Xu-Qiang Hu, Dinesh Manocha, Lei Qiao, Shi-Min Hu
2019 A* conf
Tumbler: Energy Efficient Task Scheduling for Dual-Channel Solar-Powered Sensor Nodes.
DAC
Yue Xu, Hyung Gyu Lee, Yujuan Tan, Yu Wu, Xianzhang Chen, Liang Liang, Lei Qiao, Duo Liu
2018 J jnl
Formal modelling of list based dynamic memory allocators.
Sci. China Inf. Sci.
Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao
2018 B conf
Modular Verification of SPARCv8 Code.
APLAS
Junpeng Zha, Xinyu Feng, Lei Qiao
2017 Misc conf
Formalizing SPARCv8 Instruction Set Architecture in Coq.
SETTA
Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng
2011 — conf
An Embedded Operating System Design for the Lunar Exploration Rover.
SSIRI (Companion)
Lei Qiao, Mengfei Yang, Bin Gu, Hua Yang, Bo Liu