Yunhui Zheng @ Purdue University

Publications

• ESEC/FSE'13 Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh. Z3-str: A Z3-Based String Solver for Web Application Analysis. the 9^th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. (20%)
[Z3-str string constraint solver project page]

• ICSE'13 Yunhui Zheng, Xiangyu Zhang. Path Sensitive Static Analysis of Web Applications for Remote Code Execution Vulnerability Detection. the 35^th International Conference on Software Engineering. (18.5%)

• TSE William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang. Precise Calling Context Encoding. IEEE Transactions of Software Engineering, 2012

• OOPSLA'12 Tao Bao, Yunhui Zheng, Xiangyu Zhang. White Box Sampling in Uncertain Data Processing Enabled by Program Analysis. the 27^th ACM SIGPLAN Conference on Object-Oriented Programming. Systems, Languages and Applications (25%)

• ICSE'12 Yunhui Zheng, Xiangyu Zhang. Static Detection of Resource Contention Problems in Server-Side Scripts. the 34^th International Conference on Software Engineering. (21%)

• PLDI'11 Kyu Hyung Lee, Yunhui Zheng, William N. Sumner, Xiangyu Zhang. Toward Generating Reduciable Replay Log. the 32^nd Acm Sigplan Conference on Programming Language Design and Implementation. (23%)

• WWW'11 Yunhui Zheng, Tao Bao, Xiangyu Zhang. Statically Locating Web Application Bugs Caused by Asynchronous Calls. the 20^th International World Wide Web Conference. (12%)

• ISSTA'10 Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu. Strict Control Dependence and Its Effect on Dynamic Information Flow Analyses (extended version). the 2010 ACM Sigsoft International Symposium on Software Testing and Analysis. (23%)

• ICSE'10 William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang. Precise Calling Context Encoding. the 32^nd Acm/Ieee International Conference on Software Engineering. (14%)

• ESEC/FSE'13	Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh. Z3-str: A Z3-Based String Solver for Web Application Analysis. the 9^th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. (20%) [Z3-str string constraint solver project page]
• ICSE'13	Yunhui Zheng, Xiangyu Zhang. Path Sensitive Static Analysis of Web Applications for Remote Code Execution Vulnerability Detection. the 35^th International Conference on Software Engineering. (18.5%)
• TSE	William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang. Precise Calling Context Encoding. IEEE Transactions of Software Engineering, 2012
• OOPSLA'12	Tao Bao, Yunhui Zheng, Xiangyu Zhang. White Box Sampling in Uncertain Data Processing Enabled by Program Analysis. the 27^th ACM SIGPLAN Conference on Object-Oriented Programming. Systems, Languages and Applications (25%)
• ICSE'12	Yunhui Zheng, Xiangyu Zhang. Static Detection of Resource Contention Problems in Server-Side Scripts. the 34^th International Conference on Software Engineering. (21%)
• PLDI'11	Kyu Hyung Lee, Yunhui Zheng, William N. Sumner, Xiangyu Zhang. Toward Generating Reduciable Replay Log. the 32^nd Acm Sigplan Conference on Programming Language Design and Implementation. (23%)
• WWW'11	Yunhui Zheng, Tao Bao, Xiangyu Zhang. Statically Locating Web Application Bugs Caused by Asynchronous Calls. the 20^th International World Wide Web Conference. (12%)
• ISSTA'10	Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu. Strict Control Dependence and Its Effect on Dynamic Information Flow Analyses (extended version). the 2010 ACM Sigsoft International Symposium on Software Testing and Analysis. (23%)
• ICSE'10	William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang. Precise Calling Context Encoding. the 32^nd Acm/Ieee International Conference on Software Engineering. (14%)