·
Current Ph.D.
Students
o Jianhong Wang (October 2024 ~)
o Hengjie Liu (October 2024 ~)
o Qiming Li (October 2024 ~)
o Shangzhou Xia (April 2024 ~)
o Yu Pan (October 2023~)
o Lejin Li (October 2023 ~)
o Jianlang Chen (April 2023 ~)
o Minggu Wang (October 2023 ~)
o Junjie Luo (April 2022 ~)
o Tiancheng Jin (April 2022 ~)
o Zhuo Li (April 2022 ~)
o Yang Hou (April 2021~)
o Deyun Lyu (October 2020~)
o
·
Current Visiting
Ph.D. Students
o Chenglong Li (Beihan University, December 2023 ~ November 2024)
· Current M.Sc. Students
o Minqi Shao (April 2024 ~)
o Haoyu Zhang (April 2024 ~)
o Haitao Fu (April 2024 ~)
o Borui Zhang (April 2024 ~)
o Qichen Wang (April 2024 ~)
o Junyan Zhong (April 2024~)
o Kota Fukuda (April 2023 ~)
o Yuito Suenaga (April 2023 ~)
o Xiaoyu Guo (April 2023 ~)
o Yi Li (April 2023 ~)
o Ziyi Wu (April 2023 ~)
o Yipei Yan (April 2023 ~)
· Current Undergraduate Students
o
Taisuke Kiya (April 2024~)
o Shotaro Umeki (April 2024 ~)
· Current Research Students
o
Zhanhe Zhang (October 2024 ~)
o
Boyou Zhang (October 2024 ~)
o
Yaohua Hu (October 2024 ~)
o
Tong Su (October 2024~)
o
Tianyue Zhang (October
2024~)
o
Yifan Ma (October 2023 ~)
o
Zida Li (October 2023 ~)
o
Chunkai Chen (October 2023 ~)
o
Kenta Manoku (April
2024~)
·
Formal Ph.D. Students (at Kyushu
University)
o Jiyuan Sun (2024)
o Zeming Dong (2024)
o Hua Qi (2023)
o Xiongfei Wu (2023)
o Pengzhan Zhao (2023)
o Jiaming Ye (2023)
o Ziyi Cheng (2023)
o Bing Yu (2020)
·
Formal Visiting Ph.D. Students (at
Kyushu University)
o Zhiyong Zhou (Jilin University, October 1, 2023 ~ September 30, 2024)
o Yilin Yang (Nanjing University, January 1, 2020 ~ March 31, 2020)
o Jiawei Liu (Nanjing University, January 1, 2020 ~ March 31, 2020)
·
Formal Master Students (at Kyushu
University)
o
Shuhan Lan (March 2024)
o
Shangzhou Xia (March 2024)
o
Siyuan Chen (March 2024)
o
Takahiro Muta (March 2023)
o
Jianlang Chen (March 2023)
o
Konosuke Machidori (March 2023)
o
Juba Simon Mduduzi (September 2022)
o
Tiancheng Jin (March
2022)
o
Masamichi Kakeshita (March 2022)
o Kouhei Hatae
(March 2022)
o Kentaro Murakami (March 2022)
o Jiansong Ma (March 2022)
o Zuo Li (March 2022)
o Jingyang Sun
(March 2022)
o Shunsuke Kurita (September 2021)
o Hua Qi (March 2021)
o Junjie Luo (March 2021)
o Hidenori Ooka (March 2021)
o Takuya Kurita (October 2021)
o Qiang Hu (March 2020)
o Wentao Li (March 2020)
o Tomomi Nakamura (March 2020)
o Rui Rui (March 2020)
o Siyuan Wang (March 2020)
o Chao Xie (March 2020)
o Daisuke Yamamoto (April 2019)
Thesis:
VeriPy: An Extension to Python to support DBC
o Haichen Wen (2018)
Thesis:
Differencing Analysis of Scala Programs
·
Formal Undergraduate Students
(Kyushu University)
o Kenta Manoku (2024)
o Wataru Aiura (2024)
o Yudai Koga (2023)
o Kota Fukuda (2023)
o Yuito Suenaga (2023)
o Tatsuki Fujii (March 2022)
o Shun Yamashita (March 2022)
o Takahiro Muta (March 2021)
o Koki Kotake (March 2021)
o Kentarou Murakami (March 2020)
o Juba Simon Mduduzi (March 2020)
o Kouhei Hatae (March 2020)
o Kazuki Nakahara (2019)
o Daigo Kajihara (2018)
o Shogo Kataoka (2017 | now a Master student at Kyushu University)
o Wataru Kakazu (2017 | now a staff at Okinawa Prefecture)
·
Formal Ph.D. Students (at
SJTU)
o Cheng Zhang (2012 | Post-Docs at University of Lugano | Post-Docs at
University of Waterloo | now at Google, Canada)
Thesis: Research on Software
Debugging Techniques based on the Combination of Machine Learning and Program
Analysis
o Qian Sun (2013 | now at Intel, China)
Thesis: Research on Points-to
Analysis Techniques of Object-Oriented Programs
o Xi Chang (2015 | now an Assistant Professor at Shanghai Polytechnic
University)
Thesis: On Concurrent Program
Detection Techniques based on Predictive Analysis
o Xiao
Cheng (2017 | now at Huawei, Shenzhen, China)
Thesis:
Research on Code Similarity Detection and Code Consistency Maintenance
o Anil
K. Karna (2017)
Thesis:
Optimizing Utilization of Hardware Resources Toward
Uncrashable Software Application
o Ziyi
Lin (2017 | now at Huawei, Shanghai, China)
Thesis:
Research on Java Concurrency Bug Detection and
Reproduction Techniques for Practice
l Formal
Master Students (at SJTU)
o Wangsheng Hu (2017)
o Tingting Li (2017)
o Qiuwei Shi (2017)
o Kai Shen (2017)
o Peng Yu (2017)
o
Haihui
Huang (2016 | now at Huawei)
Thesis: An Incremental Approach to
Intermediate Representation Generation based on Code Change Analysis
o Mengyu Liu
(2016 | now at Tencent)
o Wenhao Song (2016)
o Sheng Tian (2016 | now at Sohu)
o Kejun Xiao (2016)
o Jiabin Ye
(2016 | now at Microsoft, USA)
o Yilei Zhou (2016 | now at Huawei)
o Fei Lyu (2015 | now at Alibaba)
Thesis: Research
on Search-based Code Recommendation Techniques
o Jingzhou Liu (2015 | now at Microsoft, China)
o Hongxu Chen (2014 | now a Ph.D. student at NTU, Singapore)
Thesis: Selective Symbolic Execution
Based Patch Validation
o Xiang Hu (2014)
Thesis: Source Code Search Engine
Based on Semantic Network and Big Data Mining
o Xi Jia (2014)
Thesis: Research on Type
Transformation Sequence Recommendation Combing with Semantic Web Technology
o Qi Wang (2014 | now
a Ph.D. student at UIUC)
Thesis: Distributed Implementation of
a Parallel Tree and Graph Computation Framework
o Tong Wu (2014 | now at Microsoft, China)
Thesis: JavaScript
Code Recommendation based on Program Analysis and Machine Learning
o Yu Fan (2013 | now at Microsoft, China)
Thesis: Practical Path Feasibility
Detection using Symbolic Execution and Data Mining
o Longwen Lu (2013 | now at Microsoft, China)
Thesis: Continuous Online Program
Slicing
o Jiabin Xia (2013)
Thesis: Pruning Dynamic Slices with
Probabilistic Inference
o Jing Fen (2013)
Thesis: Research on High Precision
Log Parsing Techniques
o Rumei Niu (2012 | now at IBM, China)
Thesis:
Design and Implementation of Exception Handling Mechanism for Concurrent Bugs
o Dacheng Lei (2012 |
now at Shanghai Clearing House)
Thesis:
Research of Refactoring Verification Based on Decomposition
o Min Hu (2012 | now at China Mobile)
Thesis: Dynamic Detection of
Multi-Variable Atomicity Violation
o Xu Wang (2012 | now at China Mobile)
Thesis: Pruning Dynamic Slicing with
Probabilistic Inference
o Yiqing Zhu
(2012 | now at Alibaba, China)
Thesis: Extracting Atomicity Graph
and Detecting General Atomicity Violation
o
Chunfeng Gao (2011)
Thesis: 基于执行序列的程序时间复杂度分析
o Yu Lin (2011
| Ph.D., UIUC | now at Google, USA)
Thesis: Automated Adaptive Random
Testing for Java Programs
o Qingzhou Luo (2010 |
Ph.D., UIUC | now at Google, USA)
Thesis: Concurrent Bug Reproduction
and Detection Based on Replay Analysis
Paper: FASE 2010
o Zhenxuan Luo (2010 | now at Ant Financial, Alibaba Group)
Thesis: Apply
Composed Statistical Model in Program Fault
Localization
o Haihao Shen
(2010 | now a Software Engineer at Intel, China)
Thesis: Coupling Measurement and Its
Applications for Aspect-Oriented Programs
Paper: PASTE 2008, ICST 2011
o
Zengkai Ma (2009)
Thesis: Test Case Prioritization for
Aspect-Oriented Software
Paper: APSEC 2008
o
Yi Wang (2009, co-advised with Prof.
Yuxi Fu | Ph.D., UC Irvine, 2015 | currently a Research Staff Member at
IBM Almaden Research Center)
Thesis: Study and Implementation of Pipa and Its
Runtime Assertion Checking Compiler
Paper: COMPSAC 2007
o Sai Zhang (2009 | Ph.D.,
Univ. of Washington | now at Google Research, USA)
Thesis: Change Impact Analysis and
Its Applications for Aspect-Oriented Programs
Paper: ICSM 2008, PASTE 2008, LATE
2008, COMPSAC 2008, ICSM 2009
o Martin
Goerg (2008 | now at SAP, German)
Thesis: Identifying Semantics
Differences in AspectJ Programs
Paper: ISSTA 2009
o Chengzi Xu (2008 |
now a Manager of Software Engineering, EMC,
China)
Thesis: Design and Implementation of
System Dependence Graph for Aspect-Oriented Programs
o Hanyue Yang (2008)
Thesis: Dynamic Coupling Measurement
for Aspect-Oriented Software
o Qi Zhu (2008 | now at IBM, China)
Thesis: Research and Implementation
of Description of AOP’s Pointcuts based on XML
o Xujie Zhuang (2008)
Thesis: Design and Implementation of Testing Aspect Interaction Tool for
Aspect-Oriented Programs
o Bin Feng
(2007 | now at Morgan Stanley, Institutional Securities Tech, China)
Thesis: Static Construction of
Control Flow Graph for Aspect-Oriented Programs
o Nan Li (2007 | Ph.D. | now at Industrial Bank Co. Ltd, China)
Thesis: Design and Implementation of
Call Graph Analysis Tool for Aspect-Oriented Programs
o Jiaming
Zhang (2007 | now a Software Engineer at eBay, China)
Thesis: Implementation of the
Compiler for VeriJava
o Sibo Zhang (2007 |
now a Solution Architect at SAP, USA)
o Yan Zhang (2007 | now at Bank of Communications)
·
Formal Undergraduate Students (at
SJTU)
o Che
Liu (2016, now M.Sc. student at UC San Diego)
Thesis: Android平板系统自动化测试系统的研究
o Shaoyu Wang
(2012 | now a Ph.D. student at University of Tokyo)
Thesis: 基于数值型输入输出样例的程序合成器
o Juyuan Yang
(2012 | 2014, M.Sc., Georgia Institute of Technology | now a Software Engineer
at Facebook, USA)
Thesis: 调试中断点自动生成的研究与实现
o Yizhou Zhang (2012 |
now a Ph.D. student at Cornell University)
Thesis: 客户端JavaScript程序中基于程序切片和语句覆盖的URL挖掘
o Wei Yang (2011 |
now a Ph.D. student at UIUC)
Thesis: 识别基于X10语言的程序差别
o Zhuoheng
Yang (2011 | 2013, M.Sc., New York University | now a Software Engineer at
Google, USA)
Thesis: 协程在C++上的实现
o Yufeng Yin (2011 |
2013, M.Sc., University of Southern California | now a Software Engineer at
Box, USA)
Thesis: 日志记录解析放大的优化研究与实现
o Xin Zhang (2011 | now
a Ph.D. student at Georgia Institute of Technology)
Thesis: 基于代码示例学习的方法参数推荐
o Yi Zhang
(2011 | now a Ph.D. student at UIUC)
Thesis: Study on Infer.NET and its
application in program analysis
o Peizhao Ou
(2012, now a Ph.D. student at University of California, Irvine)
Thesis: 基于字节码静态分析的Scala错误检测
o Shiyi Wei (2009 | Ph.D.,
Virginia Tech, 2016 | now a Post-Doc at Maryland University)
Thesis: 预测程序间路径的执行频率
o Shengqian
Yang (2010 | 2015, Ph.D., Ohio State Univ. | now a Software Engineer at
Google, USA)
o Dacong Yan (Ph.D., Ohio State
Univ., now at Google, USA)
o
Zhongxian Gu (2008 | 2013,
Ph.D., UC Davis | now a Research Scientist at Datometry, USA)
Thesis: 面向方面程序的变化影响的分析
o Lei Ma (2009 | Ph.D.,
University of Tokyo | now an Associate Professor at Harbin Institute of
Technology, China)
Thesis: JavaScript软件的静态分析技术与实现
o Lilu Xu (2010 | 2013,
M.Sc., University of Helsinki | now a Software Engineer at Google, USA)
o Si Huang (M.Sc., University of Nebraska at Lincoln | currently
at Google, USA)
Thesis: 面向方面软件系统的依赖性分析框架及其工具支持
o Yi Jin (now
at Google, USA)
o Hongsheng
Zhang (2010 | 2012, M.Sc. UC Davis | now a Software Engineer at Google,
USA)
o Hui Miao (2007 |
M.Sc., 2009, Seoul National University | now a Ph.D. student at University of
Maryland College Park)
o Wei Wang
(2009, currently Ph.D. student at University of Waterloo)
·
Former Students (at SJTU)
o
Yiyang Fu (Ph.D. student
at SJTU by March 31, 2016)
o Huaizhi Cheng (Ph.D. student at SJTU by March 31, 2016)
o
Xuliang Liu (Master
student at SJTU by March 31, 2016)
o Yingyi Wang (Master student at SJTU by March 31, 2016)
o Feiyue Yu (Master student at SJTU by March 31, 2016)
o Weizhao Yuan (Master student at SJTU by March 31, 2016)
Last updated: July 3, 2023
Jianjun Zhao
(zhao@ait.kyushu-u.ac.jp)