About Me

I am currently a Ph.D. graduate in the Advanced Information Technology Laboratory, Department of Information Science and Electrical Engineering, KYUSHU University. My advisor is Prof. Jianjun Zhao and I am co-advised by Prof. Lei Ma. My research interests mainly focus on software analysis and testing.

Email: yejjmg@gmail.com

Experience

• National Institute of Informatics, Japan (Jan, 2023 - Apr, 2023)

  Specially appointed researcher, work with Paolo Arcaini and Ishikawa Fuyuki

• Kyushu University, Japan (Oct, 2020 - Sep, 2023)

  Ph.D. student in Software Engineering, Supervised by Prof. Jianjun Zhao

• University of Science and Technology of China, China (Sep, 2017 - Jun, 2020)

  Master student in Software Engineering, Supervised by Prof. Yinxing Xue

• Northeastern University, China (Sep, 2013 - Jun, 2017)

  Bachelor of Material Science and Engineering

Publications

Full Papers

1. [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 (ASE 2023).
2. [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 (CCF Rank A).
3. [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.
4. [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 (CCF Rank A).
5. [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 (CCF Rank A).
6. [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 (CCF Rank A).
7. [2020] Jiaming Ye, Mingliang Ma, Tianyong Peng, Yinxing Xue. A Software Analysis Based Vulnerability Detection System For Smart Contracts. In Integrating Research and Practice in Software Engineering.

Workshops & Posters

1. [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).
2. [2019] Jiaming Ye, Mingliang Ma, Tianyong Peng, Yinxing Xue. Towards automated generation of bug benchmark for smart contracts. In workshops of 12th IEEE ICST.

Approved Vulnerability Reports

• CVE-2020-19765🐞
• CVE-2020-19766🐞
• CVE-2020-19767🐞
• CVE-2020-19768🐞
• CVE-2020-19769🐞

Honors and Awards

1. 2021, Kyushu University Innovator Fellowship, Kyushu University
2. 2021, Offer of China Scholarship Council (CSC) Scholarship (not accepted), Chinese Ministry of Education
3. 2020, Outstanding Student Research Practice, University of Science and Technology of China
4. 2019, Dean Scholarship, University of Science and Technology of China