By Associate Professor Yulei Sui

Conference Papers

Zhang G; Fukuda K; Zhang Z; Dilum Bandara HMN; Chen S; Zhao J; Sui Y, 2025, 'Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees', in Leibniz International Proceedings in Informatics Lipics, http://dx.doi.org/10.4230/LIPIcs.ECOOP.2025.36

Yang J; Cheng X; Chang BYE; Luo X; Sui Y, 2025, 'Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering', in Leibniz International Proceedings in Informatics Lipics, http://dx.doi.org/10.4230/LIPIcs.ECOOP.2025.34

Ding Z; Deng G; Liu Y; Ding J; Chen J; Sui Y; Li Y, 2025, 'IllusionCAPTCHA: A CAPTCHA based on Visual Illusion', in Www 2025 Proceedings of the ACM Web Conference, pp. 3683 - 3691, http://dx.doi.org/10.1145/3696410.3714726

Zhang C; Liang Y; Tan T; Xu C; Kan S; Sui Y; Li Y, 2025, 'Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs', in Proceedings International Conference on Software Engineering, pp. 1089 - 1100, http://dx.doi.org/10.1109/ICSE55347.2025.00075

McGowan C; Richards M; Sui Y, 2025, 'SVF-SVC: Software Verification Using SVF (Competition Contribution)', in Lecture Notes in Computer Science, pp. 254 - 259, http://dx.doi.org/10.1007/978-3-031-90660-2_21

Chu Z; Wan Y; Li Q; Wu Y; Zhang H; Sui Y; Xu G; Jin H, 2024, 'Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation', in Issta 2024 Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 389 - 401, http://dx.doi.org/10.1145/3650212.3652136

Wang D; Li S; Xiao G; Liu Y; Sui Y; He P; Lyu MR, 2024, 'An Exploratory Investigation of Log Anomalies in Unmanned Aerial Vehicles', in Proceedings International Conference on Software Engineering, pp. 2593 - 2605, http://dx.doi.org/10.1145/3597503.3639186

Bi Z; Wan Y; Wang Z; Zhang H; Guan B; Lu F; Zhang Z; Sui Y; Jin H; Shi X, 2024, 'Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedback', in Proceedings of the Annual Meeting of the Association for Computational Linguistics, pp. 2336 - 2353, http://dx.doi.org/10.18653/v1/2024.findings-acl.138

Zhao W; Hou Z; Wu S; Gao Y; Dong H; Wan Y; Zhang H; Sui Y; Zhang H, 2024, 'NL2FORMULA: Generating Spreadsheet Formulas from Natural Language Queries', in Eacl 2024 18th Conference of the European Chapter of the Association for Computational Linguistics Findings of Eacl 2024, pp. 2377 - 2388

Cheng X; Wang J; Sui Y, 2024, 'Precise Sparse Abstract Execution via Cross-Domain Interaction', in Proceedings International Conference on Software Engineering, pp. 1335 - 1346, http://dx.doi.org/10.1145/3597503.3639220

Wang J; Xiao G; Zhang S; Lei H; Liu Y; Sui Y, 2023, 'Compatibility Issues in Deep Learning Systems: Problems and Opportunities', in Esec Fse 2023 Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 476 - 488, http://dx.doi.org/10.1145/3611643.3616321

Li G; Zhang H; Zhou J; Shen W; Sui Y; Qian Z, 2023, 'A Hybrid Alias Analysis and Its Application to Global Variable Protection in the Linux Kernel', in 32nd Usenix Security Symposium Usenix Security 2023, pp. 4211 - 4228

Zhong Z; Liu J; Wu D; Di P; Sui Y; Liu AX; Lui JCS, 2023, 'Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services', in Proceedings International Conference on Software Engineering, pp. 110 - 121, http://dx.doi.org/10.1109/ICSE-SEIP58684.2023.00015

Shi C; Li H; Sui Y; Lu J; Li L; Xue J, 2023, 'Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis', in Proceedings 2023 38th IEEE ACM International Conference on Automated Software Engineering Ase 2023, pp. 624 - 636, http://dx.doi.org/10.1109/ASE56229.2023.00118

Feng Q; Sui Y; Zhang H, 2023, 'Uncovering Limitations in Text-to-Image Generation: A Contrastive Approach with Structured Semantic Alignment', in Findings of the Association for Computational Linguistics Emnlp 2023, pp. 8876 - 8888, http://dx.doi.org/10.18653/v1/2023.findings-emnlp.595

Lei H; Zhang S; Wang J; Xiao G; Liu Y; Sui Y, 2023, 'Why Do Deep Learning Projects Differ in Compatible Framework Versions? An Exploratory Study', in Proceedings International Symposium on Software Reliability Engineering ISSRE, pp. 509 - 520, http://dx.doi.org/10.1109/ISSRE59848.2023.00076

Gao Y; Xu G; Li L; Luo X; Wang C; Sui Y, 2022, 'Demystifying the underground ecosystem of account registration bots', in Esec Fse 2022 Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 897 - 909, http://dx.doi.org/10.1145/3540250.3549090

