| 2026 | ACL | HiSA: Hierarchical State Abstraction for Scalable GUI Agents. | Weiming Li, Hye-young Paik, Yulei Sui |
| 2026 | FM | Mining Verdict Boundaries for Neural Network Verification. | Jiawei Ren, Guanqin Zhang, Zhenya Zhang, Yulei Sui |
| 2025 | ACISP | Understanding the Robustness of Machine-Unlearning Models. | Guanqin Zhang, Feng Xu, H. M. N. Dilum Bandara, Shiping Chen, Yulei Sui |
| 2025 | DATE | Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification. | Kota Fukuda, Guanqin Zhang, Zhenya Zhang, Yulei Sui, Jianjun Zhao |
| 2025 | ECOOP | Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering. | Jiawei Yang, Xiao Cheng, Bor-Yuh Evan Chang, Xiapu Luo, Yulei Sui |
| 2025 | ECOOP | Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees. | Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui |
| 2025 | ICFEM | MetaLogic: Robustness Evaluation of Text-to-Image Models via Logically Equivalent Prompts. | Yifan Shen, Yangyang Shu, Hye-young Paik, Yulei Sui |
| 2025 | ICSE | Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs. | Chenxi Zhang, Yufei Liang, Tian Tan, Chang Xu, Shuangxiang Kan, Yulei Sui, Yue Li |
| 2025 | ISSTA | Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation. | Pei Xu, Yulei Sui, Mark Staples |
| 2025 | RAID | ViDToken: A Video-Transformer-Based Latent Token Defense for Adversarial Video Detection. | Wei Song, Yulei Sui, Zhenchang Xing, Liming Zhu, Jingling Xue |
| 2025 | WWW | IllusionCAPTCHA: A CAPTCHA based on Visual Illusion. | Ziqi Ding, Gelei Deng, Yi Liu, Junchen Ding, Jieshan Chen, Yulei Sui, Yuekang Li |
| 2025 | TACAS | SVF-SVC: Software Verification Using SVF (Competition Contribution). | Cameron McGowan, Matthew Richards, Yulei Sui |
| 2024 | ACL | Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedback. | Zhangqian Bi, Yao Wan, Zheng Wang, Hongyu Zhang, Batu Guan, Fangxin Lu, Zili Zhang, Yulei Sui, Hai Jin, Xuanhua Shi |
| 2024 | EACL | NL2Formula: Generating Spreadsheet Formulas from Natural Language Queries. | Wei Zhao, Zhitao Hou, Siyuan Wu, Yang Gao, Haoyu Dong, Yao Wan, Hongyu Zhang, Yulei Sui, Haidong Zhang |
| 2024 | ICSE | Precise Sparse Abstract Execution via Cross-Domain Interaction. | Xiao Cheng, Jiawei Wang, Yulei Sui |
| 2024 | ICSE | An Exploratory Investigation of Log Anomalies in Unmanned Aerial Vehicles. | Dinghua Wang, Shuqing Li, Guanping Xiao, Yepang Liu, Yulei Sui, Pinjia He, Michael R. Lyu |
| 2024 | ISSTA | Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation. | Zhaoyang Chu, Yao Wan, Qian Li, Yang Wu, Hongyu Zhang, Yulei Sui, Guandong Xu, Hai Jin |
| 2023 | EMNLP | Uncovering Limitations in Text-to-Image Generation: A Contrastive Approach with Structured Semantic Alignment. | Qianyu Feng, Yulei Sui, Hongyu Zhang |
| 2023 | ICSE | Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services. | Zexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu, John C. S. Lui |
| 2023 | ISSRE | Why Do Deep Learning Projects Differ in Compatible Framework Versions? An Exploratory Study. | Huashan Lei, Shuai Zhang, Jun Wang, Guanping Xiao, Yepang Liu, Yulei Sui |
| 2022 | ASPLOS | Path-sensitive and alias-aware typestate analysis for detecting OS bugs. | Tuo Li, Jia-Ju Bai, Yulei Sui, Shi-Min Hu |
| 2022 | ICSE | NaturalCC: An Open-Source Toolkit for Code Intelligence. | Yao Wan, Yang He, Zhangqian Bi, Jianguo Zhang, Yulei Sui, Hongyu Zhang, Kazuma Hashimoto, Hai Jin, Guandong Xu, Caiming Xiong, Philip S. Yu |
| 2022 | ICSE | What Do They Capture? - A Structural Analysis of Pre-Trained Language Models for Source Code. | Yao Wan, Wei Zhao, Hongyu Zhang, Yulei Sui, Guandong Xu, Hai Jin |
| 2022 | ICSE | Field-Based Static Taint Analysis for Industrial Microservices. | Zexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu |
| 2022 | ISSRE | Enhancing Traceability Link Recovery with Unlabeled Data. | Jianfei Zhu, Guanping Xiao, Zheng Zheng, Yulei Sui |
| 2022 | ISSTA | Path-sensitive code embedding via contrastive learning for software vulnerability detection. | Xiao Cheng, Guanqin Zhang, Haoyu Wang, Yulei Sui |
| 2021 | ACL | Disentangled Code Representation Learning for Multiple Programming Languages. | Jingfeng Zhang, Haiwen Hong, Yin Zhang, Yao Wan, Ye Liu, Yulei Sui |
| 2021 | CGO | Object Versioning for Flow-Sensitive Pointer Analysis. | Mohamad Barbar, Yulei Sui, Shiping Chen |
| 2021 | EMNLP | Fix-Filter-Fix: Intuitively Connect Any Models for Effective Bug Fixing. | Haiwen Hong, Jingfeng Zhang, Yin Zhang, Yao Wan, Yulei Sui |
| 2021 | ISSRE | Nondeterministic Impact of CPU Multithreading on Training Deep Learning Systems. | Guanping Xiao, Jun Liu, Zheng Zheng, Yulei Sui |
| 2021 | ISSTA | Runtime detection of memory errors with smart status. | Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, Jingling Xue |
| 2021 | SAS | Hash Consed Points-To Sets. | Mohamad Barbar, Yulei Sui |
| 2020 | APSEC | An Empirical Study of Code Deobfuscations on Detecting Obfuscated Android Piggybacked Apps. | Yanxin Zhang, Guanping Xiao, Zheng Zheng, Tianqing Zhu, Ivor W. Tsang, Yulei Sui |
| 2020 | ECOOP | Flow-Sensitive Type-Based Heap Cloning. | Mohamad Barbar, Yulei Sui, Shiping Chen |
| 2020 | ESEM | Perf-AL: Performance Prediction for Configurable Software through Adversarial Learning. | Yangyang Shu, Yulei Sui, Hongyu Zhang, Guandong Xu |
| 2020 | ICSE | Typestate-guided fuzzer for discovering use-after-free vulnerabilities. | Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen, Yulei Sui |
| 2020 | ICSE | Clairvoyance: cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts. | Jiaming Ye, Mingliang Ma, Yun Lin, Yulei Sui, Yinxing Xue |
| 2020 | ISSRE | Fault Triggers in the TensorFlow Framework: An Experience Report. | Xiaoting Du, Guanping Xiao, Yulei Sui |
| 2020 | ISSRE | An Exploratory Study of Bugs in Extended Reality Applications on the Web. | Shuqing Li, Yechang Wu, Yi Liu, Dinghua Wang, Ming Wen, Yida Tao, Yulei Sui, Yepang Liu |
| 2020 | ISSRE | HINDBR: Heterogeneous Information Network Based Duplicate Bug Report Prediction. | Guanping Xiao, Xiaoting Du, Yulei Sui, Tao Yue |
| 2019 | ICECCS | Static Detection of Control-Flow-Related Vulnerabilities Using Graph Embedding. | Xiao Cheng, Haoyu Wang, Jiayi Hua, Miao Zhang, Guoai Xu, Li Yi, Yulei Sui |
| 2019 | ICSE | VFix: value-flow-guided precise program repair for null pointer dereferences. | Xuezheng Xu, Yulei Sui, Hua Yan, Jingling Xue |
| 2019 | ICST | Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android. | Diyu Wu, Jie Liu, Yulei Sui, Shiping Chen, Jingling Xue |
| 2019 | ISSRE | TCD: Statically Detecting Type Confusion Errors in C++ Programs. | Changwei Zou, Yulei Sui, Hua Yan, Jingling Xue |
| 2019 | SAS | Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis. | Yuxiang Lei, Yulei Sui |
| 2019 | SAS | Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis. | Hua Yan, Shiping Chen, Yulei Sui, Yueqian Zhang, Changwei Zou, Jingling Xue |
| 2018 | ACISP | Live Path CFI Against Control Flow Hijacking Attacks. | Mohamad Barbar, Yulei Sui, Hongyu Zhang, Shiping Chen, Jingling Xue |
| 2018 | ICSE | Live path control flow integrity. | Mohamad Barbar, Yulei Sui, Hongyu Zhang, Shiping Chen, Jingling Xue |
| 2018 | ICSE | Spatio-temporal context reduction: a pointer-analysis-based static approach for detecting use-after-free vulnerabilities. | Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue |
| 2018 | ICSE | Launch-mode-aware context-sensitive activity transition analysis. | Yifei Zhang, Yulei Sui, Jingling Xue |
| 2018 | TrustCom | Permission Analysis of Health and Fitness Apps in IoT Programming Frameworks. | Mehdi Nobakht, Yulei Sui, Aruna Seneviratne, Wen Hu |
| 2017 | ACSAC | Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection. | Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue |
| 2017 | ISSTA | Boosting the precision of virtual call integrity protection with partial pointer analysis for C++. | Xiaokang Fan, Yulei Sui, Xiangke Liao, Jingling Xue |
| 2017 | SAS | Incremental Analysis for Probabilistic Programs. | Jieyuan Zhang, Yulei Sui, Jingling Xue |
| 2016 | CC | SVF: interprocedural static value-flow analysis in LLVM. | Yulei Sui, Jingling Xue |
| 2016 | CGO | Sparse flow-sensitive pointer analysis for multithreaded programs. | Yulei Sui, Peng Di, Jingling Xue |
| 2016 | PPoPP | Accelerating Dynamic Data Race Detection Using Static Thread Interference Analysis. | Peng Di, Yulei Sui |
| 2016 | SAC | Automated memory leak fixing on value-flow slices for C programs. | Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue |
| 2015 | ICPADS | Contention-Aware Scheduling for Asymmetric Multicore Processors. | Xiaokang Fan, Yulei Sui, Jingling Xue |
| 2015 | ICPP | Region-Based May-Happen-in-Parallel Analysis for C Programs. | Peng Di, Yulei Sui, Ding Ye, Jingling Xue |
| 2014 | CGO | Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis. | Ding Ye, Yulei Sui, Jingling Xue |
| 2014 | ECOOP | Self-inferencing Reflection Resolution for Java. | Yue Li, Tian Tan, Yulei Sui, Jingling Xue |
| 2014 | ISSRE | WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions. | Ding Ye, Yu Su, Yulei Sui, Jingling Xue |
| 2014 | SAS | Region-Based Selective Flow-Sensitive Pointer Analysis. | Sen Ye, Yulei Sui, Jingling Xue |
| 2013 | CGO | Query-directed adaptive heap cloning for optimizing compilers. | Yulei Sui, Yue Li, Jingling Xue |
| 2012 | ICPP | Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs. | Peng Di, Ding Ye, Yu Su, Yulei Sui, Jingling Xue |
| 2012 | ISSTA | Static memory leak detection using full-sparse value-flow analysis. | Yulei Sui, Ding Ye, Jingling Xue |
| 2011 | APLAS | SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA. | Yulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew |