Assistant Professor (Tenured)
Faculty of Information Science and Electrical Engineering
Kyushu University
744 Motooka, Nishi-ku
Fukuoka 819-0395, Japan
Office: Room 713 West 2 Building
Email: malei [at] ait.kyushu-u.ac [dot] jp





img
Cycling@Napier, NZ


  1. (05/2019) Our paper DiffChaser: Detecting Disagreements for Deep Neural Networks is accepted at IJCAI'19 !
  2. (05/2019) Our paper DeepStellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems is accepted at FSE'19 !
  3. (05/2019) I am invited to join AISec'19 Program Committee collocated with CSS'19 this year, please considier to submit your high quality papers!
  4. (05/2019) I am invited to visit and give a talk on Testing Deep Learning System Towards Intelligence of Things at Google Waterloo on June 5!
  5. (05/2019) Our paper DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks is accepted at ISSTA'19 !
  6. (04/2019) I am happy to be invited to join and give a talk on NII Shonan Meeting on Software Engineering for Machine Learning Systems (SEMLS) which will be held on October this year.
  7. (04/2019) I am invited by Machine Learning and Software Engineering Community of Japan (MLSE) to give tutorial on "Software Testing of Deep Learning System: from the Past to the Future"
  8. (04/2019) I am co-organizing the first MLST Workshop Collocated with ICST!
  9. (03/2019) I am happy to be invited to join and give a talk on The Software Engineering for Machine Learning Applications (SEMLA) International Symposium, Polytechnique Montreal which will be held on May this year.
  10. (02/2019) I am co-organizing the first AI4Mobile Workshop Collocated with SANER!
  11. (12/2018) Our paper VULTRON: Catching Vulnerable Smart Contracts Once and for All ICSE'19 as an NIER Track Paper!
  12. (12/2018) Our paper DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems SANER'19 as an ERA Track Paper!
  13. (09/2018) Our paper Practical Fault Attack on Deep Neural Networks is accepted at CCS'18 as a Poster Paper!
  14. (09/2018) Our paper Metamorphic Relation Based Adversarial Attacks on Differentiable Neural Computer is available on CoRR arXiv. This is the very first work towards in-depth analysis on the robustness of Differtentiable Neural Computer!
  15. (08/2018) Our paper DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems receive the ACM SIGSOFT Distinguished Paper Award in ASE'18.
  16. (08/2018) Our paper DeepMutation: Mutation Testing of Deep Learning Systems is accepted at ISSRE'18
  17. (07/2018) Our paper DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems is accepted at ASE'18
  18. (06/2018) Our paper Combinatorial Testing for Deep Learning Systems is available on CoRR arXiv. This is the first combinatorial testing for Deep Neural Networks!
  19. (06/2018) Our paper Practical Fault Attack on Deep Neural Networks is available on CoRR arXiv. This is the first practical attacks on Deep Neural Networks using laser technology!
  20. (05/2018) Our paper Characterising Deprecated Android APIs won the FOSS Impact Paper Award in MSR'18.
  21. (05/2018) Our paper DeepMutation: Mutation Testing of Deep Learning Systems is available on CoRR arXiv. This is the first mutation testing technique for Deep Neural Networks!
  22. (03/2018) Our paper DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems is available on CoRR arXiv. This paper proposes a set of testing critiera with multi-granuality for Deep Neural Networks!
  23. (01/2018) Our paper Characterising Deprecated Android APIs has been accepted to appear in MSR'18.
  24. (03/2017) Our paper Model-based API Testing of Apache ZooKeeper won the IEEE Best Presentation Award at ICST'17.
  25. (07/2016) Our paper Runtime monitoring for concurrent systems has been accepted to appear in RV'16.
  26. (09/2016) Our paper An empirical study on the effects of code visibility on program testability has been accepted to appear in Springer Software Quliaty Journal (SQJ).
  27. (03/2016) Our paper Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs has been nominated for the IEEE Best Candidate Paper Award in SANER'16.
  28. (11/2015) Our paper GRT: Program-analysis-guided Random Testing won the ACM SIGSOFT Distinguished Paper Award at ASE'15.
  29. (11/2015) Our paper Incremental Web Application Testing using Page Object won the IEEE Best Paper Award at HotWeb'15.

About Me