Wan Y; Zhang S; Zhang H; Sui Y; Xu G; Yao D; Jin H; Sun L, 2022, 'You see what I want you to see: poisoning vulnerabilities in neural code search', in Esec Fse 2022 Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1233 - 1245, http://dx.doi.org/10.1145/3540250.3549153

Wang L; Wang H; Luo X; Sui Y, 2022, 'MalWhiteout: Reducing Label Errors in Android Malware Detection', in ACM International Conference Proceeding Series, http://dx.doi.org/10.1145/3551349.3560418

Cheng X; Zhang G; Wang H; Sui Y, 2022, 'Path-sensitive code embedding via contrastive learning for software vulnerability detection', in Issta 2022 Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 519 - 531, http://dx.doi.org/10.1145/3533767.3534371

Wan Y; He Y; Bi Z; Zhang J; Sui Y; Zhang H; Hashimoto K; Jin H; Xu G; Xiong C; Yu PS, 2022, 'NATURALCC: An Open-Source Toolkit for Code Intelligence', in 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022), IEEE COMPUTER SOC, PA, Pittsburgh, pp. 149 - 153, presented at 44th ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER), PA, Pittsburgh, 22 May 2022 - 27 May 2022, http://dx.doi.org/10.1145/3510454.3516863

Li T; Bai JJ; Sui Y; Hu SM, 2022, 'Path-Sensitive and Alias-Aware Typestate Analysis for Detecting OS Bugs', in International Conference on Architectural Support for Programming Languages and Operating Systems ASPLOS, pp. 859 - 872, http://dx.doi.org/10.1145/3503222.3507770

Gui Y; Wan Y; Zhang H; Huang H; Sui Y; Xu G; Shao Z; Jin H, 2022, 'Cross-Language Binary-Source Code Matching with Intermediate Representations', in Proceedings 2022 IEEE International Conference on Software Analysis Evolution and Reengineering Saner 2022, pp. 601 - 612, http://dx.doi.org/10.1109/SANER53432.2022.00077

Zhu J; Xiao G; Zheng Z; Sui Y, 2022, 'Enhancing Traceability Link Recovery with Unlabeled Data', in Proceedings International Symposium on Software Reliability Engineering ISSRE, pp. 446 - 457, http://dx.doi.org/10.1109/ISSRE55969.2022.00050

Zhong Z; Liu J; Wu D; Di P; Sui Y; Liu AX, 2022, 'Field-Based Static Taint Analysis for Industrial Microservices', in Proceedings International Conference on Software Engineering, pp. 149 - 150, http://dx.doi.org/10.1109/ICSE-SEIP55303.2022.9794096

Wan Y; He Y; Bi Z; Zhang J; Sui Y; Zhang H; Hashimoto K; Jin H; Xu G; Xiong C; Yu PS, 2022, 'NaturalCC: An Open-Source Toolkit for Code Intelligence', in Proceedings International Conference on Software Engineering, pp. 149 - 153, http://dx.doi.org/10.1109/ICSE-Companion55297.2022.9793799

Wan Y; Zhao W; Zhang H; Sui Y; Xu G; Jin H, 2022, 'What Do They Capture? - A Structural Analysis of Pre-Trained Language Models for Source Code', in Proceedings International Conference on Software Engineering, pp. 2377 - 2388, http://dx.doi.org/10.1145/3510003.3510050

Wang D; Li S; Xiao G; Liu Y; Sui Y, 2021, 'An exploratory study of autopilot software bugs in unmanned aerial vehicles', in Esec Fse 2021 Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 20 - 31, http://dx.doi.org/10.1145/3468264.3468559

Chen Z; Wang C; Yan J; Sui Y; Xue J, 2021, 'Runtime detection of memory errors with smart status', in Issta 2021 Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 296 - 308, http://dx.doi.org/10.1145/3460319.3464807

Barbar M; Sui Y; Chen S, 2021, 'Object Versioning for Flow-Sensitive Pointer Analysis', in Lee JW; Soffa ML; Zaks A (eds.), Cgo 2021 Proceedings of the 2021 IEEE ACM International Symposium on Code Generation and Optimization, Institute of Electrical and Electronics Engineers (IEEE), ELECTR NETWORK, pp. 222 - 235, presented at 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), ELECTR NETWORK, 27 February 2021 - 03 March 2021, http://dx.doi.org/10.1109/CGO51591.2021.9370334

Zhang J; Hong H; Zhang Y; Wan Y; Liu Y; Sui Y, 2021, 'Disentangled Code Representation Learning for Multiple Programming Languages', in Findings of the Association for Computational Linguistics Acl Ijcnlp 2021, pp. 4454 - 4466, http://dx.doi.org/10.18653/v1/2021.findings-acl.391

Hong H; Zhang J; Zhang Y; Wan Y; Sui Y, 2021, 'Fix-Filter-Fix: Intuitively Connect Any Models for Effective Bug Fixing', in Emnlp 2021 2021 Conference on Empirical Methods in Natural Language Processing Proceedings, pp. 3495 - 3504, http://dx.doi.org/10.18653/v1/2021.emnlp-main.282

