| TOSN |
V. Sundaram, P. Eugster, X. Zhang and V. Addanki, Diagnostic Tracing for Wireless Sensor Networks, ACM Transactions of Sensor Networks, accepted |
| TSE |
W. N. Sumner, Y. Zheng, D. Weeratunge and X. Zhang, Precise Calling Context Encoding IEEE Transactions of Software Engineering, 2012 |
| SCP |
A. Navabi, X. Zhang, and S. Jagannanthan, Dependence Analysis for Safe Futures. Science of Computer Programming |
| TSE |
Z. Lin, X. Zhang, and D. Xu, Deriving Input Syntactic Structure from Program Execution and Its Applications. IEEE Transactions of Software Engineering, 2010. |
| TSE |
C. Liu, X. Zhang, and J. Han, A Systematic Study of Failure Proximity, IEEE Transactions of Software Engineering, 2008 |
| CRC |
X. Zhang, N. Gupta, and R. Gupta, Whole Execution Traces and Their Use in Debugging, The Compiler Design Handbook: Optimizations and Machine Code Generation, Second Edition Chapter 18, CRC Press. |
| SP&E |
X. Zhang, N. Gupta and R. Gupta, Locating Faulty Code By Multiple Points Slicing, Software - Practice & Experience, Vol. 37, Issue 9, pages 935-961, July 2007 |
| ESE |
X. Zhang, N. Gupta and R. Gupta, A Study of Effectiveness of Dynamic Slicing in Locating Real Faults, Empirical Software Engineering, Vol. 12, No. 2, pages 143-160, April 2007 |
| TACO |
X. Zhang and R. Gupta, Whole Execution Traces and their Applications, ACM Transactions on Architecture and Code Optimization, Vol. 2, No. 3, pages 301-334, Sept. 2005. |
| TOPLAS |
X. Zhang, R. Gupta, and Y. Zhang, Cost and Precision Tradeoffs of Dynamic Data Slicing Algorithms, ACM Transactions on Programming Languages and Systems, Vol. 27, No. 4, pages 631-661, July 2005. |
| DSN |
Z. Gu, W. N. Sumner, Z. Deng, X. Zhang, and D. Xu,, DRIP: A Framework for Purifying Trojaned Kernel Drivers , the 43rd IEEE/IFIP International Conference on Dependable Systems and Networks , 2013. |
| EuroSec |
B. Saltaformaggio, D. Xu, and X. Zhang,, BusMonitor: A Hypervisor-Based Solution for Memory Bus Covert Channels , the 6th European Workshop on Systems Security , 2013. |
| ICSE |
Y. Zheng and X. Zhang,, Path Sensitive Static Analysis of Web Applications for Remote Code Execution Vulnerability Detection , the 35th International Conference on Software Engineering , 2013. |
| ICSE |
W. N. Sumner and X. Zhang,, Comparative Causality: Explaining the Differences Between Executions , the 35th International Conference on Software Engineering , 2013. |
| NDSS |
K. H. Lee, X. Zhang, and Dongyan Xu, High Accuracy Attack Provenance via Binary-based Execution Partition , Network and Distributed System Security Symposium, 2013. |
| WCRE |
D. Qi, W. N. Sumner, F. Qin, M. Zheng, X. Zhang and A. Roychoudhury, Modeling Software Execution Environment , the 19th Working Conference on Reverse Engineering , 2012. |
| SenSys |
V. Sundaram, P. Eugster, and X. Zhang, Prius: Generic Hybrid Trace Compression for Wireless Sensor Networks , the 10th ACM International Conference on Embedded Networked Sensor Systems , 2012. |
| OOPSLA |
T. Bao, Y. Zheng, and X. Zhang, White Box Sampling in Uncertain Data Processing Enabled by Program Analysis , Object Oriented Programming, Systems, Languages and Applications, 2012. |
| DFRWS |
Z. Deng, D. Xu, X. Zhang, and X. Jiang, IntroLib: Efficient and Transparent Library Call Introspection for Malware Forensics , the 12th Annual DFRWS Digital Forensics Conference, 2012. |
| ICSE |
Y. Zheng and X. Zhang, Static Detection of Resource Contention Problems in Server-Side Scripts , the 34th International Conference on Software Engineering, 2012. |
| ESoSS |
R. Potharaju, A. Newell, C. Nita-Rotaru, and X. Zhang, Plagiarizing Smartphone Applications: Attack Strategies and Defense Techniques , International Symposium on Engineering Secure Software and Systems, 2012. |
| NDSS |
Z. Lin, J. Rhee, C. Wu, X. Zhang, and Dongyan Xu, DIMSUM: Discovering Semantic Data of Interest from Un-mappable Memory with Confidence , Network and Distributed System Security Symposium, 2012. |
| OOPSLA |
D. Weeratunge, X. Zhang, and S. Jagannathan, Accentuating the Positive: Atomicity Inference and Enforcement Using Correct Executions , Object Oriented Programming, Systems, Languages and Applications, 2011. |
| ISSTA |
W. N. Sumner and X. Zhang, Selecting Peers for Execution Comparison , International Symposium on Software Testing and Analysis, 2011. |
| DSN |
K. Lee, W. N. Sumner, X. Zhang and P. Eugster, Unified Debugging of Distributed Systems with Recon ,the 41th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2011. |
| PLDI |
K. Lee, Y. Zheng, W. N. Sumner and X. Zhang, Toward Generating Reducible Replay Log, ACM SIGPLAN Conference on Programming Language Design and Implementation, San Jose, 2011 |
| WWW |
Y. Zheng, T. Bao and X. Zhang, Statically Locating Web Application Bugs Caused by Asynchronous Calls, the 20th International World Wide Web Conference, India, 2011 |
| ICSE |
W. N. Sumner, T. Bao, X. Zhang, and S. Prabhakar, Coalescing Executions for Fast Uncertainty Analysis ,the International Conference of Software Engineering, Hawaii, 2011 |
| NDSS |
Z. Lin, J. Rhee, X. Zhang, D. Xu, and X. Jiang, SigGraph: Brute Force Scanning of Kernel Data Structure Instances Using Graph-based Signatures ,the 17th Network and Distributed System Security Symposium, San Diego, US, Feb. 2010 |
| SenSys |
V. Sundaram, P. Eugster and X. Zhang, Efficient Diagnostic Tracing Support forWireless Sensor Networks ,the 8th ACM Conference on Embedded Networked Sensor Systems, 2010 |
| SRDS |
B. Xin, P. Eugster, X. Zhang, and J. Yang Lightweight Task Graph Inference for Distributed Applications ,the 29th IEEE International Symposium on Reliable Distributed Systems, New Delhi, India, 2010. |
| FSE |
W. N. Sumner and X. Zhang Memory Indexing: Canonicalizing Addresses Across Executions , the 18th ACM SIGSOFT Symposium on Foundations of Software, New Mexico, 2010. |
| ISSTA |
D. Weeratunge, X. Zhang, W. N. Sumner, and S. Jagannathan Analyzing Concurrency Bugs using Dual Slicing ,International Symposium on Software Testing and Analysis, Trento, Italy, 2010 |
| ISSTA |
T. Bao, Y. Zheng, Z. Lin, X. Zhang and D. Xu Strict Control Dependence and Its Effect on Dynamic Information Flow Analyses ,International Symposium on Software Testing and Analysis, Trento, Italy, 2010 |
| DSN |
Z. Lin, X. Zhang and D. Xu Reuse-Oriented Camouflaging Trojan: Vulnerability Detection and Attack Construction the 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-DCCS 2010), Chicago, 2010. |
| ICSE |
W. N. Sumner, Y. Zheng, D. Weeratunge and X. Zhang Precise Calling Context Encoding, International Conference on Software Engineering, Cape Town, South Africa, 2010. |
| ASPLOS |
D. Weeratunge, X. Zhang and S. Jagannathan Analyzing Multicore Dumps to Facilitate Concurrency Bug Reproduction, the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, Pittsburb, PA, 2010. |
| NDSS |
Z. Lin, X. Zhang and D. Xu Automatic Reverse Engineering of Data Structures from Binary Execution, the 17th Network and Distributed System Security Symposium San Diego, CA, 2010. |
| ISSTA |
B. Xin and X. Zhang Memory Slicing, International Symposium on Software Testing and Analysis, Chicago, 2009. |
| CGO |
X. Zhang, A. Navabi, and S. Jagannathan Alchemist: A Transparent Dependence Distance Profling Infrastructure, The International Symposium on Code Generation and Optimization ,March 2009. |
| FASE |
W. N. Sumner and X. Zhang Algorithms for Automatically Computing the Causal Paths of Failures Fundamental Approaches to Software Engineering York Town, UK, March 2009. |
| FSE |
Z. Lin and X. Zhang Deriving Program Input Syntactic Structure from Execution, the 16th ACM SIGSOFT Symposium on Foundations of Software, Atlanta, GA, 2008. |
| COMPSAC |
S. Tallam, C. Tian, X. Zhang and R. Gupta Perturbing Program Execution for Avoiding Enviromental Faults the 32nd Annual IEEE International Computer SS oftware and Applications Conference, 2008. |
| DSN |
Z. Lin, X. Zhang, and D. Xu Convicting Remote Exploitable Vulnerabilities: An Efficient Input Provenance Based Approach Proceedings of IEEE/IFIP International Conference on Dependable Systems and Networks, 2008. |
| PLDI |
B. Xin, N. Sumner, and X. Zhang Efficient Program Execution Indexing ACM SIGPLAN Conference on Programming Language Design and Implementation, Tucson, 2008. |
| NDSS |
Z. Lin, X. Jiang, D. Xu, and X. Zhang Automatic Protocol Format Reverse Engineering Through Context-Aware Monitored Execution, Network and Distributed System Security Symposium, 2008. |
| PPOPP |
A. Navabi, X. Zhang, and S. Jagannathan Quasi-Static Scheduling for Safe Futures, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb. Salt Lake City, Utah |
| ICSM |
C. Liu, X. Zhang, J. Han, Y. Zhang, and B. Bhargava Failure Indexing: A Dynamic Slicing Based Approach, International Conference on Software Maintenance, Paris, September 2007.[PPT] |
| ICSM |
V. Nagarajan, R. Gupta, X. Zhang, M. Madou, B. De Sutter, and K. De Bosschere Matching Control Flow of Program Versions, International Conference on Software Maintenance, Paris, September 2007. |
| VLDB |
Mingwu Zhang, Xiangyu Zhang, Xiang Zhang, Sunil Prabhakar Tracing Lineage Beyond Relational Operators, Proc. of the 33rd International Conference on Very Large Databases (VLDB), Vienna, Austria, Sep. 2007. |
| ISSTA |
B. Xin, X. Zhang Efficient Online Detection of Dynamic Control Dependence, International Symposium on Software Testing and Analysis, London, July 2007. |
| ISSTA |
S. Tallam, C. Tian, X. Zhang, and R. Gupta Enabling Tracing of Long-Running Multithreaded Programs via Dynamic Execution Reduction, International Symposium on Software Testing and Analysis, London, July 2007. |
| PLDI |
X. Zhang, S. Tallam, N. Gupta, and R. Gupta Towards Locating Execution Omission Errors, ACM SIGPLAN Conference on Programming Language Design and Implementation, San Diego, June 2007. |
| FSE |
X. Zhang, S. Tallam, and R. Gupta Dynamic Slicing Long Running Programs through Execution Fast Forwarding, 14th ACM SIGSOFT Symposium on Foundations of Software Engineering, Portland, Oregon, November 2006. |
| PLDI |
X. Zhang, N. Gupta, and R. Gupta Pruning Dynamic Slices With Confidence, ACM SIGPLAN Conference on Programming Language Design and Implementation, Ottawa, Canada, June 2006. 21.3%(36/169) |
| ICSE |
X. Zhang, N. Gupta, and R. Gupta Locating Faults Through Automated Predicate Switching, IEEE/ACM International Conference on Software Engineering, Shanghai, China, May 2006. 9% (36/395) |
| ASE |
N. Gupta, H. He, X. Zhang, and R. Gupta, Locating Faulty Code Using Failure-Inducing Chops, IEEE/ACM International Conference on Automated Software Engineering, pages 263-272, Long Beach, California, Nov. 2005. 9.6 % (28/291) |
| AADEBUG |
X. Zhang, H. He, N. Gupta, and R. Gupta Experimental Evaluation of Using Dynamic Slices for Fault Location, SIGSOFT-SIGPLAN Sixth International Symposium on Automated and Analysis-Driven Debugging, pages 33-42, Monterey, California, September 2005. 36.7% (11/30) |
|
ESEC -FSE |
X. Zhang and R. Gupta, Matching Execution Histories of Program Versions, Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 197-206, Lisbon, Portugal, September 2005. 15.9% (32/201) |
| PACT |
S. Tallam, R. Gupta, and X. Zhang, Extended Whole Program Paths, International Conference on Parallel Architectures and Compilation Techniques, pages 17-26, St. Loius, Missouri, September 2005. 25.2% (30/119) |
| HPCA |
Y. Zhang, L. Gao, J. Yang, X. Zhang and R. Gupta, SENSS: Security Enhancement to Symmeteric Shared Memory Multiprocessors, IEEE 11th International Symposium on High Performance Computer Architecture, pages 352-362, San Francisco, California, February 2005. 15.5% (28/181) |
| MICRO |
X. Zhang and R. Gupta, Whole Execution Traces, IEEE/ACM 37th International Symposium on Microarchitecture, pages 105-116, Portland, Oregan, December 2004. 18.4% (29/158) |
| PLDI |
X. Zhang and R. Gupta, Cost Effective Dynamic Program Slicing, ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 94-106, Washington D.C., June 2004. 20% |
| ICSE |
X. Zhang, R. Gupta, and Y. Zhang Effective Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams, IEEE/ACM International Conference on Software Engineering, pages 502-511, Edinburgh, UK, May 2004. 13.3% (58/436) |
| CGO |
S. Tallam, X. Zhang, and R. Gupta, Extending Path Profiling across Loop Backedges and Procedure Boundaries, Second Annual IEEE/ACM International Symposium on Code Generation and Optimization, pages 251-262, San Jose, CA, March 2004. 31.6% (27/79) |
| ICSE |
Recipient of ICSE 2003 Distinguished Paper Award. X. Zhang, R. Gupta, and Y. Zhang Precise Dynamic Slicing Algorithms, IEEE/ACM International Conference on Software Engineering, pages 319-329, Portland, Oregon, May 2003. 13.0% (42/324) |
| CGO |
X. Zhang and R. Gupta, Hiding Program Slices for Software Security, First Annual IEEE/ACM International Symposium on Code Generation and Optimization, pages 325-336, San Francisco, CA, March 2003. 35.4% (29/82) |
| ICACI |
D. Zhang, L. Zhou and X. Zhang, Enhancing Information Retrieval With Natural Language Processing Technology, Proceedings of IASTED International Conference on Artificial and Computational Intelligence , pages 24-29, Tokyo, Japan, September 2002. |