Yunhui Zheng

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 43

Top Topics

Web Applications

Satisfiability Modulo Theories

Regular Expressions

Top Venues

Publications

Saurabh Pujar, Yunhui Zheng, Luca Buratti, Burn L. Lewis, Yunchung Chen, Jim Laredo, Alessandro Morari, Edward A. Epstein, Tsungnan Lin, Bo Yang, Zhong Su
Analyzing source code vulnerabilities in the D2A dataset with ML ensembles and C-BERT. Empir. Softw. Eng. 29 (2) (2024)
Yilong Sun, Zhiyong Wu, Ke Meng, Yunhui Zheng
Vehicular Task Offloading and Job Scheduling Method Based on Cloud-Edge Computing. IEEE Trans. Intell. Transp. Syst. 24 (12) (2023)
Sahil Suneja, Yufan Zhuang, Yunhui Zheng, Jim Laredo, Alessandro Morari, Udayan Khurana
Code Vulnerability Detection via Signal-Aware Learning. EuroS&P (2023)
Sahil Suneja, Yufan Zhuang, Yunhui Zheng, Jim Laredo, Alessandro Morari, Udayan Khurana
Incorporating Signal Awareness in Source Code Modeling: An Application to Vulnerability Detection. ACM Trans. Softw. Eng. Methodol. 32 (6) (2023)
Yutian Yan, Yunhui Zheng, Xinyue Liu, Nenad Medvidovic, Weihang Wang
Adhere: Automated Detection and Repair of Intrusive Ads. ICSE (2023)
Saurabh Pujar, Yunhui Zheng, Luca Buratti, Burn L. Lewis, Alessandro Morari, Jim Laredo, Kevin Postlethwait, Christoph Görn
Varangian: A Git Bot for Augmented Static Analysis. MSR (2022)
Chijung Jung, Doowon Kim, An Chen, Weihang Wang, Yunhui Zheng, Kyu Hyung Lee, Yonghwi Kwon
Hiding Critical Program Components via Ambiguous Translation. ICSE (2022)
Yangruibo Ding, Sahil Suneja, Yunhui Zheng, Jim Laredo, Alessandro Morari, Gail E. Kaiser, Baishakhi Ray
VELVET: a noVel Ensemble Learning approach to automatically locate VulnErable sTatements. SANER (2022)
Yangruibo Ding, Sahil Suneja, Yunhui Zheng, Jim Laredo, Alessandro Morari, Gail E. Kaiser, Baishakhi Ray
VELVET: a noVel Ensemble Learning approach to automatically locate VulnErable sTatements. CoRR (2021)
Yunhui Zheng, Saurabh Pujar, Burn L. Lewis, Luca Buratti, Edward A. Epstein, Bo Yang, Jim Laredo, Alessandro Morari, Zhong Su
D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential Analysis. CoRR (2021)
Sahil Suneja, Yufan Zhuang, Yunhui Zheng, Jim Laredo, Alessandro Morari
Data-Driven and SE-assisted AI Model Signal-Awareness Enhancement and Introspection. CoRR (2021)
Chijung Jung, Doowon Kim, Weihang Wang, Yunhui Zheng, Kyu Hyung Lee, Yonghwi Kwon
Defeating Program Analysis Techniques via Ambiguous Translation. ASE (2021)
Sahil Suneja, Yunhui Zheng, Yufan Zhuang, Jim Alain Laredo, Alessandro Morari
Towards Reliable AI for Source Code Understanding. SoCC (2021)
Sahil Suneja, Yunhui Zheng, Yufan Zhuang, Jim Alain Laredo, Alessandro Morari
Probing model signal-awareness via prediction-preserving input minimization. ESEC/SIGSOFT FSE (2021)
Yunhui Zheng, Saurabh Pujar, Burn L. Lewis, Luca Buratti, Edward A. Epstein, Bo Yang, Jim Laredo, Alessandro Morari, Zhong Su
D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential Analysis. ICSE (SEIP) (2021)
Yunhui Zheng, Sahil Suneja, Yufan Zhuang, Alessandro Morari, Jim Laredo
Probing Model Signal-Awareness via Prediction-Preserving Input Minimization. CoRR (2020)
Sahil Suneja, Yunhui Zheng, Yufan Zhuang, Jim Laredo, Alessandro Morari
Learning to map source code to software vulnerability using code-as-a-graph. CoRR (2020)
I Luk Kim, Yunhui Zheng, Hogun Park, Weihang Wang, Wei You, Yousra Aafer, Xiangyu Zhang
Finding client-side business flow tampering vulnerabilities. ICSE (2020)
Alan Romano, Yunhui Zheng, Weihang Wang
MinerRay: Semantics-Aware Analysis for Ever-Evolving Cryptojacking Detection. ASE (2020)
Luca Buratti, Saurabh Pujar, Mihaela A. Bornea, J. Scott McCarley, Yunhui Zheng, Gaetano Rossiello, Alessandro Morari, Jim Laredo, Veronika Thost, Yufan Zhuang, Giacomo Domeniconi
Exploring Software Naturalness through Neural Language Models. CoRR (2020)
Weihang Wang, I Luk Kim, Yunhui Zheng
Adjust: runtime mitigation of resource abusing third-party online ads. ICSE (2019)
I Luk Kim, Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, Weijie Meng, Xiangyu Zhang
AdBudgetKiller: Online Advertising Budget Draining Attack. WWW (2018)
Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh
StringFuzz: A Fuzzer for String Solvers. CAV (2) (2018)
Wei Zhang, Minwei Feng, Yunhui Zheng, Yufei Ren, Yandong Wang, Ji Liu, Peng Liu, Bing Xiang, Li Zhang, Bowen Zhou, Fei Wang
GaDei: On Scale-Up Training as a Service for Deep Learning. ICDM (2017)
Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Jim Alain Laredo, Julian Dolby, Christopher C. Young, Aleksander Slominski
Opportunities in Software Engineering Research for Web API Consumption. WAPI@ICSE (2017)
Murphy Berzish, Yunhui Zheng, Vijay Ganesh
Z3str3: A String Solver with Theory-aware Branching. CoRR (2017)
Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Julian Dolby, Jim Alain Laredo
Statically Checking Web API Requests in JavaScript. CoRR (2017)
Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Julian Dolby, Jim Alain Laredo
Statically checking web API requests in JavaScript. ICSE (2017)
Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, Patrick Eugster
PAD: programming third-party web advertisement censorship. ASE (2017)
Murphy Berzish, Vijay Ganesh, Yunhui Zheng
Z3str3: A string solver with theory-aware heuristics. FMCAD (2017)
Kyungtae Kim, I Luk Kim, Chung Hwan Kim, Yonghwi Kwon, Yunhui Zheng, Xiangyu Zhang, Dongyan Xu
J-Force: Forced Execution on JavaScript. WWW (2017)
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang
Z3str2: an efficient solver for strings, regular expressions, and length constraints. Formal Methods Syst. Des. 50 (2-3) (2017)
Peng Liu, Xiangyu Zhang, Marco Pistoia, Yunhui Zheng, Manoel Marques, Lingfei Zeng
Automatic text input generation for mobile testing. ICSE (2017)
Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Jim Alain Laredo, Julian Dolby, Christopher C. Young, Aleksander Slominski
Opportunities in Software Engineering Research for Web API Consumption. CoRR (2017)
Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, Dongyan Xu
CPR: cross platform binary code reuse via platform independent trace program. ISSTA (2017)
Wei Zhang, Minwei Feng, Yunhui Zheng, Yufei Ren, Yandong Wang, Ji Liu, Peng Liu, Bing Xiang, Li Zhang, Bowen Zhou
GaDei: On Scale-up Training As A Service For Deep Learning. CoRR (2016)
Weihang Wang, Yunhui Zheng, Xinyu Xing, Yonghwi Kwon, Xiangyu Zhang, Patrick Th. Eugster
WebRanz: web page randomization for better advertisement delivery and web-bot prevention. SIGSOFT FSE (2016)
Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh
A Solver for a Theory of Strings and Bit-vectors. CoRR (2016)
Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster
ARROW: automated repair of races on client-side web pages. ISSTA (2016)
Hao Sun, Xiangyu Zhang, Yunhui Zheng, Qingkai Zeng
IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions. ICSE (2016)
Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng
Light: replay via tightly bounded recording. PLDI (2015)
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang
Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints. CAV (1) (2015)
Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang, Keval Vora, Rajiv Gupta
RAIVE: runtime assessment of floating-point instability by vectorization. OOPSLA (2015)
Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, Zebao Gao
Virtual DOM coverage for effective testing of dynamic web applications. ISSTA (2014)
Yunhui Zheng, Xiangyu Zhang
Path sensitive static analysis of web applications for remote code execution vulnerability detection. ICSE (2013)
Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh
Z3-str: a z3-based string solver for web application analysis. ESEC/SIGSOFT FSE (2013)
William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang
Precise Calling Context Encoding. IEEE Trans. Software Eng. 38 (5) (2012)
Yunhui Zheng, Xiangyu Zhang
Static detection of resource contention problems in server-side scripts. ICSE (2012)
Tao Bao, Yunhui Zheng, Xiangyu Zhang
White box sampling in uncertain data processing enabled by program analysis. OOPSLA (2012)
Kyu Hyung Lee, Yunhui Zheng, Nick Sumner, Xiangyu Zhang
Toward generating reducible replay logs. PLDI (2011)
Yunhui Zheng, Tao Bao, Xiangyu Zhang
Statically locating web application bugs caused by asynchronous calls. WWW (2011)
William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang
Precise calling context encoding. ICSE (1) (2010)
Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu
Strict control dependence and its effect on dynamic information flow analyses. ISSTA (2010)
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, Aleksey Vasilyev, Anthony W. Yu, Yunhui Zheng
The Slope Imaging Multi-polarization Photon-counting Lidar: Development and performance results. IGARSS (2010)
Yunhui Zheng, David J. Brady, Pankaj K. Agarwal
Localization using boundary sensors: An analysis based on graph theory. ACM Trans. Sens. Networks 3 (4) (2007)
Yunhui Zheng, Wenlin Zhang, Yuechao Wang, Ning Xi
An event-based adaptive tactic coordination in tele-operating human-machine interactions using Hybrid Q-learning. ROBIO (2007)