Barbar M; Sui Y, 2021, 'Hash Consed Points-To Sets', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 25 - 48, http://dx.doi.org/10.1007/978-3-030-88806-0_2

Xiao G; Liu J; Zheng Z; Sui Y, 2021, 'Nondeterministic Impact of CPU Multithreading on Training Deep Learning Systems', in Proceedings International Symposium on Software Reliability Engineering ISSRE, pp. 557 - 568, http://dx.doi.org/10.1109/ISSRE52982.2021.00063

Zhang Y; Xiao G; Zheng Z; Zhu T; Tsang IW; Sui Y, 2020, 'An empirical study of code deobfuscations on detecting obfuscated android piggybacked apps', in Proceedings Asia Pacific Software Engineering Conference APSEC, pp. 41 - 50, http://dx.doi.org/10.1109/APSEC51365.2020.00012

Oh H; Sui Y, 2020, 'Welcome from the Chairs', in Tapas 2020 Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis Co Located with Splash 2020, pp. III

Tang Y; Sui Y; Wang H; Luo X; Zhou H; Xu Z, 2020, 'All your app links are belong to us: Understanding the threats of instant apps based attacks', in Esec Fse 2020 Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 914 - 926, http://dx.doi.org/10.1145/3368089.3409702

Li W; Cai H; Sui Y; Manz D, 2020, 'PCA: Memory leak detection using partial call-path analysis', in Esec Fse 2020 Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1621 - 1625, http://dx.doi.org/10.1145/3368089.3417923

Barbar M; Sui Y; Chen S, 2020, 'Flow-sensitive type-based heap cloning', in Leibniz International Proceedings in Informatics Lipics, http://dx.doi.org/10.4230/LIPIcs.ECOOP.2020.24

Shu Y; Sui Y; Zhang H; Xu G, 2020, 'Perf-AL: Performance prediction for configurable software through adversarial learning', in International Symposium on Empirical Software Engineering and Measurement, http://dx.doi.org/10.1145/3382494.3410677

Li S; Wu Y; Liu Y; Wang D; Wen M; Tao Y; Sui Y; Liu Y, 2020, 'An exploratory study of bugs in extended reality applications on the web', in Proceedings International Symposium on Software Reliability Engineering ISSRE, pp. 172 - 183, http://dx.doi.org/10.1109/ISSRE5003.2020.00025

Ye J; Ma M; Lin Y; Sui Y; Xue Y, 2020, 'Clairvoyance: Cross-contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts', in Proceedings 2020 ACM IEEE 42nd International Conference on Software Engineering Companion ICSE Companion 2020, pp. 274 - 275, http://dx.doi.org/10.1145/3377812.3390908

Du X; Xiao G; Sui Y, 2020, 'Fault triggers in the tensorflow framework: An experience report', in Proceedings International Symposium on Software Reliability Engineering ISSRE, pp. 1 - 12, http://dx.doi.org/10.1109/ISSRE5003.2020.00010

Xiao G; Du X; Sui Y; Yue T, 2020, 'HINDBR: Heterogeneous information network based duplicate bug report prediction', in Proceedings International Symposium on Software Reliability Engineering ISSRE, pp. 195 - 206, http://dx.doi.org/10.1109/ISSRE5003.2020.00027

Xue Y; Ma M; Lin Y; Sui Y; Ye J; Peng T, 2020, 'Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts', in Proceedings 2020 35th IEEE ACM International Conference on Automated Software Engineering Ase 2020, pp. 1029 - 1040, http://dx.doi.org/10.1145/3324884.3416553

Aung TWW; Huo H; Sui Y, 2020, 'A literature review of automatic traceability links recovery for software change impact analysis', in IEEE International Conference on Program Comprehension, pp. 14 - 24, http://dx.doi.org/10.1145/3387904.3389251

Wang H; Xie X; Li Y; Wen C; Li Y; Liu Y; Qin S; Chen H; Sui Y, 2020, 'Typestate-guided fuzzer for discovering use-after-free vulnerabilities', in Proceedings International Conference on Software Engineering, pp. 999 - 1010, http://dx.doi.org/10.1145/3377811.3380386

Chen H; Guo S; Xue Y; Sui Y; Zhang C; Li Y; Wang H; Liu Y, 2020, 'MUZZ: Thread-aware grey-box fuzzing for effective bug hunting in multithreaded programs', in Proceedings of the 29th Usenix Security Symposium, pp. 2325 - 2342

Wan Y; Shu J; Sui Y; Xu G; Zhao Z; Wu J; Yu P, 2019, 'Multi-modal attention network learning for semantic source code retrieval', in Proceedings 2019 34th IEEE ACM International Conference on Automated Software Engineering Ase 2019, pp. 13 - 25, http://dx.doi.org/10.1109/ASE.2019.00012

Cheng X; Wang H; Hua J; Zhang M; Xu G; Yi L; Sui Y, 2019, 'Static detection of control-flow-related vulnerabilities using graph embedding', in Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems ICECCS, pp. 41 - 50, http://dx.doi.org/10.1109/ICECCS.2019.00012

Back to profile page