CV

Education

• B.S. in Computer Science, Beijing Univeristy of Posts and Telecommunications, 2014
• Visiting Scholar in Computer Science, The Pennsylvania University, 2018-2019
• Ph.D. in Computer Science, Beijing Univeristy of Posts and Telecommunications, 2021

Work experience

• Fall 2019: Research Assistant
  • The Pennsylvania State University
  • Duties included: Rust Study, Complexity Bug Study
  • Supervisor: Professor Song
• Spring 2020: Intern
  • Ant Group Co.,Ltd.
  • Duties included: Dynamic Analysis
• Spring 2021: Intern
  • China Telecom Cloud Computing Corp.
  • Duties included: Distributed Systems
• 2021.07-now: R&D Engineer
  • China Telecom Cloud Computing Corp.
  • Duties included: Distributed Systems

Skills

• Program Analysis
• Programming
  • Rust
  • C++
  • Go
• Distributed Systems

Publications

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

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.

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

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).

Measuring and Modeling the Label Dynamics of Online Anti-Malware Engines

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).

Demo: VRLifeTime – An IDE Tool to Avoid Concurrency and Memory Bugs in Rust

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).

Algorithmic Profiling for Real-World Complexity Problems

Qin, B., Tu, T., Liu, Z., Yu, T., & Song, L. (2021). Algorithmic Profiling for Real-World Complexity Problems. IEEE Transactions on Software Engineering.

Automatically Detecting and Fixing Concurrency Bugs in Go Software Systems

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).

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

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.

Understanding and Detecting Real-World Safety Issues in Rust

Qin, B., Chen, Y., Liu, H., Zhang, H., Wen, Q., Song, L., & Zhang, Y. (2024). IEEE Transactions on Software Engineering.