LEI MA

マーライ | LEI MA

Affiliation and department：
Homepage URL (1)： http://www.malei.xyz

Research field (1)： Software

Research keywords (6)：ソフトウェア検証 , 深層学習システム解析 , 深層学習信頼性と品質保証 , 深層学習テスト , ソフトウェアテスト , 機械学習工学

Research theme for competitive and other funds (4)：

2021 - 2025 機械がバグを修正する時代-擬似オラクル生成・適用と自動バグ修正技術の深化
2020 - 2023 Comprehensive Analysis and Repairing Techniques for Stateful Deep Learning Systems
2019 - 2022 深層学習システムの自動テスト技術の確立
2019 - 2021 深層学習システムの大規模展開に向けた差動テスト技術に関する研究

Papers (55)：

Deyun Lyu, Jiayang Song, Zhenya Zhang, Zhijie Wang, Tianyi Zhang 0001, Lei Ma 0003, Jianjun Zhao 0001. AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions. CoRR. 2023. abs/2304.05617
Hua Qi, Zhijie Wang, Qing Guo 0005, Jianlang Chen, Felix Juefei-Xu, Lei Ma 0003, Jianjun Zhao. ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks. CoRR. 2021. abs/2111.13330
Ziyi Cheng, Xuhong Ren, Felix Juefei-Xu, Wanli Xue, Qing Guo 0005, Lei Ma 0003, Jianjun Zhao. DeepMix: Online Auto Data Augmentation for Robust Visual Object Tracking. CoRR. 2021. abs/2104.11585
Qing Guo 0005, Jingyang Sun, Felix Juefei-Xu, Lei Ma 0003, Xiaofei Xie, Wei Feng 0005, Yang Liu 0003, Jianjun Zhao. EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining. Thirty-Fifth AAAI Conference on Artificial Intelligence(AAAI). 2021. 1487-1495
Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. Software Testing, Verification and Reliability. 2020. 30. 7-8

ｍore...

MISC (1)：

Lectures and oral presentations (20)：

Towards Quality and Reliability Assurance of Deep Learning
(Dagstuhl Seminar 20091:SE4ML - Software Engineering for AI-ML-based Systems, Gemerany February 23-28, 2020)
Towards Analyzing Stateful Deep Learning System
(University of British Columbia, Canada, Dec.13, 2019)
Testing and Analysis of Deep Learning Systems
(Canadian IVADO Training Program on Software Engineering for Machine Learning Applications, Montreal Canada March 2-6, 2020.)
Quality and Reliability for Machine Learning Systems
(Celebration of ASE 2019, 10 Nov. San Diego, California, USA, 2019)
DeepStellar: Analysis of Stateful Deep Learning Systems
(JST ERATO MMSD (Metamathematics for System Design) Project, Tokyo, Japan, 7 Nov. 2019)

ｍore...

Work history (10)：

Show all

Committee career (21)：

Show all

Awards (10)：

2019/11 - ACM SIGSOFT Distinguished Paper Award (ASE'2019): Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning
2018/11 - 2018 Baidu-NASAC Academic Star Award
2018/09 - ACM SIGSOFT Distinguished Paper Award (ASE'2018): DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems
2018/05 - ACM FOSS Impact Paper Award (MSR'2018): Characterising Deprecated Android APIs
2017/11 - Leadership Award (ICECCS'2017)

Show all

Association Membership(s) (5)：

IEEE , ACM SIGAI , ACM SIGSOFT , IEEE Computer Society , ACM

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page