Zhao Jianjun

J-GLOBAL         Last updated: Feb 22, 2019 at 14:26
 
Avatar
Name
Zhao Jianjun
URL
http://stap.ait.kyushu-u.ac.jp/~zhao/
Affiliation
Kyushu University
Section
Faculty of Information Science and Electrical Engineering
Job title
Professor
Degree
Ph.D.(Kyushu University)

Profile

Jianjun Zhao received a B.E. degree in Computer Science from Tsinghua University (China) in 1987, and a Ph.D. degree in Computer Science from Kyushu University (Japan) in 1997. After receiving his Ph.D., he joined the Department of Computer Science and Engineering, Fukuoka Institute of Technology (Japan) as an Assistant Professor, and then was promoted to be an Associate Professor in 2000. Since November 2005, he had been with the School of Software, and then the Department of Computer Science and Engineering, Shanghai Jiao Tong University (China) as a Professor where he led the STAP Group. From April, 2016, he joined the Faculty of Information Science and Electrical Engineering, Kyushu University as a Professor where he leads Pangu Research Lab. He is also a visiting scientist working with Professor Martin Rinard in the MIT Laboratory for Computer Science (USA) from April 2002 to March 2003, a guest professor of National Institute of Informatics (Japan) from April 2012 to March 2017, and a visiting professor of Shanghai Jiao Tong University (China) since 2016.

Research Areas

 
 
  • Informatics / Software / Deep Learning System Engineering
  • Informatics / Software / Software Engineering
  • Informatics / Software / Programming Language

Academic & Professional Experience

 
Apr 2016
 - 
Today
Professor, Faculty of Information Science and Electrical Engineering, Kyushu University
 
Apr 2012
 - 
Mar 2017
Guest Professor, National Institute of Imformatics
 
Jun 2015
 - 
Mar 2016
Professor, Department of Computer Science and Engineering, Shanghai Jiao Tong University
 
Nov 2005
 - 
May 2015
Professor, School of Software, Shanghai Jiao Tong University
 
Apr 2000
 - 
Oct 2005
Associate Professor, Department of Computer Science and Engineering, Fukuoka Institute of Technology
 

Education

 
Apr 1994
 - 
Mar 1997
Ph.D. Student, Graduate School of Information Science and Electrical Engineering, Kyushu University
 
Apr 1993
 - 
Mar 1994
Research Student, Department of Computer Science and Communication Engineering, Kyushu University
 
Sep 1982
 - 
Jul 1987
Bachelor Degree, Department of Computer Science and Technology, Tsinghua University
 

Awards & Honors

 
Sep 2018
DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems, ACM SIGSOFT Distinguished Paper Award, ASE 2018
 
Mar 2016
Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs, Best Paper Candidate Award, SANER 2016
 
2010
Checking Serializability Consistency for Concurrent X10 Programs, X10 Inovation Award, IBM
 

Published Papers

 
DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems
Lei Ma, Felix Juefei-Xu, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao
   Feb 2019   [Refereed]
Lei Ma,Felix Juefei-Xu,Minhui Xue,Qiang Hu,Sen Chen,Bo Li,Yang Liu,Jianjun Zhao,Jianxiong Yin,Simon See
CoRR   abs/1810.04538    2018
Xiaofei Xie,Lei Ma,Felix Juefei-Xu,Hongxu Chen,Minhui Xue,Bo Li,Yang Liu,Jianjun Zhao,Jianxiong Yin,Simon See
CoRR   abs/1809.01266    2018
Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
Proc. 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018)      Oct 2018   [Refereed]
Gefei Zhang,Jianjun Zhao
The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018.   403-402   2018   [Refereed]
Lei Ma,Felix Juefei-Xu,Fuyuan Zhang,Jiyuan Sun,Minhui Xue,Bo Li,Chunyang Chen,Ting Su,Li Li,Yang Liu 0003,Jianjun Zhao,Yadong Wang
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018   120-131   2018   [Refereed]
Anil Kumar Karna,Yuting Chen,Haibo Yu 0001,Hao Zhong,Jianjun Zhao
Frontiers Comput. Sci.   12(4) 642-668   2018   [Refereed]
Anil Kumar Karna,Jinbo Du,Haihao Shen,Hao Zhong,Jiong Gong,Haibo Yu,Xiangning Ma,Jianjun Zhao
Frontiers Comput. Sci.   12(1) 86-100   2018   [Refereed]
Ziyi Lin,Yilei Zhou,Hao Zhong,Yuting Chen,Haibo Yu,Jianjun Zhao
IEICE Transactions   100-D(3) 473-482   2017   [Refereed]
Xiao Cheng,Zhiming Peng,Lingxiao Jiang,Hao Zhong,Haibo Yu,Jianjun Zhao
IEICE Transactions   100-D(2) 273-284   2017   [Refereed]
Jiabin Ye,Cheng Zhang,Lei Ma 0003,Haibo Yu 0001,Jianjun Zhao
IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, Suita, Osaka, Japan, March 14-18, 2016 - Volume 1   449-459   2016   [Refereed]
Xiao Cheng,Yuting Chen,Zhenjiang Hu,Tao Zan,Mengyu Liu,Array,Jianjun Zhao
IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, Suita, Osaka, Japan, March 14-18, 2016 - Volume 1   13-23   2016   [Refereed]
Yuting Chen,Ting Su,Chengnian Sun,Zhendong Su,Jianjun Zhao
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016   85-99   2016   [Refereed]
Xiao Cheng,Zhiming Peng,Lingxiao Jiang,Array,Haibo Yu 0001,Jianjun Zhao
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016   696-701   2016   [Refereed]
Ziyi Lin,Array,Yuting Chen,Jianjun Zhao
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016   368-378   2016   [Refereed]
Xiao Cheng,Lingxiao Jiang,Hao Zhong,Haibo Yu 0001,Jianjun Zhao
Proceedings of the 5th International Workshop on Software Mining, SoftwareMining@ASE 2016, Singapore, Singapore, September 3, 2016   39-42   2016   [Refereed]
Lei Ma 0003,Cheng Zhang,Bing Yu,Jianjun Zhao
24th IEEE International Conference on Program Comprehension, ICPC 2016, Austin, TX, USA, May 16-17, 2016   1-4   2016   [Refereed]
Xiao Cheng,Array,Yuting Chen,Zhenjiang Hu,Jianjun Zhao
24th IEEE International Conference on Program Comprehension, ICPC 2016, Austin, TX, USA, May 16-17, 2016   1-10   2016   [Refereed]
Fei Lv 0002,Hongyu Zhang,Jian-Guang Lou,Shaowei Wang,Dongmei Zhang,Jianjun Zhao
30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015   260-270   2015   [Refereed]
Ziyi Lin,Darko Marinov,Array,Yuting Chen,Jianjun Zhao
30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015   178-189   2015   [Refereed]

Misc

 
Static Slicing of Concurrent Object-Oriented Programs
Proceedings of CompSAC '96 IEEE Conputer Society Press      1996
Program Dependence Analysis of Concurrent Logic Programs and its Applications
Proceedings of ICPADS '96 IEEE Computer Society Press      1996
Applying Slicing Technique to Software Architectures
IEEE Computer Society Press, Proceedings of Fouth IEEE International Conference on Engineering of Complex Computer systems   87-98   1998
On Assessing the Complexity of Software Architectures
Proceedings of 3rd International Software Architecture Workshop, ACM Press   163-166   1998
A Metrics Suite for Concurrent Logic Programs
Proceedings of 2nd Euromicro Conference on Software Maintence and Reengineering, IEEE Computer Society Press      1998

Research Grants & Projects

 
Crowd Knowledge Ecosystems for Automatic Bug Fixing
The Japan Society for the Promotion of Science (JSPS): Grants-in-Aid for Scientific Research (A)
Project Year: Apr 2018 - Mar 2022    Investigator(s): UBAYASHI Naoyasu
Dependence Analysis of Reactive Programs and Its Applications
The Japan Society for the Promotion of Science (JSPS): Grant-in-Aid for Research Activity start-up
Project Year: Aug 2016 - Mar 2018    Investigator(s): Jianjun Zhao
Integrated Software Development Environment Based on Dependence Theory of Aspect-Oriented Programs
The Japan Society for the Promotion of Science (JSPS): Grants-in-Aid for Scientific Research (C)
Project Year: Apr 2005 - Dec 2005    Investigator(s): Jianjun Zhao
Research on Dependence Analysis of Aspect-Oriented Programs and Its Applications
The Japan Society for the Promotion of Science (JSPS): Grants-in-Aid for Scientific Research (C)
Project Year: Apr 2003 - Mar 2005    Investigator(s): Zhao Jianjun
Integrated Software Development Environment Based on Dependence Theory of Software Architectures
The Japan Society for the Promotion of Science (JSPS): Grant-in-Aid for Young Scientists (B)
Project Year: Apr 2001 - Mar 2003    Investigator(s): Zhao Jianjun
Dependence Analysis of Software Architectures and Its Applications
The Japan Society for the Promotion of Science (JSPS): Grant-in-Aid for Encouragement of Young Scientists (A)
Project Year: Apr 1999 - Mar 2001    Investigator(s): Zhao Jianjun