An event-based adaptive tactic coordination in tele-operating human-machine interactions using Hybrid Q-learning. - Yunhui Zheng; Wenlin Zhang; Yuechao Wang; Ning Xi 001 (ROBIO, 2007)

Localization using boundary sensors: An analysis based on graph theory. - Yunhui Zheng; David J. Brady; Pankaj K. Agarwal (ACM Trans. Sens. Networks, 2007)

The Slope Imaging Multi-polarization Photon-counting Lidar: Development and performance results. - Philip W. Dabney; David J. Harding; James B. Abshire; Tim Huss; Gabriel Jodor; Roman Machan; Joe Marzouk; Kurt Rush; Antonios Seas; Christopher Shuman; Xiaoli Sun; Susan Valett; et al. (IGARSS, 2010)

Strict control dependence and its effect on dynamic information flow analyses. - Tao Bao; Yunhui Zheng; Zhiqiang Lin 001; Xiangyu Zhang 001; Dongyan Xu (ISSTA, 2010)

Toward generating reducible replay logs. - Kyu Hyung Lee; Yunhui Zheng; Nick Sumner; Xiangyu Zhang 001 (PLDI, 2011)

Statically locating web application bugs caused by asynchronous calls. - Yunhui Zheng; Tao Bao; Xiangyu Zhang 001 (WWW, 2011)

Static detection of resource contention problems in server-side scripts. - Yunhui Zheng; Xiangyu Zhang 001 (ICSE, 2012)

White box sampling in uncertain data processing enabled by program analysis. - Tao Bao; Yunhui Zheng; Xiangyu Zhang 001 (OOPSLA, 2012)

Precise Calling Context Encoding. - William N. Sumner; Yunhui Zheng; Dasarath Weeratunge; Xiangyu Zhang 001 (IEEE Trans. Software Eng., 2012)

Path sensitive static analysis of web applications for remote code execution vulnerability detection. - Yunhui Zheng; Xiangyu Zhang 001 (ICSE, 2013)

Z3-str: a z3-based string solver for web application analysis. - Yunhui Zheng; Xiangyu Zhang 001; Vijay Ganesh 001 (ESEC/SIGSOFT FSE, 2013)

Virtual DOM coverage for effective testing of dynamic web applications. - Yunxiao Zou; Zhenyu Chen 001; Yunhui Zheng; Xiangyu Zhang 001; Zebao Gao (ISSTA, 2014)

Path sensitive static program analysis for web applications - Yunhui Zheng (2014)

Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints. - Yunhui Zheng; Vijay Ganesh 001; Sanu Subramanian; Omer Tripp; Julian Dolby; Xiangyu Zhang 001 (CAV (1), 2015)

RAIVE: runtime assessment of floating-point instability by vectorization. - Wen-Chuan Lee; Tao Bao; Yunhui Zheng; Xiangyu Zhang 001; Keval Vora; Rajiv Gupta 001 (OOPSLA, 2015)

Light: replay via tightly bounded recording. - Peng Liu 010; Xiangyu Zhang 001; Omer Tripp; Yunhui Zheng (PLDI, 2015)

IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions. - Hao Sun; Xiangyu Zhang 001; Yunhui Zheng; Qingkai Zeng 002 (ICSE, 2016)

ARROW: automated repair of races on client-side web pages. - Weihang Wang 001; Yunhui Zheng; Peng Liu 010; Lei Xu 003; Xiangyu Zhang 001; Patrick Eugster (ISSTA, 2016)

WebRanz: web page randomization for better advertisement delivery and web-bot prevention. - Weihang Wang 001; Yunhui Zheng; Xinyu Xing 001; Yonghwi Kwon 001; Xiangyu Zhang 001; Patrick Th. Eugster (SIGSOFT FSE, 2016)

A Solver for a Theory of Strings and Bit-vectors. - Sanu Subramanian; Murphy Berzish; Yunhui Zheng; Omer Tripp; Vijay Ganesh 001 (CoRR, 2016)

