Yunhui Zheng

According to our database, Yunhui Zheng authored at least 51 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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, Zhong Su

Empir. Softw. Eng., April, 2024

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., December, 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., November, 2023

Adhere: Automated Detection and Repair of Intrusive Ads.

Yutian Yan, Yunhui Zheng, Xinyue Liu, Nenad Medvidovic, Weihang Wang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Code Vulnerability Detection via Signal-Aware Learning.

Sahil Suneja, Yufan Zhuang, Yunhui Zheng, Jim Laredo, Alessandro Morari, Udayan Khurana

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

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

Proceedings of the IEEE International Conference on Software Analysis, 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

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

Hiding Critical Program Components via Ambiguous Translation.

Chijung Jung, Doowon Kim, An Chen, Weihang Wang, Yunhui Zheng, Kyu Hyung Lee, Yonghwi Kwon

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

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

Probing model signal-awareness via prediction-preserving input minimization.

Sahil Suneja, Yunhui Zheng, Yufan Zhuang, Jim Alain Laredo, Alessandro Morari

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Defeating Program Analysis Techniques via Ambiguous Translation.

Chijung Jung, Doowon Kim, Weihang Wang, Yunhui Zheng, Kyu Hyung Lee, Yonghwi Kwon

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 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, Jim Laredo, Alessandro Morari, Zhong Su

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

Towards Reliable AI for Source Code Understanding.

Sahil Suneja, Yunhui Zheng, Yufan Zhuang, Jim Alain Laredo, Alessandro Morari

Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021

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

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

MinerRay: Semantics-Aware Analysis for Ever-Evolving Cryptojacking Detection.

Alan Romano, Yunhui Zheng, Weihang Wang

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Finding client-side business flow tampering vulnerabilities.

I Luk Kim, Yunhui Zheng, Hogun Park, Weihang Wang, Wei You, Yousra Aafer, Xiangyu Zhang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Adjust: runtime mitigation of resource abusing third-party online ads.

Weihang Wang, I Luk Kim, Yunhui Zheng

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

AdBudgetKiller: Online Advertising Budget Draining Attack.

I Luk Kim, Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, Weijie Meng, Xiangyu Zhang

Proceedings of the 2018 World Wide Web Conference on World Wide Web, 2018

StringFuzz: A Fuzzer for String Solvers.

Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

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 Syst. Des., 2017

Z3str3: A String Solver with Theory-aware Branching.

Murphy Berzish, Yunhui Zheng, Vijay Ganesh

CoRR, 2017

J-Force: Forced Execution on JavaScript.

Kyungtae Kim, I Luk Kim, Chung Hwan Kim, Yonghwi Kwon, Yunhui Zheng, Xiangyu Zhang, Dongyan Xu

Proceedings of the 26th International Conference on World Wide Web, 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

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

CPR: cross platform binary code reuse via platform independent trace program.

Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, Dongyan Xu

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 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

Proceedings of the 1st IEEE/ACM International Workshop on API Usage and Evolution, 2017

Statically checking web API requests in JavaScript.

Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Julian Dolby, Jim Alain Laredo

Proceedings of the 39th International Conference on Software Engineering, 2017

Automatic text input generation for mobile testing.

Peng Liu, Xiangyu Zhang, Marco Pistoia, Yunhui Zheng, Manoel Marques, Lingfei Zeng

Proceedings of the 39th International Conference on Software Engineering, 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

Proceedings of the 2017 IEEE International Conference on Data Mining, 2017

Z3str3: A string solver with theory-aware heuristics.

Murphy Berzish, Vijay Ganesh, Yunhui Zheng

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

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

CoRR, 2016

A Solver for a Theory of Strings and Bit-vectors.

Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh

CoRR, 2016

WebRanz: web page randomization for better advertisement delivery and web-bot prevention.

Weihang Wang, Yunhui Zheng, Xinyu Xing, Yonghwi Kwon, Xiangyu Zhang, Patrick Th. Eugster

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

ARROW: automated repair of races on client-side web pages.

Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions.

Hao Sun, Xiangyu Zhang, Yunhui Zheng, Qingkai Zeng

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Light: replay via tightly bounded recording.

Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

RAIVE: runtime assessment of floating-point instability by vectorization.

Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang, Keval Vora, Rajiv Gupta

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 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

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Path sensitive static program analysis for web applications

Yunhui Zheng

PhD thesis, 2014

Virtual DOM coverage for effective testing of dynamic web applications.

Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, Zebao Gao

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013

Z3-str: a z3-based string solver for web application analysis.

Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Path sensitive static analysis of web applications for remote code execution vulnerability detection.

Yunhui Zheng, Xiangyu Zhang

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Precise Calling Context Encoding.

William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang

IEEE Trans. Software Eng., 2012

White box sampling in uncertain data processing enabled by program analysis.

Tao Bao, Yunhui Zheng, Xiangyu Zhang

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Static detection of resource contention problems in server-side scripts.

Yunhui Zheng, Xiangyu Zhang

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Statically locating web application bugs caused by asynchronous calls.

Yunhui Zheng, Tao Bao, Xiangyu Zhang

Proceedings of the 20th International Conference on World Wide Web, 2011

Toward generating reducible replay logs.

Kyu Hyung Lee, Yunhui Zheng, Nick Sumner, Xiangyu Zhang

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Strict control dependence and its effect on dynamic information flow analyses.

Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

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, Aleksey Vasilyev, Anthony W. Yu, Yunhui Zheng

Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

2007

Localization using boundary sensors: An analysis based on graph theory.

Yunhui Zheng, David J. Brady, Pankaj K. Agarwal

ACM Trans. Sens. Networks, 2007

An event-based adaptive tactic coordination in tele-operating human-machine interactions using Hybrid Q-learning.

Yunhui Zheng, Wenlin Zhang, Yuechao Wang, Ning Xi

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2007