Lei Ma

Ph.D. (The University of Tokyo), ACM member, IEEE member
Associate Professor
School of Computer Science and Technology
Harbin Institute of Technology
92 West Dazhi Street, Nan Gang District,Harbin, China,150001
Office: Room 318, Zonghe Building, Harbin Institute of Technology
Email:
Tel: +86-15645073255

News

(08/2018) Our paper DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems receive the ACM SIGSOFT Distinguished Paper Award in ASE'18.

(08/2018) Our paper DeepMutation: Mutation Testing of Deep Learning Systems is accepted at ISSRE'18

(07/2018) Our paper DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems is accepted at ASE'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!

(05/2018) Our paper Characterising Deprecated Android APIs won the FOSS Impact Paper Award in MSR'18.

(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!

(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!

(01/2018) Our paper Characterising Deprecated Android APIs has been accepted to appear in MSR'18.

(03/2017) Our paper Model-based API Testing of Apache ZooKeeper won the IEEE Best Presentation Award at ICST'17.

(07/2016) Our paper Runtime monitoring for concurrent systems has been accepted to appear in RV'16.

(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).

(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.

(11/2015) Our paper GRT: Program-analysis-guided Random Testing won the ACM SIGSOFT Distinguished Paper Award at ASE'15.

(11/2015) Our paper Incremental Web Application Testing using Page Object won the IEEE Best Paper Award at HotWeb'15.

About Me

Currently, I'm an Associate Professor in the School of Computer Science and Technolog at Harbin Institute of Technology. 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 an 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 joined in Harbin Institute of Technology through Young Talents Plan.

Research

I love theories, but I like even more to transfer theories into practice!
I have several reserach interests and working directions. My current major research interest mainly focuses on general purpose quality assurance for deep learning systems. I believe the robust deep learning sytem would be the key driving force for novel technology of next generation. It does not solely reply on the foundational research from machine learning community, it also highly requires the contribution from software engineering community, etc; the novel interdisplinary direction could be called Machine Learning Engineering, an extremely exciting and demanding area of the future! We have conducted consecutive works along the general purpose quality assurance of DL systems (i.e., testing, analysis, verification, defenses), to abridge vast demands from industry application and the academia research. Exciting results would be continously updated!
In the past, my research interest mainly lies around software engineering and programming language, in particular automated software testing, verification, analsyis, evolution, mining, etc. I am also working on green computation and optimization solutions for cloud and big data centers.

Selected Publication

Professional Activity

Award

  • ACM SIGSOFT Distinguished Paper Award (ASE'18)
  • FOSS Impact Paper Award (MSR'18)
  • Leadership Award (ICECCS'17)
  • IEEE Best Presentation Award (ICST'17)
  • IEEE Best Candidate Paper Award (SANER'16)
  • ACM SIGSOFT Distinguished Paper Award (ASE'15)
  • IEEE Best Paper Award(HotWeb'15)
  • IEEE Best Testing Tool Award (SBST'15)
  • Best Oral Presentation Award (ICCSIT'13)
  • JASSO Hornor scholoarship (2011-2012)
  • JASSO Hornor scholoarship (2013-2014)
  • MEXT Scholarship sponsored by Japanese Government (2009-2010)
  • Excellent Academic Scholarship of Shanghai Jiao Tong University (2005-2009)
  • Project & Funding

    Current

  • Principle Investigator. National Fundamental Research Funds for the Central Universities, 200,000 RMB, 2016-2018
  • Past

  • Project Member. Japan Science and Technology Agency Kiban A project. 2011-2016
  • Project Member. Japan Science and Technology Agency Kiban B project. 2014-2017
  • Principle Investigator. Global COE Program Fund, Japan’s Ministry of Education, Culture, Sports, Science and Technology. 2011-2014
  • Research Assistant, ERATO Igarashi Design Interface Project, Japan Science and Technology Agency. 2011-2012
  • Teaching

    Language Skills

    Language Skills: Chinese (Native), English (Proficient, GRE: V+Q=1440/1600), Japanese (Business level)
    This page was last updated on 08/24/2018.