Assistant Professor of Computer Science
Joined department in 2006
Education:
PhD, Computer Science
University of Arizona (2006)
MS, Computer Science
University of Sci. & Tech. of China (2000)
BS, Computer Science
University of Sci. & Tech. of China (1998)
Professor Zhang's research is on automatic debugging, software reliability,computer security, and
program profiling. In particular, he has designed efficient and effective dynamic slicing techniques
which have a lot of applications in debugging runtime errors, intrusion detection, and preventing
software piracy. He has designed architectural support for protecting sensitive data in symmetric
shared memory processors. He has also conducted research on program tracing and profiling, which
includes novel representations and creative compression techniques. Zhang is interested in program
analysis, both dynamic and static, and their applications in software engineering and security
related issues.
Zhang is a member of ACM and IEEE.
Selected Publications
X. Zhang, N. Gupta, and R. Gupta, "Pruning Dynamic Slices With Confidence", ACM SIGPLAN
Conference on Programming Language Design and Implementation, 2006.
X. Zhang and R. Gupta, "Whole Execution Traces and their Applications", ACM Transactions on
Architecture and Code Optimization, 2005.
X. Zhang and R. Gupta, "Matching Execution Histories of Program Versions", Conference and 13th
ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2005.
Funding Administered by Computer Science
Patrick Eugster and Xiangyu Zhang, CSR-DMSS, SM: A Holistic Approach to Reliable Persasive
Systems, National Science Foundation, 9/1/2008-8/31/2011.
Sunil K. Prabhakar and Xiangyu Zhang, III: Small: Towards Scalable and Comprehensive Uncertain
Data Management, National Science Foundation, 9/1/2009-8/31/2012.
Xiangyu Zhang, CAREER: Scalable Dynamic Program Reasoning, National Science Foundation,
2/15/2009-1/31/2014.
Xiangyu Zhang, Collaborative Research: CRI: IAD An Advanced Infrastructure for Generation,
Storage, and Analysis of Program Execution Traces, National Science Foundation,
9/1/2007-12/31/2009.
Xiangyu Zhang, CSR: Small: Automated Software Failure Causal Path Computation, National
Science Foundation, 9/1/2009-8/31/2012.
Last Updated: December 08, 2009 04:08pm