GaDei: On Scale-up Training As A Service For Deep Learning. - Wei Zhang 057; Minwei Feng; Yunhui Zheng; Yufei Ren; Yandong Wang; Ji Liu; Peng Liu 010; Bing Xiang; Li Zhang 002; Bowen Zhou 002 (CoRR, 2016)

Z3str3: A string solver with theory-aware heuristics. - Murphy Berzish; Vijay Ganesh 001; Yunhui Zheng (FMCAD, 2017)

GaDei: On Scale-Up Training as a Service for Deep Learning. - Wei Zhang 057; Minwei Feng; Yunhui Zheng; Yufei Ren; Yandong Wang; Ji Liu; Peng Liu 010; Bing Xiang; Li Zhang 002; Bowen Zhou 002; Fei Wang 001 (ICDM, 2017)

Automatic text input generation for mobile testing. - Peng Liu 010; Xiangyu Zhang 001; Marco Pistoia; Yunhui Zheng; Manoel Marques; Lingfei Zeng (ICSE, 2017)

Statically checking web API requests in JavaScript. - Erik Wittern; Annie T. T. Ying; Yunhui Zheng; Julian Dolby; Jim Alain Laredo (ICSE, 2017)

Opportunities in Software Engineering Research for Web API Consumption. - Erik Wittern; Annie T. T. Ying; Yunhui Zheng; Jim Alain Laredo; Julian Dolby; Christopher C. Young; Aleksander Slominski (WAPI@ICSE, 2017)

CPR: cross platform binary code reuse via platform independent trace program. - Yonghwi Kwon 001; Weihang Wang 001; Yunhui Zheng; Xiangyu Zhang 001; Dongyan Xu (ISSTA, 2017)

PAD: programming third-party web advertisement censorship. - Weihang Wang 001; Yonghwi Kwon 001; Yunhui Zheng; Yousra Aafer; I Luk Kim; Wen-Chuan Lee; Yingqi Liu; Weijie Meng; Xiangyu Zhang 001; Patrick Eugster (ASE, 2017)

J-Force: Forced Execution on JavaScript. - Kyungtae Kim; I Luk Kim; Chung Hwan Kim; Yonghwi Kwon 001; Yunhui Zheng; Xiangyu Zhang 001; Dongyan Xu (WWW, 2017)

Z3str3: A String Solver with Theory-aware Branching. - Murphy Berzish; Yunhui Zheng; Vijay Ganesh 001 (CoRR, 2017)

Z3str2: an efficient solver for strings, regular expressions, and length constraints. - Yunhui Zheng; Vijay Ganesh 001; Sanu Subramanian; Omer Tripp; Murphy Berzish; Julian Dolby; Xiangyu Zhang 001 (Formal Methods Syst. Des., 2017)

StringFuzz: A Fuzzer for String Solvers. - Dmitry Blotsky; Federico Mora 002; Murphy Berzish; Yunhui Zheng; Ifaz Kabir; Vijay Ganesh 001 (CAV (2), 2018)

AdBudgetKiller: Online Advertising Budget Draining Attack. - I Luk Kim; Weihang Wang 001; Yonghwi Kwon 001; Yunhui Zheng; Yousra Aafer; Weijie Meng; Xiangyu Zhang 001 (WWW, 2018)

Adjust: runtime mitigation of resource abusing third-party online ads. - Weihang Wang 001; I Luk Kim; Yunhui Zheng (ICSE, 2019)

Finding client-side business flow tampering vulnerabilities. - I Luk Kim; Yunhui Zheng; Hogun Park; Weihang Wang 001; Wei You 001; Yousra Aafer; Xiangyu Zhang 001 (ICSE, 2020)

MinerRay: Semantics-Aware Analysis for Ever-Evolving Cryptojacking Detection. - Alan Romano; Yunhui Zheng; Weihang Wang 001 (ASE, 2020)

Learning to map source code to software vulnerability using code-as-a-graph. - Sahil Suneja; Yunhui Zheng; Yufan Zhuang; Jim Laredo; Alessandro Morari (CoRR, 2020)

