VRLifeTime - An IDE Tool to Avoid Concurrency and Memory Bugs in Rust. - Ziyi Zhang; Boqin Qin; Yilun Chen; Linhai Song; Yiying Zhang 005 (CCS, 2020)

Stuck-me-not: A deadlock detector on blockchain software in Rust. - Pengxiang Ning; Boqin Qin (EUSPN/ICTH, 2020)

Understanding memory and thread safety practices and issues in real-world Rust programs. - Boqin Qin; Yilun Chen; Zeming Yu; Linhai Song; Yiying Zhang 005 (PLDI, 2020)

Measuring and Modeling the Label Dynamics of Online Anti-Malware Engines. - Shuofei Zhu; Jianjun Shi; Limin Yang; Boqin Qin; Ziyi Zhang; Linhai Song; Gang Wang 011 (USENIX Security Symposium, 2020)

An Adaptive Encryption-as-a-Service Architecture Based on Fog Computing for Real-Time Substation Communications. - Hua Zhang 001; Boqin Qin; Tengfei Tu; Ziqing Guo; Fei Gao 001; Qiaoyan Wen (IEEE Trans. Ind. Informatics, 2020)

Automatically detecting and fixing concurrency bugs in go software systems. - Ziheng Liu; Shuofei Zhu; Boqin Qin; Hao Chen 003; Linhai Song (ASPLOS, 2021)

A Data Availability Modeling Approach Towards Cloud Storage Systems Based on Client Perspective. - Feng Jiang; Yongyang Cheng; Zhao Hui; Boqin Qin; Ruibo Yan (APNOMS, 2022)

Who owns the address? A performant block storage model for hybrid cloud. - Feng Jiang; Yongyang Cheng; Boqin Qin; Zhao Hui (APNOMS, 2022)

Learning and Programming Challenges of Rust: A Mixed-Methods Study. - Shuofei Zhu; Ziyi Zhang; Boqin Qin; Aiping Xiong; Linhai Song (ICSE, 2022)

Algorithmic Profiling for Real-World Complexity Problems. - Boqin Qin; Tengfei Tu; Ziheng Liu; Tingting Yu 001; Linhai Song (IEEE Trans. Software Eng., 2022)

MRP: An Energy Efficient Network Protocol That Avoids Multiple Encryption in Cloud Computing Environment. - Feng Jiang; Yongyang Cheng; Boqin Qin; Tao Zhang 126 (APNet, 2023)

A Novel Equivalence Proof of Clock and Network Synchronization Model Towards Distributed Clouds. - Feng Jiang; Yongyang Cheng; Tao Zhang; Boqin Qin; Zhao Hui (APNOMS, 2023)

How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs. - Mengting He; Shihao Xia; Boqin Qin; Nobuko Yoshida; Tingting Yu 001; Linhai Song; Yiying Zhang 005 (CoRR, 2024)

Understanding and Detecting Real-World Safety Issues in Rust. - Boqin Qin; Yilun Chen; Haopeng Liu; Hua Zhang 001; Qiaoyan Wen; Linhai Song; Yiying Zhang 005 (IEEE Trans. Software Eng., 2024)