I am a tenured assistant professor and co-leading a research group of about 15 researchers at PANGU Lab at Kyushu University, My current research mainly focuses on the interdisciplinary research fields of Software Engineering, Security and Artificial Intelligence, and especially on proposing quality assurance and security solutions for machine learning engineering. I received a B.E. degree from Department of Computer Science and Engineering of Shanghai Jiaotong Unviersity in 2009, M.E. and Ph.D degrees from The University of Tokyo in 2011 and 2014, respectively. During my Ph.D. program, I studied half a year in the Mathematics and Computer Science department of Technische Universität München(TUM). After receiving the Ph.D., I worked as a Research Fellow in the joint projects collaborated by The University of Tokyo, Chiba University, Advanced Industrial Science and Technology (AIST/ITRI) and National Institute of Informatics, and later joined in Harbin Institute of Technology as an Associate Professor in 2016 through Young Talents Plan, during which in 2018 I got the chance to visit Prof. Liu Yang's group at NTU, together, we made a series of work and progress in testing deep learning systems. In 2019, I joined Kyushu University as a tenured Assistant Professor.

I love theories, but I like even more to transfer theories into practice!
I have several research interests and working directions. My current major research interest mainly focuses on general purpose security and quality assurance for deep learning systems. I believe the robust deep learning system would be the key driving force for novel technology of the future. It does not solely rely on the foundational research from the machine learning community, it also highly requires the contribution from software engineering community, security community, etc; the novel interdisciplinary direction so be called Machine Learning Engineering, an extremely exciting and demanding area of the future! We have conducted consecutive works along the general purpose security and quality assurance of DL systems (i.e., testing, analysis, verification, attacks, defenses), to bridge vast demands from industry application and the academic research. Exciting research results would be continuously updated!

