PUBLICATIONS
Empir. Softw. Eng.
Analyzing Source Code Vulnerabilities in the D2A Dataset With ML Ensembles and C-BERT
S. Pujar, Y. Zheng, L. Buratti, B. Lewis, Y. Chen, J. Laredo, A. Morari, E. Epstein, T. Lin, B. Yang, Z. Su
Empirical Software Engineering, 2024
TOSEM
EUROS&P '23
ICSE '23
MSR '22
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
The 19th International Conference on Mining Software Repositories, Industry Track, 2022
SANER '22
ICSE '22
SoCC '21
ASE-NIER '21
FSE '21
Probing Model Signal-Awareness via Prediction-Preserving Input Minimization
Sahil Suneja*, Yunhui Zheng*, Yufan Zhuang*, Jim Laredo, Alessandro Morari
The 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Acceptance Rate: 24.5% (97/396)
* The authors contributed equally to the work and were sorted alphabetically.
ICSE-SEIP '21
ASE '20
ICSE '20
ICSE '19
CAV '18
StringFuzz: A Fuzzer for String Solvers
Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh
The 30th International Conference on Computer Aided Verification, Tool paper, 2018
WWW '18
ICDM '17
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
The IEEE International Conference on Data Mining, 2017
Acceptance Rate: 19.9% (155/778)
ASE '17
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, 2017
Acceptance Rate: 21% (65/314)
FMCAD '17
ISSTA '17
WWW '17
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, 2017
Acceptance Rate: 17% (164/966)
ICSE '17
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, 2017
Acceptance Rate: 16% (68/415)
* The authors contributed equally to the work and were sorted alphabetically.
ICSE '17
FMSD
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, June 2017, Volume 50, Issue 2, pp 249 - 288
Invited paper in the CAV 2015 Special Issue.
FSE '16
ISSTA '16
ICSE '16
OOPSLA '15
CAV '15
PLDI '15
ISSTA '14
FSE '13
ICSE '13
TSE
OOPSLA '12
ICSE '12
PLDI '11
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, 2011
Acceptance Rate: 23% (55/236)
WWW '11
ISSTA '10
ICSE '10
Precise Calling Context Encoding
William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang
The 32nd ACM/IEEE International Conference on Software Engineering, 2010
Acceptance Rate: 14% (52/380)