Students


·         Current Ph.D. Students                                                                                                            

o    Jinbo Du (at SJTU, Sept. 2011 ~)

o    Bing Yu (April 1, 2017 ~)

o    Jiyuan Sun (October 1, 2017 ~)

 

·         Current M.Sc. Students                                                                                                            

o    Haichen Wen (April 2016 ~)

 

·         Current Research Students                                                                                                     

o    Wentao Li (April 2017 ~ )

o    Rui Rui (April 2017 ~ )

o    Chao Xie (April 2017 ~ )

o    Siyuan Wang (April 2017 ~ )

 

·         Current Undergraduate Students                                                                                          

o    Daigo Kajiwara (April 2017 ~)

o    Nakamura (April 2017 ~)

 

 

·         Graduated 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

 

 

·         Graduated Master Students (at SJTU)                                                                                

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)

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    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    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    Chunfeng Gao (2011)

Thesis: 基于执行序列的程序时间复杂度分析

o    Yu Lin (2011 | Ph.D., UIUC | now at Google, USA)

Thesis: Automated Adaptive Random Testing for Java Programs

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    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    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    Fei Lyu (2015 | now at Alibaba)

Thesis: Research on Search-based Code Recommendation Techniques

o    Jingzhou Liu (2015 | now at Microsoft, China)

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    Wangsheng Hu (2017)

o    Tingting Li (2017)

o    Qiuwei Shi (2017)

o    Kai Shen (2017)

o    Peng Yu (2017)

 

·         Graduated Undergraduate Students (at SJTU)                                                                           

o    Shogo Kataoka (2017 | now a Master student at Kyushu University)

o    Wataru Kakazu (2017 | now a staff at Okinawa Prefecture)

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    Hongjian Fang

o    Yi Jin (now at Microsoft, 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 | now supervised by Prof. Linpeng Huag)

o    Huaizhi Cheng (Ph.D. student at SJTU by March 31, 2016 | now supervised by Prof. Linpeng Huang)

o    Xuliang Liu (Master student at SJTU by March 31, 2016 | now supervised by Prof. Beijun Shen

o    Yingyi Wang (Master student at SJTU by March 31, 2016 | now supervised by Prof. Beijun Shen

o    Feiyue Yu (Master student at SJTU by March 31, 2016 | now supervised by Prof. Beijun Shen

o    Weizhao Yuan (Master student at SJTU by March 31, 2016 | now supervised by Prof. Beijun Shen

o     

 


Last updated: May 23, 2017
Jianjun Zhao (zhao@ait.kyushu-u.ac.jp)