Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Boqin Qin's Website
About me
Page not in menu
This is a page not in th emain menu
Posts
A curated list of awesome Rust checkers
Published:
Awesome Rust checkers
A Use-After-Free Bug in Redox
Published:
This is the brief description of CVE-2020-22429. For more details, please refer to Reference.
portfolio
Portfolio
This is me!
publications
An Adaptive Encryption-as-a-Service Architecture Based on Fog Computing for Real-Time Substation Communications
Published in IEEE Transactions on Industrial Informatics, 16(1), 658-668, 2019
We present a novel encryption-as-a-service architecture based on fog computing.
Recommended citation: Zhang, H., Qin, B., Tu, T., Guo, Z., Gao, F., & Wen, Q. (2019). An adaptive encryption-as-a-service architecture based on fog computing for real-time substation communications. IEEE Transactions on Industrial Informatics, 16(1), 658-668. https://doi.org/10.1109/TII.2019.2948113
Understanding memory and thread safety practices and issues in real-world Rust programs
Published in PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and ImplementationJune 2020 Pages 763–779, 2020
Our study reveals interesting real-world Rust program behaviors and new issues Rust programmers make.
Recommended citation: Qin, B., Chen, Y., Yu, Z., Song, L., & Zhang, Y. (2020, June). Understanding memory and thread safety practices and issues in real-world Rust programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 763-779). https://doi.org/10.1145/3385412.3386036
Measuring and Modeling the Label Dynamics of Online Anti-Malware Engines
Published in USENIX Security 2020: 29th USENIX Security Symposium Pages 2361-2378, 2020
We take a data-driven approach to categorize, reason, and validate common labeling methods used by researchers.
Recommended citation: Zhu, S., Shi, J., Yang, L., Qin, B., Wang, G., & Song, L. (2020, August). Measuring and Modeling the Label Dynamics of Online Anti-Malware Engines. 29th USENIX Security Symposium (pp. 2361-2378). https://www.usenix.org/conference/usenixsecurity20/presentation/zhu
Demo: VRLifeTime – An IDE Tool to Avoid Concurrency and Memory Bugs in Rust
Published in Demo@CCS 2020: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security Pages 2085–2087, 2020
We present VRLifeTime, an IDE tool that can visualize lifetime for Rust programs and help programmers avoid lifetime-related mistakes.
Recommended citation: Zhang, Z., Qin, B., Chen, Y., Song, L., & Zhang, Y. (2020, November). VRLifeTime -- An IDE Tool to Avoid Concurrency and Memory Bugs in Rust. In Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security Pages (pp. 2085–2087). https://dl.acm.org/doi/10.1145/3372297.3420024
Algorithmic Profiling for Real-World Complexity Problems
Published in IEEE Transactions on Software Engineering, Early Access, 2021
We design a tool, ComAir, which can effectively conduct algorithmic profiling in production environment.
Recommended citation: Qin, B., Tu, T., Liu, Z., Yu, T., & Song, L. (2021). Algorithmic Profiling for Real-World Complexity Problems. IEEE Transactions on Software Engineering. https://doi.org/10.1109/TSE.2021.3067652
Automatically Detecting and Fixing Concurrency Bugs in Go Software Systems
Published in ASPLOS 2021: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems 2021 Pages 616–629, 2021
This paper proposes static concurrency bug detection system, GCatch, and an automated concurrency bug fixing system, GFix.
Recommended citation: Liu, Z., Zhu, S., Qin, B., Chen, H., & Song, L. (2021, April). Automatically detecting and fixing concurrency bugs in go software systems. In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (pp. 616–629). https://doi.org/10.1145/3445814.3446756
Learning and Programming Challenges of Rust: A Mixed-Methods Study
Published in ICSE 2022: Proceedings of the 2022 International Conference on Software Engineering, 2022
Survey Rust programmers for the challenges of learning and programming Rust
Recommended citation: Zhu, S., Zhang, Z., Qin, B., Xiong, A., & Song, L. (2022, May). Learning and Programming Challenges of Rust: A Mixed-Methods Study. In Proceedings of the 44th International Conference on Software Engineering. https://doi.org/10.1145/3510003.3510164
Understanding and Detecting Real-World Safety Issues in Rust
Published in IEEE Transactions on Software Engineering, 2024
Our study reveals interesting real-world Rust program behaviors and new issues Rust programmers make.
Recommended citation: Qin, B., Chen, Y., Liu, H., Zhang, H., Wen, Q., Song, L., & Zhang, Y. (2024). IEEE Transactions on Software Engineering. https://songlh.github.io/paper/rust-tse.pdf
talks
Algorithmic Profiling for Real-World Complexity Problems
Published:
My Journal-First paper in ICSE’22. https://www.youtube.com/watch?v=M1hfaHPB868