Yunhui Zheng  Yunhui Zheng photo       

contact information

Research Staff Member
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash2339

links


more information

More information:  Personal webpage


2017

GaDei: On Scale-up Training As A Service For Deep Learning
Wei Zhang, Minwei Feng, Yunhui Zheng, Yufei Ren, Yandong Wang, Ji Liu, Peng Liu, Bing Xiang, Li Zhang, Bowen Zhou, Fei Wang
The IEEE International Conference on Data Mining (ICDM), 2017

PAD: Programming Third-party Web Advertisement Censorship
Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, Patrick Eugster
The 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017

Z3str3: A String Solver with Theory-aware Branching
Murphy Berzish, Yunhui Zheng, Vijay Ganesh
Formal Methods in Computer-Aided Design (FMCAD), 2017

CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program
Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang and Dongyan Xu
The 2017 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

Statically Checking Web API Requests in JavaScript
Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Julian Dolby, Jim A. Laredo
The 39th International Conference on Software Engineering (ICSE), 2017

Automatic Input Generation for Mobile Testing
Peng Liu, Xiangyu Zhang, Marco Pistoia, Yunhui Zheng, Manoel Marques, Lingfei Zeng
The 39th International Conference on Software Engineering (ICSE), 2017

Z3str2: An Efficient Solver for Strings, Regular Expressions, and Length Constraints
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang
Formal Methods in System Design 50(2), 249 - 288, 2017
Invited paper at the CAV 2015 Special Issue

J-Force: Forced Execution on JavaScript
Kyungtae Kim, I Luk Kim, Chung Hwan Kim, Yonghwi Kwon, Yunhui Zheng, Xiangyu Zhang, Dongyan Xu
The 26th International World Wide Web Conference (WWW), 2017


2016

WebRanz: Web Page Randomization For Better Advertisement Delivery and Web-Bot Prevention
Weihang Wang, Yunhui Zheng, Xinyu Xing, Yonghwi Kwon, Xiangyu Zhang and Patrick Eugster
The 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), 2016

ARROW: Automated Repair of Races on Client-Side Web Pages
Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster
The 2016 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

IntEQ: Recognizing Benign Integer Overflows via Equivalence Checking Across Multiple Precisions
Hao Sun, Xiangyu Zhang, Yunhui Zheng, Qingkai Zeng
The 38th International Conference on Software Engineering (ICSE), 2016


2015

RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization
Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang, Keval Vora, Rajiv Gupta
The ACM SIGPLAN Conference on Object-Oriented Programming. Systems, Languages and Applications (OOPSLA), 2015

Effective Search-space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang
The 27th International Conference on Computer Aided Verification (CAV), 2015

Light: Replay via Tightly Bounded Recording
Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng
The 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2015


2014

Virtual DOM coverage for effective testing of dynamic web applications
Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, Zebao Gao
The 2014 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)


2013

Z3-str: A Z3-Based String Solver for Web Application Analysis
Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh
The 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2013

Path Sensitive Static Analysis of Web Applications for Remote Code Execution Vulnerability Detection
Yunhui Zheng, Xiangyu Zhang
The 35th International Conference on Software Engineering (ICSE), 2013


2012

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

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

Static Detection of Resource Contention Problems in Server-Side Scripts
Yunhui Zheng, Xiangyu Zhang
The 34th International Conference on Software Engineering (ICSE), 2012


2011

Toward Generating Reduciable Replay Log
Kyu Hyung Lee, Yunhui Zheng, William N. Sumner, Xiangyu Zhang
The 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2011

Statically Locating Web Application Bugs Caused by Asynchronous Calls
Yunhui Zheng, Tao Bao, Xiangyu Zhang
The 20th International World Wide Web Conference (WWW), 2011


2010

Strict Control Dependence and Its Effect on Dynamic Information Flow Analyses
Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu
The 2010 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

Precise Calling Context Encoding
William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang
The 32nd ACM/IEEE International Conference on Software Engineering (ICSE), 2010