Selected Publications
Glitch Tokens in Large Language Models: Categorization
Taxonomy and Effective Detection [link to paper]
Yuxi Li, Yi Liu, Gelei Deng, Ying Zhang, Wenjia Song, Ling Shi, Kailong Wang, Yuekang Li, Yang Liu and Haoyu Wang
The ACM International Conference on the Foundations of Software Engineering (FSE), 2024
Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors
in Rust [link to paper]
Ying Zhang, Peng Li, Yu Ding, Wang Lingxiang, Dan Williams, and Na Meng
46th International Conference on Software Engineering (ICSE), SEIP, 2024
MASTERKEY: Automated Jailbreak Across Multiple Large Language Model Chatbots [link to paper]
Gelei Deng, Yi Liu, Yuekang Li, Kailong Wang, Ying Zhang, Zefeng Li, Haoyu Wang, Tianwei Zhang, and Yang Liu
The Network and Distributed System Security Symposium (NDSS)2024
Example-Based Vulnerability Detection and Repair in Java Code [link to paper]
Ying Zhang, Ya Xiao, Mahir Kabir, Danfeng (Daphne)Yao, and Na Meng
30th IEEE/ACM International Conference on Program Comprehension (ICPC) 2022
Automatic Detection of Java Cryptographic API Misuses: Are We There Yet? [link to paper]
Ying Zhang, Mahir Kabir, Ya Xiao, Danfeng (Daphne)Yao, and Na Meng
Transactions on Software Engineering (TSE) 2022