In the past, my research interest mainly lies around software engineering and programming language, in particular automated software testing, verification, analysis, evolution, mining, etc. I also worked on green computation and optimization solutions for cloud and big data centers. In addition, I am also interested in genomic data analsyis to uncover life mystery and to search for health solutions through deep learning techniques.

    See also at Google Scholar.

  1. Xiaofei Xie, Lei Ma, Haijun Wang, Yuekang Li, Yang Liu, Xiaohong Li
    DiffChaser: Detecting Disagreements for Deep Neural Networks
    The 29th International Joint Conference on Artificial Intelligence, Macau, China, August 2019 (IJCAI'19, CCF Rank A)
  2. Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu and Jianjun Zhao.
    DeepStellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems
    The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Tallinn, Estonia, August 2019 (FSE'19, CCF Rank A)
  3. Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, Simon See
    DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks
    The 28th International Symposium on Software Testing and Analysis, Beijing, China, July, 2019 (ISSTA'19, CCF Rank A)
  4. Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma, Yang Liu
    VULTRON: Catching Vulnerable Smart Contracts Once and for All
    The 41st ACM/IEEE International Conference on Software Engineering, Montreal, QC, Canada, May, 2019, (ICSE'19, CORE Rank A*) (To Appear)
  5. Chao Xie, Hua Qi,Lei Ma, Jianjun Zhao
    DeepVisual: A Visual Programming Tool for Deep Learning Systems
    The 27th IEEE/ACM International Conference on Program Comprehension, Montreal, QC, Canada, May, 2019, (ICPC'19, CCF Rank B)
  6. Lei Ma, Felix Juefei-Xu, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao
    DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems
    2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering, pp. 614-618, Hangzhou, China, 2019 (SANER'19, CCF Rank B)
  7. Sen Chen, Minhui Xue, Lingling Fan, Lei Ma,, Yang Liu, Lihua Xu
    How Can We Craft Large-Scale Android Malware? An Automated Poisoning Attack.
    2019 IEEE International Workshop on Artificial Intelligence for Mobile, pp. 21-24, Hangzhou, China, 2019. (AI4Mobile'19)
  8. Sen Chen, Lingling Fan, Ting Su, Lei Ma,, Yang Liu, Lihua Xu
    Automated Cross-Platform GUI Code Generation for Mobile Apps.
    IEEE International Workshop on Artificial Intelligence for Mobile, pp. 13-16, Hangzhou, China, 2019. (AI4Mobile'19)
  9. Jakub Breier, Xiaolu Hou, Dirmanto Jap, Lei Ma, Shivam Bhasin, Yang Liu
    Practical Fault Attack on Deep Neural Networks.
    The 25th ACM Conference on Computer and Communications Security, Poster Paper (CCS'18 CCF Rank A)
  10. Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
    DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems. ACM SIGSOFT Distinguished Paper Award.
    The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE'18, CORE Rank A)
  11. Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
    DeepMutation: Mutation Testing of Deep Learning Systems.
    The 29th IEEE International Symposium on Software Reliability Engineering (ISSRE'18 CORE Rank A)
  12. Alvin Chan, Lei Ma, Felix Juefei-Xu, Xiaofei Xie, Yang Liu, Yew Soon Ong
    Metamorphic Relation Based Adversarial Attacks on Differentiable Neural Computer.
    arXiv:1809.02444
  13. Qiang Hu, Lei Ma, Jianjun Zhao
    DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models.
    The 25th Asia-Pacific Software Engineering Conference (APSEC'18 CORE Rank B)
  14. Li Li, Jun Gao, Tegawendé F. Bissyandé, Lei Ma, Xin Xia and Jacques Klein
    Characterising Deprecated Android APIs. ACM FOSS Impact Paper Award.
    The 15th International Conference on Mining Software Repositories, Gothenburg, Sweden (MSR'18, CORE Rank A)
  15. Cyrille Valentin Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe and Mitsuharu Yamamoto
    Model-based API Testing of Apache ZooKeeper.IEEE Best Presentation Award.
    The 10th IEEE International Conference on Software Testing, Verification and Validation, Tokyo, Japan (ICST'17, CORE Rank A)
  16. Lei Ma,Bing Yu, Hiroyuki Sato and Yadong Wang
    Collaborative Computation Offloading in Heterogeneous Asynchronous Cloud Environment.
    2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC'17, CORE Rank B)
  17. Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto
    Runtime monitoring for concurrent systems.
    The 16th International Conference in Runtime Verification, Madrid, Spain, September 2016, Springer.(RV'16, CORE Rank C)
  18. Lei Ma, Cheng Zhang, Bing Yu, Hiroyuki Sato
    An empirical study on the effects of code visibility on program testability.
    Software Quality Journal, 2016, Springer.(SQJ, SCI-Indexed, IF: 1.816)
  19. Lei Ma, Cheng Zhang, Bing Yu, Jianjun Zhao
    Retrofitting Automatic Testing through Library Tests Reusing.
    The IEEE 24th International Conference on Program Comprehension, May 2016, Austin, USA. (ICPC'16, CCF B)
  20. Lei Ma, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Alexander Kohan and Mitsuharu Yamamoto
    Monitoring Distributed Applications with Java Pathfinder.
    2016 JPF Workshop 2016, November 2016, Seattle, USA. (JPF Workshop'16)
  21. Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya and Yoshinori Tanabe
    Java Pathfinder on Android Devices.
    2016 JPF Workshop 2016, November 2016, Seattle, USA. (JPF Workshop'16)
  22. Jiabin Ye, Cheng Zhang, Lei Ma, Haibo Yu, Jianjun Zhao
    Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs. IEEE Best Paper Candidate Award.
    The IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, March 2016, Osaka, Japan. (SANER'16, CCF B)
  23. Cyrille Artho, Lei Ma
    Classification of Randomly Generated Test Cases.
    The first IEEE International Workshop on Validating Software Tests, March, 2016, Osaka, Japan. (VST'16 colocated with SANER'16)
  24. Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler
    GRT: Program-analysis-guided random testing. ACM SIGSOFT Distinguished Paper Award.
    The 30th IEEE/ACM International Conference on Automated Software Engineering, November 2015, Lincoln, USA. (ASE'15, CCF A)
  25. Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler
    GRT: An automated test generator using orchestrated program analysis.
    The 30th IEEE/ACM International Conference on Automated Software Engineering, November 2015, Lincoln, USA. (ASE'15, CCF A)
  26. Lei Ma, Cheng Zhang, Bing Yu, Hiroyuki Sato
    An empirical study on effects of code visibility on code coverage of software testing.
    The IEEE/ACM 10th International Workshop on Automation of Software Test, May 2015, Florence, Italy. (AST'15, CORE Rank C)
  27. Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato,Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
    GRT at the SBST 2015 tool competition. IEEE Best Testing Tool Award.
    The IEEE 8th International Workshop on Search-based Software Testing, May 2015, Florence, Italy.
  28. Bing Yu, Lei Ma, Cheng Zhang
    Incremental Web Application Testing using Page Object.IEEE Best Paper Award.
    The IEEE International Workshop on Hot Topics in Web Systems and Technologies, November 2015, Washington, D.C, USA. (HotWeb'15, CORE Rank B)
  29. Lei Ma, Cyrille Artho, Cheng Zhang, and Hiroyuki Sato
    Efficient testing of software product lines via centralization.
    The ACM International Conference on Generative Programming: Concepts and Experiences, September 2014, Vasteras, Sweden. (GPCE'14, CORE Rank B)
  30. Lei Ma, Cyrille Artho, Cheng Zhang, and Hiroyuki Sato
    When Project Centralization and Random Testing Meet: Efficient Automatic Testing of Multiple Software Product Variants.
    The 2014 JSSST Software Conference, July 2014, Nagoya, Japan. (JSSST'14)
  31. Lei Ma, Cyrille Artho, and Hiroyuki Sato
    Managing Product Variants by Project Centralization.
    Lecture Notes on Software Engineering (LNSE), January 2014.
  32. Lei Ma, Cyrille Artho, and Hiroyuki Sato
    Project centralization based on graph coloring.
    The ACM 29th International Symposium on Applied Computing, March 2014, Gyeongju, South Korea. (SAC'14, CORE Rank B)
  33. Lei Ma, Cyrille Artho, and Hiroyuki Sato
    Improving automatic centralization by version separation.
    IPSJ Transactions on Programming, 6(4), December 2013.
  34. Kentaro Ishii, Haipeng Mi, Lei Ma, Natsuda Laokulrat, Masahiko Inami, Takeo Igarashi
    Pebbles: Tangible Devices for Designing Robot Navigation Routes.
    Computer Software Journal, August 2013.
  35. Lei Ma, Cyrille Artho, Hiroyuki Sato
    Analyzing distributed Java applications by automatic centralization.
    The IEEE 37th Annual Computer Software and Applications Conference Workshops, July 2013, Kyoto, Japan.(COMPSACW'13)
  36. Kentaro Ishii, Haipeng Mi, Lei Ma, Natsuda Laokulrat, Masahiko Inami, Takeo Igarashi
    Pebbles: User-Configurable Device Network for Robot Navigation.
    The 14th IFIP International Conference on Human-Computer Interaction, September 2013, Cape Town, South Africa. (INTERACT'13, CORE Rank A)
  37. Kentaro Ishii, Haipeng Mi, Lei Ma, Natsuda Laokulrat, Masahiko Inami, Takeo Igarashi
    Pebbles: an interactive configuration tool for indoor robot navigation.
    The 25th Annual ACM Symposium on User Interface Software and Technology, October 2012, Cambridge, MA, USA. (UIST'12, CORE Rank A)
  38. Lei Ma, Hiroyuki Sato
    An Annotated Type System for Inlining.
    The 2012 IPSJ Programming Language Workshop (PRO, Oral)

  • Testing Deep Learning System Towards Intelligence of Things
    Google Waterloo, Canada, June 5, 2019
  • Towards Quality Assurance of Deep Learning Systems
    The Software Engineering for Machine Learning Applications (SEMLA) International Symposium, Polytechnique Montreal, Canada, May 23 – 24, 2019
  • Software Testing of Deep Learning System: from the Past to the Future
    Japan Machine Learning Systems Engineering Community (MLSE, 日本機械学習工学研究会), Tokyo, Japan, April 26, 2019
  • DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems
    2018 National Software Application Conference of China (NASAC'18), Nov. 23, ShenZhen, China, 2018
  • Quality Assurance for Deep Learning System
    KTH Royal Institute of Technology, Stockholm, Sweden, Sep. 13, 2018
  • Deep Learning Quality Assurance in Industrial Scale
    2018 Nvidia NVAITC AI Symposium, Singapore, August 30, 2018
  • Program Analysis Guided Intelligent Automated Testing
    2017 National Software Testing Competition Symposium, Nanjing, China, October 25, 2017
  • A Comprehensive Study on Automated Testing
    National Institute of Advanced Industrial Science and Technology (AIST), Osaka, Japan, March 24, 2017
  • Program Analysis Guided Software Verification and Testing
    National Institute of Advanced Industrial Science and Technology (AIST), Osaka, Japan, March 13, 2016
  • Guided Random Testing: When Program Analysis Meets Automatic Test Generation
    Static Analysis Meets Runtime Verification NII Shonan Meeting, Shonan Village Center, Japan, March 15-19, 2015

2019

  • PC member, The 12th ACM Workshop On Artificial Intelligence and Security (AISec'19)
  • PC member, The 34rd IEEE/ACM International Conference on Automated Software Engineering (ASE'2019)
  • Organizing Comitte Member, The IEEE International Workshop on Machine Learning and Software Testing(MLST'2019)
  • Organizing Comitte Member, The IEEE International Workshop on Artificial Intelligence for Mobile (AI4Mobile)
  • PC Member, The 26th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER'19 ERA)
  • PC member, The 19th IEEE International Conference on Software Quality, Reliabiilty, and Security(QRS'2019)
  • PC member, 19th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'2019)
  • PC member, The 43th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC'19)
  • PC Member, International Symposium on Computing and Networking (CANDAR'19)
  • PC member, The 24th International Conference on Engineering of Complex Computer Systems(ICECCS'19)
  • PC member, The First International Workshop on Intelligent Bug Fixing (IBF'2019))
  • PC member, The 42th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC'19)
  • PC Member, IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (Mobile Cloud'19)
  • PC Member, The 19th IEEE International Conference on Scalable Computing and Communications (ScalCom'19)
  • Reviewer, IEEE Transactions on Software Engineering (TSE)
  • Reviewer, Journal of Software: Evolution and Process (JSME)
  • Reviewer, IEEE Access
  • Reviewer, Journal of Systems and Software (JSS)
  • Reviewer, The 16th International Conference on Mining Software Repositories (MSR'2019)

2018

  • Reviewer, The 11th ACM Workshop on Artificial Intelligence and Security (AISec'18)
  • Reviewer, IEEE Transactions on Reliability
  • Reviewer, The 15th International Conference on Managed Languages & Runtimes (ManLang'18)
  • Reviewer, The 25th ACM Conference on Computer and Communications Security (CCS'18)
  • Reviewer, The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE'18)
  • PC member, The 42th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC'18)
  • Reviewer, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'18)
  • Reviewer, ETAPS 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18)
  • PC Member, The 18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'18)
  • PC Member, IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (Mobile Cloud'18)
  • PC Member, The 18th IEEE International Conference on Scalable Computing and Communications (ScalCom'18)
  • PC Member, IEEE International Workshop on Validating Software Tests (VST'18)
  • PC Member, The 26th European Conference On Information Systems (ECIS'18)
  • PC member, The Exellent Ph.D Research Forum (NASAC'2018)
  • Reviewer, Springer Journal of Computer Virology and Hacking Techniques
  • PC member, The 18th International Conference on Advances in System Testing and Validation Lifecycle (VALID'18)
  • PC Member, International Symposium on Computing and Networking (CANDAR'18)

2017

  • Publicity Chair, The 24th International Conference on Engineering of Complex Computer Systems(ICECCS'17)
  • PC member, The 17th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'17)
  • Reviewer, Elsevier Journal of Systems and Software (JSS)
  • PC member, The 41th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC'17)
  • Publication Chair & PC Member, IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (Mobile Cloud'17)
  • PC member, The Eighth International Conference on Advances in System Testing and Validation Lifecycle (VALID'17)
  • PC Member, International Symposium on Computing and Networking (CANDAR'17)
  • IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER): 2018, 2019

2016 & 2015

  • External reviewer tool track, The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE'16)
  • PC member, The Eighth International Conference on Advances in System Testing and Validation Lifecycle (VALID'16)
  • PC Member, IEEE International Workshop on Validating Software Tests (VST'16)
  • Publication Chair & PC Member, IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (Mobile Cloud'16)
  • Technical reviewer, International Conference on Formal Aspects of Component Software (FACS'16)
  • Reviewer, Elsevier Science of Computer Programming Journal (FTSCS'16)
  • Tool Panel Member, International Workshop on Search-Based Software Testing (SBST'15)
  • ACM SIGSOFT Distinguished Paper Award (ASE'18)
  • ACM SIGSOFT Distinguished Paper Award (ASE'15)
  • 2018 Baidu-NASAC Academic Star Award
  • ACM FOSS Impact Paper Award (MSR'18)
  • Leadership Award (ICECCS'17)
  • IEEE Best Presentation Award (ICST'17)
  • IEEE Best Candidate Paper Award (SANER'16)
  • IEEE Best Paper Award(HotWeb'15)
  • IEEE Best Testing Tool Award (SBST'15)
  • Best Oral Presentation Award (ICCSIT'13)
  • JASSO Hornor scholoarship (2013-2014)
  • JASSO Hornor scholoarship (2011-2012)
  • MEXT Scholarship sponsored by Japanese Government (2009-2010)
  • Excellent Academic Scholarship of Shanghai Jiao Tong University (2005-2009)



Language Skills: Chinese (Native), English (Proficient, GRE: V+Q=1440/1600), Japanese (Business level)