Rchr
J-GLOBAL ID：200901087977048750   Update date: Feb. 01, 2024

Zhao Jianjun

趙 建軍 | Zhao Jianjun
Affiliation and department：
Kyushu University Faculty of Information Science and Electrical Engineering

About Kyushu University Faculty of Information Science and Electrical Engineering


Job title： Professor
Homepage URL  (1)： http://stap.ait.kyushu-u.ac.jp/~zhao/
Research field  (3)： Software ,  Software ,  Software
Research keywords  (8)： Automatic Code Generation ,  Automatic bug repair ,  プログラムデバッグ ,  Software Testing ,  Deep Learning Testing ,  Deep Learning System Analysis ,  Program Verification ,  Program Analysis
Research theme for competitive and other funds  (9)：
  • 2021 - 2024 Constructing Integrated Development Environment for Highly Reliable Probabilistic Programs
  • 2020 - 2023 Comprehensive Analysis and Repairing Techniques for Stateful Deep Learning Systems
  • 2019 - 2022 Automated Testing of Deep Learning Systems
  • 2018 - 2022 Crowd Knowledge Ecosystems for Automatic Bug Fixing
  • 2016 - 2018 Dependence Analysis of Reactive Programs and Its Applications
Show all
Papers (135)：
  • Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma 0003, Ichiro Hasuo, Jianjun Zhao. FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. IEEE Trans. Software Eng. 2023. 49. 4. 1842-1859
  • 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
  • Pengzhan Zhao, Jianjun Zhao, Zhongtao Miao, Shuhan Lan. Bugs4Q: A Benchmark of Real Bugs for Quantum Programs. 2021
  • Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao. Learning to Adversarially Blur Visual Object Tracking. CoRR. 2021. abs/2107.12085
  • Ziyi Cheng, Xuhong Ren, Felix Juefei-Xu, Wanli Xue, Qing Guo, Lei Ma, Jianjun Zhao. DeepMix: Online Auto Data Augmentation for Robust Visual Object Tracking. CoRR. 2021. abs/2104.11585
ｍore...
MISC (20)：
  • ZHAO Jianjun. SpecJ: Towards Adding Contracts to Java. IPSJ SIG Notes. 2005. 2005. 75. 33-39
  • ZHAO Jianjun. Cohesion Measures for Aspect - Oriented Programs. IPSJ SIG Notes. 2004. 2004. 30. 201-208
  • ZHAO Jianjun. Unit Testing for Aspect - Oriented Programs. IPSJ SIG Notes. 2003. 2003. 60. 31-38
  • ZHAO Jianjun. Coupling Measurement in Aspect - Oriented Systems. Technical Report SE-142-6. 2003. 2003. 60. 39-44
  • ZHAO Jianjun. Data Flow Testing of Aspects. IPSJ SIG Notes. 2002. 2002. 23. 195-202
ｍore...
Education (3)：
  • 1994 - 1997 Kyushu University Graduate School of Information Science and Electrical Engineering Ph.D. Student
  • 1993 - 1994 Kyushu University Department of Computer Science and Communication Engineering Research Student
  • 1982 - 1987 Tsinghua University Department of Computer Science and Technology Bachelor Degree
Professional career (1)：
  • Ph.D. (Kyushu University)
Work history (8)：
  • 2016/04 - 現在 Kyushu University Faculty of Information Science and Electrical Engineering Professor
  • 2012/04 - 2017/03 National Institute of Imformatics Guest Professor
  • 2015/06 - 2016/03 Shanghai Jiao Tong University Department of Computer Science and Engineering Professor
  • 2005/11 - 2015/05 Shanghai Jiao Tong University School of Software Professor
  • 2000/04 - 2005/10 Fukuoka Institute of Technology Department of Computer Science and Engineering Associate Professor
Show all
Committee career (28)：
  • 2022 - 2022 SANER 2022 Program Committee Member
  • 2022 - 2022 Q-SANER 2022 Program Committee Member
  • 2022 - 2022 Q-SE 2022 Program Committee Co-Chair
  • 2021 - 2021 ICECCS 2021 Program Committee Member
  • 2021 - 2021 ESEC/FSE 2021 Program Committee Member
Show all
Awards (4)：
  • 2020/12 - APSEC 2020 Best Paper Award An Empirical Study on Robustness of DNNs with Out-of-Distribution Awareness
  • 2018/09 - ASE 2018 ACM SIGSOFT Distinguished Paper Award DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems
  • 2016/03 - SANER 2016 Best Paper Candidate Award Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs
  • 2010 - IBM X10 Inovation Award Checking Serializability Consistency for Concurrent X10 Programs
Association Membership(s) (5)：
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS ,  ACM ,  IEEE Computer Society ,  JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY ,  INFORMATION PROCESSING SOCIETY OF JAPAN
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM