九州大学 研究者情報
研究者情報 (研究者の方へ)入力に際してお困りですか?
基本情報 研究活動 教育活動 社会活動
趙 建軍(ちょう けんぐん) データ更新日:2020.01.28

教授 /  システム情報科学研究院 情報知能工学部門 高度ソフトウェア工学


主な研究テーマ
ソフトウェア工学とプログラミング言語
キーワード:プログラム解析、ソフトウェアテスト、プログラミング開発環境、自動プログラミング
2016.04.
人工知能
キーワード:深層学習システム、信頼性と安全性保証
2017.10.
従事しているプロジェクト研究
The Whole Life-Cycle Evaluation and Assurance Methodologies for Open Source Ecosystem Based Internetware Software (The National Basic Research Program of China, 973 Program)
2015.01~2019.12, 代表者:趙 建軍, Shanghai Jiao Tong University, Ministry of Science and Technology of the People´s Republic of China.
研究業績
主要著書
1. Jianjun Zhao, Limin Xiang, "Architectural Slicing to Support System Evolution" in In Khaled M. Khan and Yan Zhang (Eds.) "Managing Corporate Information Systems Evolution and Maintenance,", Idea Group Publishing, Chapter 8, pp.197-210, 2005.01.
主要原著論文
1. 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 (ESEC/FSE 2019), 2019.08.
2. Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, and Simon See, DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks, The 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2019), 2019.07.
3. Chao Xie, Hua Qi, Lei Ma, and Jianjun Zhao, DeepVisual: A Visual Programming Tool for Deep Learning Systems, The 27th IEEE/ACM International Conference on Program Comprehension (ICPC 2019), 130-134, 2019.05.
4. Chao Xie, Hua Qi, Lei Ma, and Jianjun Zhao, API Recommendation for Event-Driven Android Application Development, Information and Software Technology, 30-47, 2019.03.
5. Lei Ma, Felix Juefei-Xu, Minhui Xue, Bo Li, Li Li, Yang Liu, and Jianjun Zhao, DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems, The 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019), 535-539, 2019.02.
6. Qiang Hu, Lei Ma, and Jianjun Zhao, DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models, The 25th Asia-Pacific Software Engineering Conference (APSEC 2018), 628-632, 2018.12.
7. 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, 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018), 100-111, 2018.10.
8. Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Chunyang Chen, Ting Su, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang, DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems, The 33th IEEE/ACM Conference on Automated Software Engineering (ASE 2018), 368-378, 2018.09, Deep learning (DL) defines a new data-driven programming paradigm that constructs the internal system logic of a crafted neuron network through a set of training data. We have seen wide adoption of DL in many safety-critical scenarios. However, a plethora of studies have shown that the state-of- the-art DL systems suffer from various vulnerabilities which can lead to severe consequences when applied to real-world applications. Currently, the testing adequacy of a DL system is usually measured by the accuracy of test data. Considering the limitation of accessible high quality test data, good accuracy performance on test data can hardly provide confidence to the testing adequacy and generality of DL systems. Unlike traditional software systems that have clear and controllable logic and functionality, the lack of interpretability in a DL system makes system analysis and defect detection difficult, which could potentially hinder its real-world deployment. In this paper, we propose DeepGauge, a set of multi-granularity testing criteria for DL systems, which aims at rendering a multi-faceted portrayal of the testbed. The in-depth evaluation of our proposed testing criteria is demonstrated on two well-known datasets, five DL systems, and with four state-of-the-art adversarial attack techniques against DL. The potential usefulness of DeepGauge sheds light on the construction of more generic and robust DL systems..
9. Anil Karna, Yuting Chen, Haibo Yu, Hao Zhong, Jianjun Zhao, The Role of Model Checking in Software Engineering, Frontiers of Computer Science, 12, 4, 642-668, 2018.08.
10. Gefei Zhang and Jianjun Zhao., Visualizing Interactions in AngularJS-based Single Page Web Applications, The 30th International Conference on Software Engineering & Knowledge Engineering (SEKE 2018), 2018.07.
11. Anil Karna, Jinbo Du, Haihao Shen, Hao Zhong, Jiong Gong, Haibo Yu, Xiangning Ma, Jianjun Zhao, Tuning Parallel Symbolic Execution Engine for Better Performance, Frontiers of Computer Science, 12, 1, 88-100, 2018.02.
12. Ziyi Lin, Yilei Zhou, Hao Zhong, Yuting Chen, Haibo Yu, Jianjun Zhao, SPDebugger: A Fine-grained Deterministic Debugger for Concurrency Code, The IEICE Transactions on Information and Systems, Vol. E100-D, No. 3, 473-482, 2017.03.
13. Xiao Cheng, Zhiming Peng, Lingxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao, CLCMiner: Detecting Cross-Language Clones without Intermediates, The IEICE Transactions on Information and Systems, Vol. E100-D, No. 2, 273-284, 2017.02.
14. Ziyi Lin, Hao Zhong, Yuting Chen, Jianjun Zhao, LockPeeker: Detecting Latent Locks in Java APIs, The 31th IEEE/ACM Conference on Automated Software Engineering (ASE 2016), 368-378, 2016.09.
15. Xiao Cheng, Zhiming Peng, Linxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao, Detecting Cross-Language Clones Without Intermediates, The 31th IEEE/ACM Conference on Automated Software Engineering (ASE 2016) (Short Paper), 696-701, 2016.09.
16. Xiao Cheng, Linxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao, On the Feasibility of Detecting Cross-Platform Code Clones via Identifier Similarity, The Fifth International Workshop on Software Mining (SoftwareMining 2016, co-located with ASE 2016) , 39-42, 2016.09.
17. Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao, Coverage-Directed Differential Testing of JVM Implementations, The ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2016), 85-99, 2016.06.
18. Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao, Rule-Directed Code Clone Synchronization, The 24th International Conference on Program Comprehension (ICPC 2016), 2016.05.
19. Lei Ma, Bing Yu, Cheng Zhang, Jianjun Zhao, Retrofitting Automatic Testing through Library Tests Reusing, The 24th International Conference on Program Comprehension (ICPC 2016), (Short paper), 2016.05.
20. Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao, Supporting Selective Undo for Refactoring, The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), 13-23, 2016.03.
21. Jiabin Ye, Cheng Zhang, Lei Ma, Haibo Yu, Jianjun Zhao, Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs, The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (Best Paper Candidate Award), 449-459, 2016.03, JavaScript is the de facto dominant programming language for developing web applications. Most popular websites are using JavaScript, especially to develop client-side features. Being syntactically flexible and highly dynamic, JavaScript is easy to use and productive, but its code is known to be less maintainable. The task of maintaining client-side JavaScript code is further complicated by the pervasive interactions between JavaScript code and HTML elements, through browsers. In this paper, we present JS-Slicer, a dynamic slicer for JavaScript, to ease the task of understanding and debugging practical client-side JavaScript code. JS-Slicer defines three types of dependences, including data dependences, control dependences, and DOM dependences, to capture all relationships between program elements. JS-Slicer extends a novel dynamic analysis framework and combines dynamic and static analysis to precisely capture the dependences at run-time. A lot of language specific issues are properly handled, which enables JS-Slicer to slice practical JavaScript code. Our evaluation on six real-world web applications and JavaScript libraries shows that JS-Slicer is both precise and efficient: on average it captures around 40K dependences in 2.5K lines of code, in less than 3.0 seconds..
22. Ziyi Lin, Darko Maninov, Hao Zhong, Yuting Chen, Jianjun Zhao, JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs, The 30th IEEE/ACM Conference on Automated Software Engineering (ASE 2015), 71-80, 2015.11.
23. Fei Lv, Hongyu Zhang, Jianguang Lou, Shaowei Wang, Dongmei Zhang, Jianjun Zhao, CodeHow: Effective Code Search Based on API Understanding and Extended Boolean, The 30th IEEE/ACM Conference on Automated Software Engineering (ASE 2015), 260-270, 2015.11.
24. Christoph Bockisch, Marnix van ’t Riet, Haihan Yin, Mehmet Aksit, Ziyi Lin, Yuting Chen, Jianjun Zhao, Trace-based Debugging for Advanced-Dispatching Programming Languages, The 10th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop (ICOOOLPS 2015), co-located with ECOOP 2015, 2015.07.
25. Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, Jianjun Zhao, Extracting URLs from JavaScript via program analysis, The 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013), New Ideas Track, 2013.08.
26. Qiang Sun, Yuting Chen, Jianjun Zhao, Constraint-Based Locality Analysis for X10 Programs, The ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM 2013), 137-146, 2013.01.
27. Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, Peizhao Ou, Automatic Parameter Recommendation for Practical API Usage, The 34th International Conference on Software Engineering (ICSE 2012), 826-836, 2012.06.
28. Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, Yuting Chen, Frequency Estimation of Virtual Call Targets for Object-Oriented Programs, Proc. 25th European Conference on Object-Oriented Programming (ECOOP 2011), 510-532, 2011.07.
29. Qiang Sun, Jianjun Zhao, Yuting Chen, Probabilistic Points-to Analysis for Java, The 2011 International Conference on Compiler Construction (CC 2011), 62-81, 2011.03.
30. Cheng Zhang, Dacong Yan, Shengqian Yang, Jianjun Zhao, Yuting Chen, BPGen: An Automated Breakpoint Generator for Debugging, 32th International Conference on Software Engineering (ICSE 2010), Formal Demonstration Track, 171-174, Vol.2, 2010.05.
31. Qingzhou Luo, Sai Zhang, Jianjun Zhao, Min Hu, A Lightweight and Portable Approach to Making Concurrent Failures Reproducible, The Fundamental Approaches to Software Engineering (FASE 2010), 323-337, 2010.03.
32. Yu Lin, Xucheng Tang, Yuting Chen, Jianjun Zhao, A Divergence-Orietned Approach to Adaptive Random Testing of Java Programs, The 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 221-232, 2009.11.
33. Martin Gorg, Jianjun Zhao, Identifying Semantic Differences in AspectJ Programs, The ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA 2009), 25-36, 2009.07.
34. Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao, Effective Identification of Failure-Inducing Changes: A Hybrid Approach, The 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2008), 77-83, 2008.11.
35. Haibo Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Rao, XFindBugs: eXtended FindBugs for AspectJ, The 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2008), 70-76, 2008.11.
36. Tao Xie, Jianjun Zhao, A Framework and Tool Supports for Generating Test Inputs of AspectJ Programs, The 5th International Conference on Aspect-Oriented Software Development (AOSD 2006), 190-201, 2006.03.
37. Jianjun Zhao, Hongji Yang, Limin Xiang, Baowen Xu, Change Impact Analysis to Support Architectural Evolution, Journal of Software Maintenance and Evolution: Research and Practice, Vol.14, No.5, 317-333, 2002.01.
主要総説, 論評, 解説, 書評, 報告書等
主要学会発表等
作品・ソフトウェア・データベース等
1. Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, Peizhao Ou, Precise: Automatic Parameter Recommendation for Practical API Usage, 2012.06.
学会活動
所属学会名
日本ソフトウェア科学会
情報処理学会
電子情報通信学会
China Computer Federation (CCF)
ACM (SIGSOFT)
IEEE Computer Society
学協会役員等への就任
2018.06~2018.06, 電子情報通信学会ソフトウェアサイエンス研究会, 運営委員.
2015.12, ACM SIGSOFT 中国支部 (CSOFT) , 運営委員.
2015.10~2018.09, 中国計算機学会ソフトウェア工学専門委員会, 副会長.
学会大会・会議・シンポジウム等における役割
2020.05.23~2020.05.29, The 42th International Conference on Software Engineering (ICSE 2020), Program Committee Member.
2019.11.11~2019.11.15, The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Program Committee Member.
2019.10.29~2019.10.30, The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019) , General Co-Chair.
2019.10.28~2019.10.29, The 11th Asia-Pacific Symposium on Internetware (Internetware 2019), General Co-Chair.
2019.09.03~2019.09.07, The 33rd IEEE/ACM International Conference on Automated Software Engineering, Program Committee Member for Tool Demo Track.
2019.08.26~2019.08.30, The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019), Program Committee Member.
2019.06.26~2019.06.28, The 18th International Conference on Software and Systems Reuse (ICSR 2019), Program Committee Member.
2019.04.23~2019.04.23, 1st IEEE International Workshop on Machine Learning and Software Testing (MLST 2019), Co-Organizer.
2018.09.23~2018.09.24, 18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2018), Program Committee Member.
2018.09.16~2018.09.16, The 10th Asia-Pacific Symposium on Internetware (Internetware 2018), Program Committee Member.
2018.09.12~2018.09.14, 15th International Conference on Managed Languages & Runtimes (ManLang 2018) , Program Committee Member.
2018.05.26~2018.06.02, The 40th International Conference on Software Engineering (ICSE 2018), Program Board Member.
2017.11.05~2017.11.08, The 22th International Conference on Engineering of Complex Computer Systems, General Co-Chair.
2017.11.03~2017.11.05, The 16th China National Software Application Conference (NASAC 2017), Steering Committee Member, Program Committee Member.
2017.10.23~2017.10.23, CoCoS 2017 Workshop on Comprehension of Complex Systems, Program Committee Member.
2017.09.25~2017.09.29, 14th International Conference on Managed Languages & Runtimes (ManLang 2017) (formerly PPPJ), Program Committee Member.
2017.09.24~2017.09.29, The 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME 2017) , Doctoral Symposium Co-Chair.
2017.09.24~2017.09.29, The 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME-NIER 2017), Program Committee Member.
2017.09.17~2017.09.18, 17th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2017), Program Committee Co-Chair.
2017.07.26~2017.07.28, The 2017 IEEE International Conference on Software Quality, Reliability & Security (QRS 2017), Program Committee Member.
2017.07.16~2017.07.20, The 18h IEEE International Conference on Software Quality, Reliability & Security (QRS 2018), Program Committee Member.
2017.07.04~2017.07.08, EATA Symposia oftThe 41th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2017), Program Committee Member.
2017.07.04~2017.07.08, The COMPSAC 2017 symposium on IT in Practice (ITiP), Program Committee Member.
2016.11.03~2016.11.04, The Annual Conference on Software Analysis, Testing and Evolution (SATE 2016), Advisory Committee Member, Program Committee Member.
2016.11.03~2016.11.05, The 15th China National Software Application Conference (NASAC 2016), Steering Committee Member.
2016.10.02~2016.10.10, The 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME 2016) (Early Research Achievements Track), Program Committee Member.
2016.09.18~2016.09.18, The Eighth Asia-Pacific Symposium on Internetware (Internetware 2016), Program Committee Co-Chair.
2016.08.29~2016.09.02, 2016 International Conference on Principles and Practices of Programming on the Java Platform: virtual machines, languages, and tools (PPPJ 2016), Program Committee Member.
2016.08.01~2016.08.03, The 2016 IEEE International Conference on Software Quality, Reliability & Security (QRS 2016), Program Committee Member.
2016.06.10~2016.06.14, The 40th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2016), Program Committee Member.
2015.10.26~2015.10.26, The 13th International Workshop on Dynamic Analysis (WODA 2015), Program Committee Member.
2015.09.08~2016.09.10, 2015 International Conference on Principles and Practices of Programming on the Java Platform: virtual machines, languages, and tools (PPPJ 2015), Program Committee Member.
2015.08.30~2015.09.04, The 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015), Program Committee Member.
2015.08.03~2015.08.05, The 2015 IEEE International Conference on Software Quality, Reliability & Security (QRS 2015), Program Committee Member.
2015.07.01~2015.07.05, The 39th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2015), Program Committee Member.
2015.05.04~2015.05.07, The 12th Working IEEE/IFIP Conference on Software Architecture (WICSA 2015), Program Committee Member.
2014.11.16~2014.11.21, The 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), Program Committee Member.
2014.11.16~2016.11.21, The 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), 座長(Chairmanship).
2014.05.16~2014.05.18, The 2014 International Conference on Progress in Informatics and Computing (PIC 2014), Organization Chair.
2014.04.07~2014.04.11, The 11th Working IEEE/IFIP Conference on Software Architecture (WICSA 2014), Program Committee Member.
2014.02.03~2014.02.06, The Joint 18th European Conference on Software Maintenance and Reengineering / 21st Working Conference on Reverse Engineering (CSMR-18/WCRE-21), Program Committee Member.
2013.03.05~2013.03.08, 17th European Conference on Software Maintenance and Reengineering (CMSR 2013), Program Committee Member.
2012.12.11~2012.12.13, The 10th Asian Symposium on Programming Languages and Systems (APLAS 2012), Program Committee Member.
2012.09.26~2012.09.27, The International Conference on Generative Programming and Component Engineering (GPCE 2012), Program Committee Member.
2012.09.23~2012.09.24, The 12th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2012) , Program Committee Member.
2012.08.20~2012.08.24, The joint 10th Working IEEE/IFIP Conference on Software Architecture and 6th European Conference on Software Architecture (WICSA/ECSA 2012), Program Committee Member.
2012.06.11~2012.06.16, The 26th European Conference on Object-Oriented Programming (ECOOP 2012), Program Committee Member.
2012.06.04~2012.06.04, The Third International Workshop on Recommendation Systems for Software Engineering (RSSE 2012), ICSE 2012, Program Committee Member.
2011.03.21~2011.03.25, The International Conference on Aspect-Oriented Software Development (AOSD 2011), Program Committee Member.
2008.09.28~2008.10.04, The 24th IEEE International Conference on Software Maintenance (ICSM 2008), Program Committee Member.
2007.10.02~2007.10.05, The 23th IEEE International Conference on Software Maintenance (ICSM 2007), Program Committee Member.
2007.03.24~2007.04.01, The International Conference on Fundamental Approach on Software Engineering (FASE 2007), Program Committee Member.
2006.09.24~2006.09.27, The 22th IEEE International Conference on Software Maintenance (ICSM 2006), Program Committee Member.
2005.09.25~2005.09.30, The 21th IEEE International Conference on Software Maintenance (ICSM 2005), Program Committee Member.
2005.03.22~2005.03.26, The International Conference on Aspect-Oriented Software Development (AOSD 2005), Program Committee Member.
2005.03.22~2005.03.26, The International Conference on Aspect-Oriented Software Development (AOSD 2004), Program Committee Member.
2004.11.02~2004.11.05, The 15th IEEE International Conference on Software Reliability Engineering (ISSRE 2004) , Program Committee Member.
2004.09.11~2004.09.17, The 20th IEEE International Conference on Software Maintenance (ICSM 2004), Program Committee Member.
2003.09.22~2003.09.26, The 19th IEEE International Conference on Software Maintenance (ICSM 2003), Program Committee Member.
2003.03.17~2003.03.21, The International Conference on Aspect-Oriented Software Development (AOSD 2003), Program Committee Member.
2002.10.03~2002.10.06, The 18th IEEE International Conference on Software Maintenance (ICSM 2002), Program Committee Member.
2001.11.06~2001.11.10, The 17th IEEE International Conference on Software Maintenance (ICSM 2001), Program Committee Member.
学会誌・雑誌・著書の編集への参加状況
2015.10, International Journal of Creative Computing, 国際, 編集委員.
学術論文等の審査
年度 外国語雑誌査読論文数 日本語雑誌査読論文数 国際会議録査読論文数 国内会議録査読論文数 合計
2019年度   40    42 
2018年度     38    38 
2017年度     24    24 
2016年度   20    22 
その他の研究活動
海外渡航状況, 海外での教育研究歴
Data Science Institute, Imperial College London, UnitedKingdom, 2017.03~2017.03.
Department of Computer Science and Technology, 清華大学, China, 2017.03~2017.03.
Department of Computer Science and Engineering, 上海交通大学(中国), China, 2017.02~2017.02.
Department of Computer Science and Engineering, 上海交通大学(中国), China, 2017.08~2017.09.
The 33rd International Conference on Software Maintenance and Evolution (ICSME 2017), China, 2017.09~2017.09.
School of Computer Science and Software Engineering, 華東師範大学(中国), China, 2017.07~2017.07.
The 6th Asian Workshop on Advanced Software Engineering (AWASE 2017), China, 2017.05~2017.05.
北京大学のソフトウェア工学研究所(SEI), China, 2017.07~2017.07.
Program Board Meeting, The 40th International Conference on Software Engineering (ICSE 2018), ICSE 2018 Workshop (By Facebook), UnitedKingdom, UnitedKingdom, 2017.12~2017.09.
Laboratory for Computer Science, Massachusetts Institute of Technology, UnitedStatesofAmerica, 2002.04~2003.03.
受賞
ACM SIGSOFT Disitinguished Paper Award, ACM SIGSOFT, 2018.09.
SANER 2016 Best Paper Candidate Award, SANER 2016 Program Committee, 2016.03.
研究資金
科学研究費補助金の採択状況(文部科学省、日本学術振興会)
2019年度~2022年度, 基盤研究(B), 代表, 深層学習システムの自動テスト技術の確立.
2018年度~2021年度, 基盤研究(A), 分担, 自動デバッグを可能にする群衆知エコシステムの確立.
2016年度~2017年度, 研究活動スタート支援, 代表, リアクティブプログラムの依存性解析とその応用に関する研究.
競争的資金(受託研究を含む)の採択状況
2011年度~2012年度, Open Research Fund of State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, 代表, Atomicity Violation Detection for Concurrent Programs.
共同研究、受託研究(競争的資金を除く)の受入状況
2009.01~2009.12, 代表, VeriJava: Towards a Verifiable Programming System.
2010.01~2010.12, 代表, Checking Serializability Consistency for Concurrent X10 Programs.

九大関連コンテンツ

pure2017年10月2日から、「九州大学研究者情報」を補完するデータベースとして、Elsevier社の「Pure」による研究業績の公開を開始しました。
 
 
九州大学知的財産本部「九州大学Seeds集」