高祥 - 北京航空航天大学

个人简介

北航准聘副教授，博士，博士生导师。2021年获新加坡国立大学计算机博士学位。2018-2020年先后赴美国富士通研究院、微软研究院交流访问。科研成果在计算机软件工程和程序语言顶级会议和期刊（CCF-A：ICSE，ASE，ISSTA，OOPSLA，TOSEM，TSE等）发表论文10余篇。获得新加坡国立大学科研成就奖，校长奖学金。ISSTA 2021最佳原型系统奖。开发的工具正在部署到微软Visual Studio中

研究领域

软件工程和程序语言。研究使用软件分析、形式化方法、软件测试等方法帮助开发人员开发和维护软件系统、以及提升软件系统的安全性和可靠性

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

Modularizing while Training: A New Paradigm for Modularizing DNN Models CCF-ABinhang Qi, Hailong Sun#, Hongyu Zhang, Ruobing Zhao, Xiang Gao# International Conference on Software Engineering (ICSE) 2024 Automated Fixing of Web UI Tests via Iterative Element Matching CCF-AYuanzhang Lin, Guoyao Wen, Xiang Gao# International Conference on Automated Software Engineering (ASE) 2023 ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-based Systems CCF-AMingyi Zhou, Xiang Gao, Jing Wu, John Grundy, Xiao Chen, Chunyang Chen, Li Li International Symposium on Software Testing and Analysis (ISSTA) 2023 Automated Repair of Programs from Large Language Models Zhiyu Fan, Xiang Gao#, Martin Mirchev, Abhik Roychoudhury,Shin Hwei Tan International Conference on Software Engineering (ICSE) 2023 Reusing Deep Neural Network Models through Model Re-engineering Binhang Qi, Hailong Sun#, Xiang Gao#, Hongyu Zhang, Zhaotian Li, Xudong Liu International Conference on Software Engineering (ICSE) 2023 Patching Weak Convolutional Neural Network Models through Modularization and Composition Binhang Qi, Hailong Sun#, Xiang Gao#, Hongyu Zhang International Conference on Automated Software Engineering (ASE) 2022 Program Vulnerability Repair via Inductive Inference Yuntong Zhang, Xiang Gao#, Gregory J. Duck, Abhik Roychoudhury International Symposium on Software Testing and Analysis (ISSTA) 2022 Trust Enhancement Issues in Program Repair Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury International Conference on Software Engineering (ICSE) 2022 Overfitting in Program Repair and Program Synthesis Xiang Gao PhD Dissertation, National University of Singapore, 2021 Scalable Fuzzing of Program Binaries with E9AFL Xiang Gao, Gregory J. Duck, Abhik Roychoudhury International Conference on Automated Software Engineering Tool (ASE) 2021 APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2021 Automated Patch Backporting in Linux (Experience Paper) Ridwan Shariffdeen*, Xiang Gao*, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, Abhik Roychoudhury (*co-first author) International Symposium on Software Testing and Analysis (ISSTA), 2021 Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury Transactions on Software Engineering and Methodology (TOSEM), 2021 Feedback-Driven Semi-Supervised Synthesis of Program Transformations Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2020 Binary Rewriting without Control Flow Recovery Gregory J. Duck, Xiang Gao, Abhik Roychoudhury Programming Language Design and Implementation (PLDI) 2020 Interactive Patch Generation and Suggestion Xiang Gao, Abhik Roychoudhury Automated Program Repair Workshop (APR @ ICSE) 2020 Fuzz Testing based Data Augmentation to Improve Robustness of Deep Neural Networks Xiang Gao, Ripon K. Saha, Mukul R. Prasad, Abhik Roychoudhury International Conference on Software Engineering (ICSE) 2020. Crash-avoiding Program Repair Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2019. Android Testing via Synthetic Symbolic Execution Xiang Gao, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury International Conference on Automated Software Engineering (ASE) 2018. Repairing Crashes in Android Apps Shin Hwei Tan, Zhen Dong, Xiang Gao, and Abhik Roychoudhury International Conference on Software Engineering(ICSE), 2018 Test-equivalence Analysis for Automatic Patch Generation Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury Transactions on Software Engineering and Methodology ( TOSEM ), 2018