Department of Computer Science & Engineering

University of Washington

SE

WASP

 

sai.JPG

Sai Zhang

CSE 490, Paul G.Allen Center
AC 101, 185 Stevens Way, Box 352350
WA 98195-2350, USA
E-mail:
szhang AT cs.washington.edu

RESEARCH INTERESTS

  • Static and Dynamic Program Analysis Techniques
  • Bug Finding & Debugging Techniques
  • Software Testing and Verification
  • Type System and Language Design
  • Compiler Construction & Optimization

 

Brief Bio     Publications     Personal


Brief Biography

Currently, I am a 2nd year graduate student in Computer Science & Engineering Department of University of Washington, working with Prof. Michael Ernst. I received my M.Sc Computer Science and B.E. Software Engineering (Minor in Business Administration) degrees at Shanghai Jiao Tong University in 2009 and 2006, respectively. Here is my old homepage in SJTU.


Publications [DBLP]

 

1.       Sai Zhang, Cheng Zhang, and Michael D. Ernst

Automated Documentation Inference to Explain Failed Tests

To appear at 26th IEEE/ACM International Conference on Automated Software Engineering.

(ASE 2011) Oread, Lawrence, Kan, USA, Nov 6 – 10, 2011 (acceptance rate: 14.6%, 37 out of 252)

 

2.       Sai Zhang, David Saff, Yingyi Bu, and Michael D. Ernst

Combined Static and Dynamic Automated Test Generation

In Proc. 11th International Symposium on Software Testing and Analysis.

(ISSTA 2011) Toronto, ON, Canada, July 17 – 21, 2011 (acceptance rate: 29%, 35 out of 121)
A short version of this paper won the second prize at the ACM SIGSOFT Student Research Competition held at ICSE 2011

 

3.      Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, and Yuting Chen

Frequency Estimation of Virtual Call Targets for Object-Oriented Programs

In Proc. 25th European Conference on Object-Oriented Programming

(ECOOP 2011) Lancaster, UK, July 25 – 29, 2011 (acceptance 26%, ? out of ?)

 

4.      Qingzhou Luo, Sai Zhang, Jianjun Zhao, and Min Hu

A Lightweight and Portable Approach to Making Concurrent Failures Reproducible

In Proc. International Conference on Fundamental Approaches to Software Engineering

(FASE 2010) Paphos, Cyprus, 22 – 26 March, 2010 (acceptance rate 25%, 24 out of 96)

 

-         Some old publications


Personal:

For Sai's colleagues/friends/anyone who wanna make friends, to see whether he is online or not, please drop him an email for requesting his MSN ID, GTalk ID or ICQ ID, and tell him yours.


Locations of visitors to this page

Last update: Sep 8th, 2011 by Sai Zhang

(c)2011 CSE, University of Washington