Brief Biography |
I am now working at Google Research (Seattle) on building automated debugging systems with machine learning techniques for Google-scale software products.
I completed my Ph.D. in the Department of Computer Science & Engineering at University of Washington, advised by Prof. Michael Ernst. My Ph.D. thesis (entitled: Effective Program Analyses for Automated Software Testing and Error Diagnosis) lies within the software engineering area. In my thesis, I developed practical program analysis techniques and tools to improve software reliability and error diagnosis (see my papers at ISSTA'11, ASE'11, ICSE'13, ISSTA'13, and ICSE'14 for details).
Publications |
Complete list:
Major conferences (research paper tracks)
Proactive Detection of Inadequate Diagnostic Messages for Software Configuration Errors
Sai Zhang , and Michael Ernst.
ISSTA 2015.
Empirically Revisiting the Test Independence Assumption
Sai Zhang , Darioush Jalali, Jochen Wuttke, Kivanc Muslu, Michael Ernst, and David Notkin.
ISSTA 2014. Download: PDF Slides (PowerPoint) Slides (PDF)
Which Configuration Option Should I Change?
Sai Zhang and Michael D. Ernst.
ICSE 2014. Download: PDF Slides (Powerpoint) Slides (PDF)
Automatically Synthesizing SQL Queries from Input-Output Examples
Sai Zhang and Yuyin Sun.
ASE 2013. Download: PDF Slides (Powerpoint) Slides (PDF)
Automatically Repairing Broken Workflows for Evolving GUI Applications
Sai Zhang, Hao Lu, and Michael D. Ernst.
ISSTA 2013. Download: PDF Slides (PowerPoint) Slides (PDF)
Automated Diagnosis of Software Configuration Errors
Sai Zhang and Michael D. Ernst.
ICSE 2013. Download: PDF Slides (Powerpoint) Slides (PDF)
Finding Errors in Multithreaded GUI Applications
Sai Zhang, Hao Lu, and Michael D. Ernst.
ISSTA 2012. Download: PDF Slides (PowerPoint) Slides (PDF)
A Survey of Code-based Change Impact Analysis Techniques
Bixin Li, Xiaobing Sun, Hareton Leung, and Sai Zhang.
STVR 2012. Download: PDF
Automated Documentation Inference to Explain Failed Tests
Sai Zhang, Cheng Zhang, and Michael D. Ernst.
ASE 2011. Download: PDF Slides (PowerPoint) Slides (PDF)
Combined Static and Dynamic Automated Test Generation
Sai Zhang, David Saff, Yingyi Bu, and Michael D. Ernst.
ISSTA 2011. Download: PDF Slides (PowerPoint) Slides (PDF)
Frequency Estimation of Virtual Call Targets for Object-Oriented Programs
Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, and Yuting Chen.
ECOOP 2011. Download: PDF
A Lightweight and Portable Approach to Making Concurrent Failures Reproducible
Qingzhou Luo, Sai Zhang, Jianjun Zhao, and Min Hu.
FASE 2010. Download: PDF
Incremental Call Graph Reanalysis for AspectJ Software
Yu Lin, Sai Zhang and Jianjun Zhao.
ICSM 2009. Download: PDF
Change Impact Analysis for AspectJ Programs
Sai Zhang , Zhongxian Gu, Yu Lin and Jianjun Zhao.
ICSM 2008. Download: PDF Slides (PowerPoint) Slides (PDF)
Short Papers or other conference tracks
Software Bug Localization with Markov Logic
Sai Zhang and Congle Zhang.
ICSE 2014, NIER track. Download: PDF Slides (PowerPoint) Slides (PDF)
Practical Semantic Test Simplification
Sai Zhang.
ICSE 2013, NIER track. Download: PDF Slides (PowerPoint) Slides (PDF)
Understanding Regression Failures through Test-Passing and Test-Failing Code Changes
Roykrong Sukkerd, Ivan Beschastnikh, Jochen Wuttke, Sai Zhang, and Yuriy Brun.
ICSE 2013, NIER track. Download: PDF
Effective Identification of Failure-Inducing Changes: A Hybrid Approach
Sai Zhang , Yu Lin, Zhongxian Gu and Jianjun Zhao.
PASTE 2008. Download: PDF Slides (PowerPoint) Slides (PDF)
XFindBugs:eXtended FindBugs for AspectJ
Haihao Shen, Sai Zhang , Jianjun Zhao, Jianhong Fang and Shiyuan Yao.
PASTE 2008. Download: PDF Slides (PowerPoint) Slides (PDF)
AutoFlow: An Automatic Debugging Framework for AspectJ Programs
Sai Zhang , Zhongxian Gu, Yu Lin and Jianjun Zhao.
ICSM 2008, Demo track. Download: PDF
Celadon: A Change Impact Analysis Tool for Aspect-Oriented Programs
Sai Zhang , Zhongxian Gu, Yu Lin and Jianjun Zhao.
ICSE 2008, Demo track. Download: PDF
last updated: Sep 30 2014 |