Boqin Qin

According to our database, Boqin Qin authored at least 14 papers between 2020 and 2024.

Collaborative distances:

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

2024

Understanding and Detecting Real-World Safety Issues in Rust.

Boqin Qin, Yilun Chen, Haopeng Liu, Hua Zhang, Qiaoyan Wen, Linhai Song, Yiying Zhang

IEEE Trans. Software Eng., June, 2024

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, Linhai Song, Yiying Zhang

CoRR, 2024

2023

A Novel Equivalence Proof of Clock and Network Synchronization Model Towards Distributed Clouds.

Feng Jiang, Yongyang Cheng, Tao Zhang, Boqin Qin, Zhao Hui

Proceedings of the 24st Asia-Pacific Network Operations and Management Symposium, 2023

MRP: An Energy Efficient Network Protocol That Avoids Multiple Encryption in Cloud Computing Environment.

Feng Jiang, Yongyang Cheng, Boqin Qin, Tao Zhang

Proceedings of the 7th Asia-Pacific Workshop on Networking, 2023

2022

Algorithmic Profiling for Real-World Complexity Problems.

Boqin Qin, Tengfei Tu, Ziheng Liu, Tingting Yu, Linhai Song

IEEE Trans. Software Eng., 2022

Learning and Programming Challenges of Rust: A Mixed-Methods Study.

Shuofei Zhu, Ziyi Zhang, Boqin Qin, Aiping Xiong, Linhai Song

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Who owns the address? A performant block storage model for hybrid cloud.

Feng Jiang, Yongyang Cheng, Boqin Qin, Zhao Hui

Proceedings of the 23rd Asia-Pacific Network Operations and Management Symposium, 2022

A Data Availability Modeling Approach Towards Cloud Storage Systems Based on Client Perspective.

Feng Jiang, Yongyang Cheng, Zhao Hui, Boqin Qin, Ruibo Yan

Proceedings of the 23rd Asia-Pacific Network Operations and Management Symposium, 2022

2021

Automatically detecting and fixing concurrency bugs in go software systems.

Ziheng Liu, Shuofei Zhu, Boqin Qin, Hao Chen, Linhai Song

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

An Adaptive Encryption-as-a-Service Architecture Based on Fog Computing for Real-Time Substation Communications.

Hua Zhang, Boqin Qin, Tengfei Tu, Ziqing Guo, Fei Gao, Qiaoyan Wen

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

Proceedings of the 29th USENIX Security Symposium, 2020

Understanding memory and thread safety practices and issues in real-world Rust programs.

Boqin Qin, Yilun Chen, Zeming Yu, Linhai Song, Yiying Zhang

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Stuck-me-not: A deadlock detector on blockchain software in Rust.

Pengxiang Ning, Boqin Qin

Proceedings of the 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020) / The 10th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2020) / Affiliated Workshops, 2020

VRLifeTime - An IDE Tool to Avoid Concurrency and Memory Bugs in Rust.

Ziyi Zhang, Boqin Qin, Yilun Chen, Linhai Song, Yiying Zhang

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020