Yunhui Zheng

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