个人信息Personal Information
入职时间：2025-01-02
学历：博士研究生毕业
学位：工学博士学位
性别：男
在职信息：在岗
毕业院校：九州大学
所在单位：计算机与人工智能学院
联系方式Other Contact Information
邮箱 :
报考该导师研究生的方式
欢迎你报考叶家鸣老师的研究生，报考有以下方式：
1、参加西南交通大学暑期夏令营活动，提交导师意向时，选择叶家鸣老师，你的所有申请信息将发送给叶家鸣老师，老师看到后将和你取得联系，点击此处参加夏令营活动
2、如果你能获得所在学校的推免生资格，欢迎通过推免方式申请叶家鸣老师研究生，可以通过系统的推免生预报名系统提交申请，并选择意向导师为叶家鸣老师，老师看到信息后将和你取得联系，点击此处推免生预报名
3、参加全国硕士研究生统一招生考试报考叶家鸣老师招收的专业和方向，进入复试后提交导师意向时选择叶家鸣老师。
4、如果你有兴趣攻读叶家鸣老师博士研究生，可以通过申请考核或者统一招考等方式报考该导师博士研究生。
个人简介Personal Profile
About me
叶家鸣，工学博士，西南交通大学计算机与人工智能学院助理教授，获国家留学基金委CSC公派留学资格，并于2023年博士毕业于日本九州大学。主要研究方向为智能软件工程，包括软件可靠性与安全、大模型辅助的软件工程、程序语言等。在软件工程领域CCF-A类会议ACM International Conference on the Foundations of Software Engineering（FSE）、International Conference on Automated Software Engineering（ASE）、International Conference on Software Engineering（ICSE）以及软件工程领域顶级期刊ACM Transactions on Software Engineering and Methodology（TOSEM）、Journal of Systems and Software（JSS）以及IEEE Transactions on Dependable and Secure Computing（TDSC）发表十余篇论文。长期担任国际高水平会议ISSRE、Inscrypt、SANER以及国际高水平期刊Automated Software Engineering、TOSEM、Journal of Systems Architecture的审稿人。
Experiences
2025.01–Now: 西南交通大学，计算机与人工智能学院，助理教授
2023.12–2024.05: 蚂蚁集团，软件工程研究员
2023.01–2023.04: 国立情报学研究所，特别学术研究员
2020.10–2023.09: 日本九州大学
2017.09–2020.06: 中国科学技术大学
2013.09–2017.06: 东北大学
Selected Publications
2025. Cuifeng Gao, Ao Chen, Chengze Wu, Wenzhang Yang, Jiaming Ye, Yinxing Xue., Are Static Analysis Tools Still Working during the Evolution of Smart Contracts? A Comprehensive Empirical Study. Accepted by ACM Transactions on Software Engineering and Methodology.
2025. Jiaming Ye, Xiongfei Wu, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao., Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing. Accepted by the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025, NIER Track.
2024. Cuifeng Gao, Wenzhang Yang, Jiaming Ye, Yinxing Xue, Jun Sun. sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts. Accepted by ACM Transactions on Software Engineering and Methodology.
2023. Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa. QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. In 38th IEEE/ACM International Conference on Automated Software Engineering.
2023. Xiongfei Wu, Jiaming Ye, Ke Chen, Xiaofei Xie, Yujing Hu, Ruochen Huang, Lei Ma, Jianjun Zhao. Widget Detection-based Testing for Industrial Mobile Games. In 45th International Conference on Software Engineering, SEIP Track
2022. Jiaming Ye, Mingliang Ma, Yun Lin, Lei Ma, Yinxing Xue, Jianjun Zhao.Vulpedia: Detecting Vulnerable Ethereum Smart Contracts via Abstracted Vulnerability Signatures. Accepted by Elsevier The Journal of Systems and Software.
2022. Yinxing Xue✦, Jiaming Ye✦, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, Jianjun Zhao. xFuzz: Machine Learning Guided Cross-Contract Fuzzing. Accepted by IEEE Transactions on Dependable and Secure Computing.
2021. Jiaming Ye, Ke Chen, Xiaofei Xie, Lei Ma, Ruochen Huang, Yingfeng Chen, Yinxing Xue, Jianjun Zhao. An Empirical Study of GUI Widget Detection for Industrial Mobile Games. In 29th ACM ESEC/FSE, Industry Track.
2020. Yinxing Xue, Mingliang Ma, Yun Lin, Yulei Sui, Jiaming Ye, Tianyong Peng. Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts. In 35th IEEE/ACM ASE.
2020. Jiaming Ye, Mingliang Ma, Yun Lin, Yulei Sui, Yinxing Xue. Clairvoyance: cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts. In 42nd IEEE/ACM ICSE (Poster).