2024年8月 — 今：中国科学院计算技术研究所，研究员

2023年7月 — 2024年6月： 美国宾州州立大学，终身教职副教授 

2017年8月 — 2023年6月： 美国宾州州立大学，终身教职序列助理教授 

2015年11月 — 2017年7月： 美国火眼公司，主任科学家 

2010年8月 — 2015年12月： 美国威斯康星大学麦迪逊分校，计算机学院，博士生 

2007年9月 — 2010年6月： 中国科学院计算技术研究所，硕士生 

2003年9月 — 2007年6月： 华中科技大学，软件学院，本科生

S：指导学生

期刊文章:

[1] Mengting HeS, Shihao XiaS, Boqin QinS, Nobuko Yoshida, Tingting Yu, Yiying Zhang, and Linhai Song. “How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs.” In Transactions on Software Engineering (TSE), 2025. (CCF-A)

[2] Boqin QinS, Yilun Chen, Haopeng Liu, Hua Zhang, Qiaoyan Wen, Linhai Song, and Yiying Zhang. “Understanding and Detecting Real-World Safety Issues in Rust.” In Transactions on Software Engineering (TSE), 2024. (CCF-A)

[3] Boqin QinS , Tengfei TuS , Ziheng LiuS , Tingting Yu, and Linhai Song. “Algorithmic Profiling for Real-World Complexity Problems.” In Transactions on Software Engineering (TSE), 2021. Accepted as a Journal-First paper by ICSE’2022. (CCF-A)

会议文章：

[1] Wenzhang Yang, Linhai Song, and Yinxing Xue. “Rust-lancet: Automated Ownership-Rule- Violation Fixing with Behavior Preservation.” In the 46th International Conference on Software Engi- neering (ICSE’2024), April 2024. (CCF-A)

[2] Stephen Ellis*, Shuofei Zhu*S , Nobuko Yoshida, and Linhai Song. “Generic Go to Go: Dictionary- Passing, Monomorphisation, and Hybrid.” In the 2022 ACM International Conference on Object Ori- ented Programming Systems Languages & Applications (OOPSLA’2022), Dec 2022. (Acceptance Rate: 31.3%, 92 out of 294) (*: co-first authors) (CCF-A)

[3] Shuofei Zhu*S, Ziyi Zhang*S, Boqin QinS, Aiping Xiong, and Linhai Song. “Learning and Programming Challenges of Rust: A Mixed-Methods Study.” In Proceedings of the 44th International Conference on Software Engineering (ICSE’2022), May 2022. (*: co-first authors) (CCF-A) 

[4] Ziyi ZhangS, Shuofei ZhuS, Jaron Mink, Aiping Xiong, Linhai Song, and Gang Wang. “Be- yond Bot Detection: Combating Fraudulent Online Survey Takers.” In Proceedings of the ACM Web Conference 2022 (WWW’2022), April 2022. (CCF-A)

[5] Ziheng Liu*S , Shihao Xia*S , Yu Liang, Linhai Song, and Hong Hu. “Who Goes First? Detecting Go Concurrency Bugs via Message Reordering.” In Proceedings of the 27th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’2022), March 2022. (*: co-first authors) (CCF-A)

[6] Ziheng LiuS , Shuofei ZhuS , Boqin QinS , Hao Chen, and Linhai Song. “Automatically Detect- ing and Fixing Concurrency Bugs in Go Software Systems.” In Proceedings of the 26th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’2021), April 2021. (CCF-A)

[7] Boqin QinS*, Yilun Chen*, Zeming YuS, Linhai Song, and Yiying Zhang. “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 (PLDI’2020), June 2020. (CCF-A)

[8] Shuofei ZhuS, Jianjun ShiS, Limin Yang, Boqin QinS, Ziyi ZhangS, Linhai Song, and Gang Wang. “Measuring and Modeling the Label Dynamics of Online Anti-Malware Engines.” In Proceed- ings of the 29th USENIX Security Symposium (USENIX Security’2020), August 2020. (CCF-A)

[9] Peng Peng, Limin Yang, Linhai Song, and Gang Wang. “Opening the Blackbox of VirusTo- tal: Analyzing Online Phishing Scan Engines.” In Proceedings of the 2019 ACM Internet Measurement Conference (IMC’2019), October 2019. 

[10] Tengfei TuS, Xiaoyu Liu, Linhai Song, and Yiying Zhang. “Understanding Real-World Con- currency Bugs in Go.” In Proceedings of the 24th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’2019), April 2019. The second-most visited URL related to Golang in 2019. (CCF-A)

[1] 美国自然科学杰出青年职业奖：CAREER: Rethinking Toolchain Design for Rust，项目负责人；

[2] 美国自然科学基金项目：SaTC: CORE: Small: Understanding and Detecting Memory Bugs in Rust，项目负责人；

[3] Web3基金会项目：Avoiding Rust Deadlocks via Lifetime Visualization，项目负责人；

[4] 以太网基金会项目：GCatch++: Automatically Detecting Concurrency Bugs in Software Systems implemented in Go，项目负责人；

[5] 以太网基金会项目：Statically Detecting Memory Bugs in Rust Applications，项目负责人；

[5] Open Tech基金会项目：Statically Detecting Memory Bugs in Rust Applications，项目负责人；

[5] Mozilla科研奖：Benchmarking Generic Functions in Rust，项目负责人；

美国自然科学基金杰出青年职业奖

Mozilla科研奖

MICRO’2024最佳论文提名奖

ACM SIGPLAN年度优秀论文奖