081202-计算机软件与理论
0812Z1-信息安全
083500-软件工程

程序分析
软件可靠性
软件安全

2014-09--2020-07   中国科学院计算技术研究所   博士
2010-09--2014-07   四川大学   学士

   

2020-07~2022-07,中国科学院计算技术研究所, 助理研究员

   

[1] 李昊峰, 陆杰, 孟海宁, 曹立庆, 黄永恒, 李炼, 高琳. Generic sensitivity: customizing context-sensitive pointer analysis for generics. the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 2022, 第 2 作者
[2] Lu, Jie, Li, Feng, Liu, Chen, Li, Lian, Feng, Xiaobing, Xue, Jingling. CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING[J]. 2022, 第 1 作者48(2): 662-677, http://dx.doi.org/10.1109/TSE.2020.2999364.
[3] 陆杰, 李昊峰, 刘晨, 李炼, 程琨. Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems (Best paper honorable mention). the 2022 ACM SIGSAC Conference on Computer and Communications Security. 2022, 第 1 作者
[4] 刘晨, 陆杰, 李广威, 袁挺, 李炼, 杨军, 游亮, 谭峰, 薛京灵. Detecting TensorFlow Program Bugs in Real-World Industrial Environment. The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE'21). 2021, 第 2 作者  通讯作者  
[5] 李广威, 袁挺, 陆杰, 李炼, Xiaobin Zhang, Xu Song, Kejun Zhang. Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution. the 28th Asia-Pacific Software Engineering Conference. 2021, 第 3 作者
[6] Yuan, Ting, Li, Guangwei, Lu, Jie, Liu, Chen, Li, Lian, Xue, Jingling, Lee, JW, Soffa, ML, Zaks, A. GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs. CGO '21: PROCEEDINGS OF THE 2021 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO). 2021, 第 3 作者  通讯作者  187-199, 
[7] 李昊峰, 孟海宁, 郑恒杰, 曹立庆, 陆杰, 李炼, 高琳. Scaling Up the IFDS Algorithm with Efficient Disk-assisted Computing. IEEE/ACM International Symposium on Code Generation and Optimization (CGO). 2021, 第 5 作者
[8] Lu Jie, Chen Liu, Li Lian, Feng Xiaobing. Understanding Node Change Bugs for Distributed Systems. 2019 IEEE 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER)[J]. 2019, 第 1 作者399-410, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000469754100039.
[9] Lu, Jie, Liu, Chen, Li, Lian, Feng, Xiaobing, Tan, Feng, Yang, Jun, You, Liang, ACM. CrashTuner: Detecting Crash-Recovery Bugs in Cloud Systems via Meta-Info Analysis. PROCEEDINGS OF THE TWENTY-SEVENTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES (SOSP '19). 2019, 第 1 作者114-130, http://dx.doi.org/10.1145/3341301.3359645.
[10] Lu, Jie, Li, Feng, Li, Lian, Feng, Xiaobing, Leavens, GT, Garcia, A, Pasareanu, CS. CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining. ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING. 2018, 第 1 作者3-14, http://dx.doi.org/10.1145/3236024.3236071.