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