Associate Professor of Computer Science
Joined department: Fall 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.
Research Funding
Dongyan Xu and Xiangyu Zhang, TC: EAGER: Binary-based Data Structure Revelation for Memory
Forensics, National Science Foundation, 9/1/2010-8/31/2013.
Xiangyu Zhang, CAREER: Scalable Dynamic Program Reasoning, National Science Foundation,
2/15/2009-1/31/2014.
Xiangyu Zhang, SHF:CSR:Small: Collaborative Research: Automated Model Synthesis of Library and
System Functions for Program-Environment Co-Analysis, National Science Foundation,
7/1/2012-6/30/2015.
Xiangyu Zhang and Dongyan Xu, Extracting Functional Components from x86 Binaries, Telecordia
Technologies, 12/7/2011-6/6/2015.
Xiangyu Zhang and Dongyan Xu, Safe, Reuse-Oriented Reverse Engineering of Functional Components
from x86 Binaries, Defense Advanced Research Projects Agency, 10/24/2011-10/23/2014.
Last Updated: June 27, 2013 11:49am