Exploring Software Naturalness through Neural Language Models. - Luca Buratti; Saurabh Pujar; Mihaela A. Bornea; J. Scott McCarley; Yunhui Zheng; Gaetano Rossiello; Alessandro Morari; Jim Laredo; Veronika Thost; Yufan Zhuang; Giacomo Domeniconi (CoRR, 2020)

Towards Reliable AI for Source Code Understanding. - Sahil Suneja; Yunhui Zheng; Yufan Zhuang; Jim Alain Laredo; Alessandro Morari (SoCC, 2021)

D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential Analysis. - Yunhui Zheng; Saurabh Pujar; Burn L. Lewis; Luca Buratti; Edward A. Epstein; Bo Yang 013; Jim Laredo; Alessandro Morari; Zhong Su (ICSE (SEIP), 2021)

Defeating Program Analysis Techniques via Ambiguous Translation. - Chijung Jung; Doowon Kim; Weihang Wang 001; Yunhui Zheng; Kyu Hyung Lee; Yonghwi Kwon 001 (ASE, 2021)

Probing model signal-awareness via prediction-preserving input minimization. - Sahil Suneja; Yunhui Zheng; Yufan Zhuang; Jim Alain Laredo; Alessandro Morari (ESEC/SIGSOFT FSE, 2021)

Data-Driven and SE-assisted AI Model Signal-Awareness Enhancement and Introspection. - Sahil Suneja; Yufan Zhuang; Yunhui Zheng; Jim Laredo; Alessandro Morari (CoRR, 2021)

Hiding Critical Program Components via Ambiguous Translation. - Chijung Jung; Doowon Kim; An Chen; Weihang Wang 001; Yunhui Zheng; Kyu Hyung Lee; Yonghwi Kwon 001 (ICSE, 2022)

Varangian: A Git Bot for Augmented Static Analysis. - Saurabh Pujar; Yunhui Zheng; Luca Buratti; Burn L. Lewis; Alessandro Morari; Jim Laredo; Kevin Postlethwait; Christoph Görn (MSR, 2022)

VELVET: a noVel Ensemble Learning approach to automatically locate VulnErable sTatements. - Yangruibo Ding; Sahil Suneja; Yunhui Zheng; Jim Laredo; Alessandro Morari; Gail E. Kaiser; Baishakhi Ray (SANER, 2022)

Code Vulnerability Detection via Signal-Aware Learning. - Sahil Suneja; Yufan Zhuang; Yunhui Zheng; Jim Laredo; Alessandro Morari; Udayan Khurana (EuroS&P, 2023)

Adhere: Automated Detection and Repair of Intrusive Ads. - Yutian Yan; Yunhui Zheng; Xinyue Liu; Nenad Medvidovic; Weihang Wang 001 (ICSE, 2023)

Incorporating Signal Awareness in Source Code Modeling: An Application to Vulnerability Detection. - Sahil Suneja; Yufan Zhuang; Yunhui Zheng; Jim Laredo; Alessandro Morari; Udayan Khurana (ACM Trans. Softw. Eng. Methodol., 2023)

Vehicular Task Offloading and Job Scheduling Method Based on Cloud-Edge Computing. - Yilong Sun; Zhiyong Wu; Ke Meng; Yunhui Zheng (IEEE Trans. Intell. Transp. Syst., 2023)

A Novel Multi-Dimensional Joint Search Method for the Compression of Medical Image Segmentation Models. - Yunhui Zheng; Zhiyong Wu; Fengna Ji; Lei Du; Zhenyu Yang (J. Imaging, 2024)

Analyzing source code vulnerabilities in the D2A dataset with ML ensembles and C-BERT. - Saurabh Pujar; Yunhui Zheng; Luca Buratti; Burn L. Lewis; Yunchung Chen; Jim Laredo; Alessandro Morari; Edward A. Epstein; Tsungnan Lin; Bo Yang 013; Zhong Su (Empir. Softw. Eng., 2024)