Associate Professor Yulei Sui

Associate Professor

Ph.D. in Computer Science from UNSW Sydney

Engineering

Computer Science and Engineering

Yulei Sui is an Associate Professor and ARC Future Fellow at UNSW. His research interests lie in Software Engineering and Program Analysis. In particular, his research focuses on building open-source frameworks for static analysis and verification techniques to improve software reliability and quality. His recent interest lies at the intersection of software engineering, natural languages and code LLMs. Specifically, his current research projects explore testing, analysis and verification for software systems and AI models.

His work has appeared in conferences and journals in program analysis and software engineering. His research has received recognition through a number of Best/Distinguished paper awards at conferences, including ICSE 2025, 2018, FSE 2024, OOPSLA 2020, SAS 2019, and CGO 2013, and has been supported by competitive grants and fellowships such as ARC Discovery Projects, JSPS Invitational Fellowship, and industry awards (Amazon and Google). He is currently an ARC Future Fellow (2023-2026), a UNSW Scientia Fellow and a Fellow of Engineers Australia (FIEAust).

He leads the development of SVF, an open-source framework for code analysis and verification, built in collaboration with students and colleagues. His community contributions include service on editorial boards (e.g., Associate Editor for IEEE Transactions on Software Engineering and IEEE Transactions on Reliability) and program committees, as well as program co-chair roles at conferences including LCTES 2024, SAS 2025, and ISSRE 2025.

E-mail

ysui@cse.unsw.edu.au

Book Chapters | 2026

Shen Y; Shu Y; Paik HY; Sui Y, 2026, 'MetaLogic: Robustness Evaluation of Text-to-Image Models via Logically Equivalent Prompts', in , pp. 152 - 171, http://dx.doi.org/10.1007/978-981-95-4213-0_9

Book Chapters | 2025

Zhang G; Xu F; Bandara HMND; Chen S; Sui Y, 2025, 'Understanding the Robustness of Machine-Unlearning Models', in , pp. 307 - 326, http://dx.doi.org/10.1007/978-981-96-9101-2_16
Journal articles | 2025

Feng R; Pearce H; Liguori P; Sui Y, 2025, 'CGP-Tuning: Structure-Aware Soft Prompt Tuning for Code Vulnerability Detection', IEEE Transactions on Software Engineering, 51, pp. 2533 - 2548, http://dx.doi.org/10.1109/TSE.2025.3591934

Journal articles | 2025

Kan S; Li Y; He W; Xing Z; Zhu L; Sui Y, 2025, 'S pectre : Automated Aliasing Specifications Generation for Library APIs with Fuzzing', ACM Transactions on Software Engineering and Methodology, http://dx.doi.org/10.1145/3725811

Journal articles | 2025

Wang J; Cheng X; Sui Y, 2025, 'Efficient Abstract Interpretation via Selective Widening', Proceedings of the ACM on Programming Languages, 9, pp. 922 - 949, http://dx.doi.org/10.1145/3763083

Journal articles | 2025

Zhang G; Zhang Z; Bandara HMND; Chen S; Zhao J; Sui Y, 2025, 'Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality', Proceedings of the ACM on Programming Languages, 9, http://dx.doi.org/10.1145/3720417

Journal articles | 2024

Chen Z; Yan R; Ma Y; Sui Y; Xue J, 2024, 'A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety', ACM Transactions on Software Engineering and Methodology, 33, http://dx.doi.org/10.1145/3637227

Journal articles | 2024

Cheng X; Nie X; Li N; Wang H; Zheng Z; Sui Y, 2024, 'How About Bug-Triggering Paths? - Understanding and Characterizing Learning-Based Vulnerability Detectors', IEEE Transactions on Dependable and Secure Computing, 21, pp. 542 - 558, http://dx.doi.org/10.1109/TDSC.2022.3192419

Journal articles | 2024

He W; Di P; Ming M; Zhang C; Su T; Li S; Sui Y, 2024, 'Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles', Proceedings of the ACM on Software Engineering, 1, pp. 1656 - 1678, http://dx.doi.org/10.1145/3660781

Journal articles | 2024

Jiang M; Sui Y; Lei Y; Xie X; Li C; Liu Y; Tsang IW, 2024, 'Adversarial Learning for Coordinate Regression Through-Layer Penetrating Representation', IEEE Transactions on Dependable and Secure Computing, 21, pp. 5538 - 5552, http://dx.doi.org/10.1109/TDSC.2024.3376437

Journal articles | 2024

Kan S; Gao Y; Zhong Z; Sui Y, 2024, 'Cross-Language Taint Analysis: Generating Caller-Sensitive Native Code Specification for Java', IEEE Transactions on Software Engineering, 50, pp. 1518 - 1533, http://dx.doi.org/10.1109/TSE.2024.3392254

Journal articles | 2024

Lei Y; Bossut C; Sui Y; Zhang Q, 2024, 'Context-Free Language Reachability via Skewed Tabulation', Proceedings of the ACM on Programming Languages, 8, http://dx.doi.org/10.1145/3656451

Journal articles | 2024

Li T; Bai JJ; Sui Y; Hu SM, 2024, 'SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis', ACM Transactions on Computer Systems, 42, http://dx.doi.org/10.1145/3695250

Journal articles | 2024

Qin F; Zheng Z; Sui Y; Gong S; Shi Z; Trivedi KS, 2024, 'Cross-project concurrency bug prediction using domain-adversarial neural network', Journal of Systems and Software, 214, http://dx.doi.org/10.1016/j.jss.2024.112077

Journal articles | 2024

Ren J; Sui Y; Cheng X; Feng Y; Zhao J, 2024, 'Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search', ACM Transactions on Software Engineering and Methodology, 33, http://dx.doi.org/10.1145/3644389

Journal articles | 2024

Shi C; Li H; Sui Y; Lu J; Li L; Xue J, 2024, 'Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving', IEEE Transactions on Software Engineering, 50, pp. 2379 - 2397, http://dx.doi.org/10.1109/TSE.2024.3437684

Journal articles | 2024

Shrivastava A; Sui Y, 2024, 'Message from the Chairs', Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pp. III

Journal articles | 2024

Wan Y; Bi Z; He Y; Zhang J; Zhang H; Sui Y; Xu G; Jin H; Yu P, 2024, 'Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit', ACM Computing Surveys, 56, http://dx.doi.org/10.1145/3664597

Journal articles | 2024

Wu Y; Wan Y; Zhang H; Sui Y; Wei W; Zhao W; Xu G; Jin H, 2024, 'Automated Data Visualization from Natural Language via Large Language Models: An Exploratory Study', Annals of the Entomological Society of America, 2, http://dx.doi.org/10.1145/3654992

Journal articles | 2024

Xu P; Lei Y; Sui Y; Xue J, 2024, 'Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability', Proceedings of the ACM on Programming Languages, 8, http://dx.doi.org/10.1145/3649862

Journal articles | 2024

Zhu J; Xiao G; Zheng Z; Sui Y, 2024, 'Deep semi-supervised learning for recovering traceability links between issues and commits', Journal of Systems and Software, 216, http://dx.doi.org/10.1016/j.jss.2024.112109

Journal articles | 2024

Zou C; He D; Sui Y; Xue J, 2024, 'TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers', Proceedings of the ACM on Software Engineering, 1, pp. 1609 - 1631, http://dx.doi.org/10.1145/3660779

Journal articles | 2023

Du X; Sui Y; Liu Z; Ai J, 2023, 'An Empirical Study of Fault Triggers in Deep Learning Frameworks', IEEE Transactions on Dependable and Secure Computing, 20, pp. 2696 - 2712, http://dx.doi.org/10.1109/TDSC.2022.3152239

Journal articles | 2023

He D; Gui Y; Li W; Tao Y; Zou C; Sui Y; Xue J, 2023, 'A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis', Proceedings of the ACM on Programming Languages, 7, http://dx.doi.org/10.1145/3622832

Journal articles | 2023

Lei Y; Sui Y; Tan SH; Zhang Q, 2023, 'Recursive State Machine Guided Graph Folding for Context-Free Language Reachability', Proceedings of the ACM on Programming Languages, 7, http://dx.doi.org/10.1145/3591233

Journal articles | 2023

Lei Y; Ye D; Shen S; Sui Y; Zhu T; Zhou W, 2023, 'New challenges in reinforcement learning: a survey of security and privacy', Artificial Intelligence Review, 56, pp. 7195 - 7236, http://dx.doi.org/10.1007/s10462-022-10348-5

Journal articles | 2023

Li J; Pan Y; Lyu Y; Yao Y; Sui Y; Tsang IW, 2023, 'Earning Extra Performance From Restrictive Feedbacks', IEEE Transactions on Pattern Analysis and Machine Intelligence, 45, pp. 11753 - 11765, http://dx.doi.org/10.1109/TPAMI.2023.3273249

Journal articles | 2023

Win HM; Tan SH; Sui Y, 2023, 'Event-aware precise dynamic slicing for automatic debugging of Android applications', Journal of Systems and Software, 198, http://dx.doi.org/10.1016/j.jss.2023.111606

Journal articles | 2023

Wu X; Shen J; Zheng W; Lin L; Sui Y; Semasaba AOA, 2023, 'RNNtcs: A test case selection method for Recurrent Neural Networks', Knowledge Based Systems, 279, http://dx.doi.org/10.1016/j.knosys.2023.110955

Journal articles | 2023

Zhang G; Sun J; Xu F; Sui Y; Bandara HMND; Chen S; Menzies T, 2023, 'A Tale of Two Cities: Data and Configuration Variances in Robust Deep Learning', IEEE Internet Computing, 27, pp. 13 - 20, http://dx.doi.org/10.1109/MIC.2023.3322283

Journal articles | 2023

Zhang W; Guo S; Zhang H; Sui Y; Xue Y; Xu Y, 2023, 'Challenging Machine Learning-Based Clone Detectors via Semantic-Preserving Code Transformations', IEEE Transactions on Software Engineering, 49, pp. 3052 - 3070, http://dx.doi.org/10.1109/TSE.2023.3240118

Journal articles | 2022

Aung TWW; Wan Y; Huo H; Sui Y, 2022, 'Multi-triage: A multi-task learning framework for bug triage', Journal of Systems and Software, 184, http://dx.doi.org/10.1016/j.jss.2021.111133

Journal articles | 2022

Lei Y; Sui Y; Ding S; Zhang Q, 2022, 'Taming transitive redundancy for context-free language reachability', Proceedings of the ACM on Programming Languages, 6, http://dx.doi.org/10.1145/3563343

Journal articles | 2022

Tang Y; Wang H; Zhan X; Luo X; Zhou Y; Zhou H; Yan Q; Sui Y; Keung J, 2022, 'A Systematical Study on Application Performance Management Libraries for Apps', IEEE Transactions on Software Engineering, 48, pp. 3044 - 3065, http://dx.doi.org/10.1109/TSE.2021.3077654

Journal articles | 2022

Wang W; Zhang Y; Sui Y; Wan Y; Zhao Z; Wu J; Yu PS; Xu G, 2022, 'Reinforcement-Learning-Guided Source Code Summarization Using Hierarchical Attention', IEEE Transactions on Software Engineering, 48, pp. 102 - 119, http://dx.doi.org/10.1109/TSE.2020.2979701

Journal articles | 2021

Barbar M; Sui Y, 2021, 'Compacting points-to sets through object clustering', Proceedings of the ACM on Programming Languages, 5, http://dx.doi.org/10.1145/3485547

Journal articles | 2021

Cheng X; Wang H; Hua J; Xu G; Sui Y, 2021, 'DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network', ACM Transactions on Software Engineering and Methodology, 30, http://dx.doi.org/10.1145/3436877

Journal articles | 2021

Hua W; Sui Y; Wan Y; Liu G; Xu G, 2021, 'FCCA: Hybrid Code Representation for Functional Clone Detection Using Attention Networks', IEEE Transactions on Reliability, 70, pp. 304 - 318, http://dx.doi.org/10.1109/TR.2020.3001918

Journal articles | 2021

Wang L; He R; Wang H; Xia P; Li Y; Wu L; Zhou Y; Luo X; Sui Y; Guo Y; Xu G, 2021, 'Beyond the virus: a first look at coronavirus-themed Android malware', Empirical Software Engineering, 26, http://dx.doi.org/10.1007/s10664-021-09974-4

Journal articles | 2021

Zheng W; Wu Y; Wu X; Feng C; Sui Y; Luo X; Zhou Y, 2021, 'A survey of Intel SGX and its applications', Frontiers of Computer Science, 15, http://dx.doi.org/10.1007/s11704-019-9096-y

Journal articles | 2021

Zheng W; Xun Y; Wu X; Deng Z; Chen X; Sui Y, 2021, 'A Comparative Study of Class Rebalancing Methods for Security Bug Report Classification', IEEE Transactions on Reliability, 70, pp. 1658 - 1670, http://dx.doi.org/10.1109/TR.2021.3118026

Journal articles | 2020

Li J; Pan Y; Sui Y; Tsang IW, 2020, 'Secure Metric Learning via Differential Pairwise Privacy', IEEE Transactions on Information Forensics and Security, 15, pp. 3640 - 3652, http://dx.doi.org/10.1109/TIFS.2020.2997183

Journal articles | 2020

Nobakht M; Sui Y; Seneviratne A; Hu W, 2020, 'PGFIT: Static permission analysis of health and fitness apps in IoT programming frameworks', Journal of Network and Computer Applications, 152, pp. 102509, http://dx.doi.org/10.1016/j.jnca.2019.102509

Journal articles | 2020

Sui Y; Cheng X; Zhang G; Wang H, 2020, 'Flow2Vec: Value-flow-based precise code embedding', Proceedings of the ACM on Programming Languages, 4, http://dx.doi.org/10.1145/3428301

Journal articles | 2020

Sui Y; Xue J, 2020, 'Value-Flow-Based Demand-Driven Pointer Analysis for C and C++', IEEE Transactions on Software Engineering, 46, pp. 812 - 835, http://dx.doi.org/10.1109/TSE.2018.2869336

Journal articles | 2020

Xiao G; Zheng Z; Jiang B; Sui Y, 2020, 'An Empirical Study of Regression Bug Chains in Linux', IEEE Transactions on Reliability, 69, pp. 558 - 570, http://dx.doi.org/10.1109/TR.2019.2902171

Journal articles | 2020

Zhang Y; Sui Y; Pan S; Zheng Z; Ning B; Tsang I; Zhou W, 2020, 'Familial Clustering for Weakly-Labeled Android Malware Using Hybrid Representation Learning', IEEE Transactions on Information Forensics and Security, 15, pp. 3401 - 3414, http://dx.doi.org/10.1109/TIFS.2019.2947861

Journal articles | 2018

Hou Z; Wang Y; Sui Y; Gu J; Zhao T; Zhou X, 2018, 'Managing high-performance computing applications as an on-demand service on federated clouds', Computers and Electrical Engineering, 67, pp. 579 - 595, http://dx.doi.org/10.1016/j.compeleceng.2018.02.036

Journal articles | 2018

Sui Y; Fan X; Zhou H; Xue J, 2018, 'Loop-Oriented pointer analysis for automatic SIMD vectorization', ACM Transactions on Embedded Computing Systems, 17, http://dx.doi.org/10.1145/3168364

Journal articles | 2018

Sui Y; Yan H; Zheng Z; Zhang Y; Xue J, 2018, 'Parallel construction of interprocedural memory SSA form', Journal of Systems and Software, 146, pp. 186 - 195, http://dx.doi.org/10.1016/j.jss.2018.09.038

Journal articles | 2017

Sui Y; Xue J, 2017, 'Demand-Driven Pointer Analysis with Strong Updates via Value-Flow Refinement', , http://arxiv.org/abs/1701.05650v1

Journal articles | 2017

Yan H; Sui Y; Chen S; Xue J, 2017, 'AutoFix', ACM SIGAPP Applied Computing Review, 16, pp. 38 - 50, http://dx.doi.org/10.1145/3040575.3040579

Journal articles | 2016

Sui Y; Ye D; Su Y; Xue J, 2016, 'Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions', IEEE Transactions on Reliability, PP, pp. 1 - 18, http://dx.doi.org/10.1109/TR.2016.2570538

Journal articles | 2016

Tian FB; Wang W; Wu J; Sui Y, 2016, 'Swimming performance and vorticity structures of a mother-calf pair of fish', Computers and Fluids, 124, pp. 1 - 11, http://dx.doi.org/10.1016/j.compfluid.2015.10.006

Journal articles | 2014

Sui Y; Ye D; Xue J, 2014, 'Detecting memory leaks statically with full-sparse value-flow analysis', IEEE Transactions on Software Engineering, 40, pp. 107 - 122, http://dx.doi.org/10.1109/TSE.2014.2302311

Journal articles | 2014

Sui Y; Ye S; Xue J; Zhang J, 2014, 'Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation', Software: Practice and Experience, 44, pp. 1485 - 1510, http://dx.doi.org/10.1002/spe.2214

Journal articles | 2012

Gao M; Xing GZ; Yang J; Yang L; Zhang Y; Liu H; Fan H; Sui Y; Feng B; Sun Y; Zhang Z; Liu S; Li SS; Song H, 2012, 'Zinc oxide nanotubes decorated with silver nanoparticles as an ultrasensitive substrate for surface-enhanced Raman scattering', Microchimica ACTA, 179, pp. 315 - 321, http://dx.doi.org/10.1007/s00604-012-0898-y
Conference Papers | 2025

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

Conference Papers | 2025

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

Conference Papers | 2025

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

Conference Papers | 2025

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

Conference Papers | 2025

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

Conference Papers | 2024

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

Conference Papers | 2024

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

Conference Papers | 2024

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

Conference Papers | 2024

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

Conference Papers | 2024

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

Conference Papers | 2023

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

Conference Papers | 2023

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

Conference Papers | 2023

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

Conference Papers | 2023

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

Conference Papers | 2023

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

Conference Papers | 2023

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

Conference Papers | 2022

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

Conference Papers | 2022

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

Conference Papers | 2022

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

Conference Papers | 2022

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

Conference Papers | 2022

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

Conference Papers | 2022

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

Conference Papers | 2022

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

Conference Papers | 2022

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

Conference Papers | 2022

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

Conference Papers | 2022

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

Conference Papers | 2022

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

Conference Papers | 2021

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

Conference Papers | 2021

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

Conference Papers | 2021

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

Conference Papers | 2021

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

Conference Papers | 2021

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

Conference Papers | 2021

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

Conference Papers | 2021

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

Conference Papers | 2020

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

Conference Papers | 2020

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

Conference Papers | 2020

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

Conference Papers | 2020

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

Conference Papers | 2020

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

Conference Papers | 2020

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

Conference Papers | 2020

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

Conference Papers | 2020

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

Conference Papers | 2020

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

Conference Papers | 2020

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

Conference Papers | 2020

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

Conference Papers | 2020

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

Conference Papers | 2020

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

Conference Papers | 2020

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

Conference Papers | 2019

Aung TWW; Huo H; Sui Y, 2019, 'Interactive Traceability Links Visualization using Hierarchical Trace Map', in Proceedings 2019 IEEE International Conference on Software Maintenance and Evolution Icsme 2019, pp. 367 - 369, http://dx.doi.org/10.1109/ICSME.2019.00059

Conference Papers | 2019

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

Conference Papers | 2019

Lei Y; Sui Y, 2019, 'Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 27 - 47, http://dx.doi.org/10.1007/978-3-030-32304-2_3

Conference Papers | 2019

Sui Y; Zhang Y; Zheng W; Zhang M; Xue J, 2019, 'Event trace reduction for effective bug replay of Android apps via differential GUI state analysis', in Esec Fse 2019 Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1095 - 1099, http://dx.doi.org/10.1145/3338906.3341183

Conference Papers | 2019

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

Conference Papers | 2019

Wu D; Liu J; Sui Y; Chen S; Xue J, 2019, 'Precise static happens-before analysis for detecting UAF order violations in android', in Proceedings 2019 IEEE 12th International Conference on Software Testing Verification and Validation Icst 2019, pp. 276 - 287, http://dx.doi.org/10.1109/ICST.2019.00035

Conference Papers | 2019

Xu X; Sui Y; Yan H; Xue J, 2019, 'VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences', in Proceedings International Conference on Software Engineering, pp. 512 - 523, http://dx.doi.org/10.1109/ICSE.2019.00063

Conference Papers | 2019

Yan H; Chen S; Sui Y; Zhang Y; Zou C; Xue J, 2019, 'Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Porto, Portugal, pp. 48 - 72, presented at 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Porto, Portugal, 08 October 2019 - 11 October 2019, http://dx.doi.org/10.1007/978-3-030-32304-2_4

Conference Papers | 2019

Zou C; Sui Y; Yan H; Xue J, 2019, 'TCD: Statically Detecting Type Confusion Errors in C++ Programs', in Proceedings International Symposium on Software Reliability Engineering ISSRE, pp. 292 - 302, http://dx.doi.org/10.1109/ISSRE.2019.00037

Conference Papers | 2018

Barbar M; Sui Y; Zhang H; Chen S; Xue J, 2018, 'Live path CFI against control flow hijacking attacks', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 768 - 779, http://dx.doi.org/10.1007/978-3-319-93638-3_45

Conference Papers | 2018

Barbar M; Sui Y; Zhang H; Chen S; Xue J, 2018, 'POSTER: Live path control flow integrity', in Proceedings International Conference on Software Engineering, pp. 195 - 196, http://dx.doi.org/10.1145/3183440.3195093

Conference Papers | 2018

Gao Q; Ma S; Shao S; Sui Y; Zhao G; Ma L; Ma X; Duan F; Deng X; Zhang S; Chen X, 2018, 'CoBOT: Static C/C++ bug detection in the presence of incomplete code', in Proceedings International Conference on Software Engineering, pp. 385 - 388, http://dx.doi.org/10.1145/3196321.3196367

Conference Papers | 2018

Nobakht M; Sui Y; Seneviratne A; Hu W, 2018, 'Permission Analysis of Health and Fitness Apps in IoT Programming Frameworks', in Proceedings 17th IEEE International Conference on Trust Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering Trustcom Bigdatase 2018, Institute of Electrical and Electronics Engineers (IEEE), NY, New York, pp. 533 - 538, presented at 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE), NY, New York, 31 July 2018 - 03 August 2018, http://dx.doi.org/10.1109/TrustCom/BigDataSE.2018.00081

Conference Papers | 2018

Yan H; Sui Y; Chen S; Xue J, 2018, 'Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities', in Proceedings International Conference on Software Engineering, pp. 327 - 337, http://dx.doi.org/10.1145/3180155.3180178

Conference Papers | 2018

Zhang Y; Sui Y; Xue J, 2018, 'Launch-Mode-Aware Context-Sensitive Activity Transition Analysis', in Proceedings International Conference on Software Engineering, pp. 598 - 608, http://dx.doi.org/10.1145/3180155.3180188

Conference Papers | 2017

Fan X; Sui Y; Liao X; Xue J, 2017, 'Boosting the precision of virtual call integrity protection with partial pointer analysis for C++', in ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, pp. 329 - 340, presented at ISSTA 2017 Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, 10 July 2017 - 14 July 2017, http://dx.doi.org/10.1145/3092703.3092729

Preprints | 2017

Sui Y; Xue J, 2017, Demand-Driven Pointer Analysis with Strong Updates via Value-Flow Refinement, http://arxiv.org/abs/1701.05650v1

Conference Papers | 2017

Yan H; Sui Y; Chen S; Xue J, 2017, 'Machine-learning-guided typestate analysis for static use-After-free detection', in ACM International Conference Proceeding Series, Orlando, FL, USA, pp. 42 - 54, presented at 33rd Annual Computer Security Applications Conference, Orlando, FL, USA, 04 December 2017 - 08 December 2017, http://dx.doi.org/10.1145/3134600.3134620

Conference Papers | 2017

Zhang J; Sui Y; Xue J, 2017, 'Incremental analysis for probabilistic programs', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), New York, NY, USA, pp. 450 - 472, presented at 24th International Symposium, SAS 2017, New York, NY, USA, 30 August 2017 - 01 September 2017, http://dx.doi.org/10.1007/978-3-319-66706-5_22

Conference Papers | 2016

Di P; Sui Y, 2016, 'Accelerating dynamic data race detection using static thread interference analysis', in Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2016, Barcelona, Spain, pp. 30 - 39, presented at PMAM'16 Proceedings of the 7th International Workshop, Barcelona, Spain, 12 March 2016 - 16 March 2016, http://dx.doi.org/10.1145/2883404.2883405

Conference Papers | 2016

Sui Y; Di P; Xue J, 2016, 'Sparse flow-sensitive pointer analysis for multithreaded programs', in Proceedings of the 14th International Symposium on Code Generation and Optimization, CGO 2016, ASSOC COMPUTING MACHINERY, Barcelona, SPAIN, pp. 160 - 170, presented at 14th International Symposium on Code Generation and Optimization (CGO), Barcelona, SPAIN, 12 March 2016 - 18 March 2016, http://dx.doi.org/10.1145/2854038.2854043

Conference Papers | 2016

Sui Y; Fan X; Zhou H; Xue J, 2016, 'Loop-Oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization', in Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Association for Computing Machinery (ACM), Santa Barbara, CA, USA, pp. 41 - 51, presented at 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems, Santa Barbara, CA, USA, 13 June 2016 - 14 June 2016, http://dx.doi.org/10.1145/2907950.2907957

Conference Papers | 2016

Sui Y; Fan X; Zhou H; Xue J, 2016, 'Loop-oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization', in Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems, ACM, pp. 41 - 51, presented at LCTES'16: SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2016, http://dx.doi.org/10.1145/2907950.2907957

Conference Papers | 2016

Sui Y; Lu J; Xue J, 2016, 'On-demand Strong Update Analysis via value-flow Refinement', in Zimmermann T; ClelandHuang J; Su Z (eds.), International symposium on the foundations of software engineering, IEEE, Seattle, pp. 460 - 473, presented at FSE'16, Seattle, 13 November 2016 - 18 November 2016, http://dx.doi.org/10.1145/2950290.2950296

Conference Papers | 2016

Sui Y; Xue J, 2016, 'SVF: Interprocedural static value-flow analysis in LLVM', in Proceedings of CC 2016: The 25th International Conference on Compiler Construction, Association for Computing Machinery (ACM), Barcelona, Spain, pp. 265 - 266, presented at 25th International Conference on Compiler Construction, Barcelona, Spain, 17 March 2016 - 18 March 2016, http://dx.doi.org/10.1145/2892208.2892235

Conference Papers | 2016

Yan H; Sui Y; Chen S; Xue J, 2016, 'Automated memory leak fixing on value-flow slices for C programs', in Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery (ACM), New York, NY, USA, pp. 1386 - 1393, presented at 31st Annual ACM Symposium on Applied Computing, New York, NY, USA, 04 April 2016 - 08 April 2016, http://dx.doi.org/10.1145/2851613.2851773

Conference Papers | 2015

Di P; Sui Y; Ye D; Xue J, 2015, 'Region-Based May-Happen-in-Parallel Analysis for C Programs', in Proceedings of the International Conference on Parallel Processing, Institute of Electrical and Electronics Engineers (IEEE), Beijing China, pp. 889 - 898, presented at 2015 44th International Conference on on Parallel Processing (ICPP), Beijing China, 01 September 2015 - 04 September 2015, http://dx.doi.org/10.1109/ICPP.2015.98

Conference Papers | 2015

Xue J; Fan X; Sui Y, 2015, 'Contention-Aware Scheduling for Asymmetric Multicore Processors.', in 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS), Institute of Electrical and Electronics Engineers (IEEE), Melbourne, pp. 742 - 751, presented at 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS), Melbourne, 14 December 2015 - 17 December 2015, http://dx.doi.org/10.1109/ICPADS.2015.98

Conference Papers | 2014

Li Y; Tan T; Sui Y; Xue J, 2014, 'Self-inferencing reflection resolution for Java', in Lecture Notes in Computer Science 8586, Springer Verlag, UppSala, pp. 27 - 53, presented at 8th European Conference on Object-Oriented Programming (ECOOP'14), UppSala, 28 July 2014 - 01 August 2014, http://dx.doi.org/10.1007/978-3-662-44202-9_2

Conference Papers | 2014

Ye D; Su Y; Sui Y; Xue J, 2014, 'WPBOUND: Enforcing spatial memory safety efficiently at runtime with weakest preconditions', in Proceedings International Symposium on Software Reliability Engineering ISSRE, Institute of Electrical and Electronics Engineers (IEEE), ITALY, Naples, pp. 88 - 99, presented at 2014 IEEE 25th International Symposium on Software Reliability Engineering, ITALY, Naples, 03 November 2014 - 06 November 2014, http://dx.doi.org/10.1109/ISSRE.2014.20

Conference Papers | 2014

Ye D; Sui Y; Xue J, 2014, 'Accelerating dynamic detection of uses of undefined values with static value-flow analysis', in Proceedings of the 12th ACM IEEE International Symposium on Code Generation and Optimization Cgo 2014, pp. 154 - 164, http://dx.doi.org/10.1145/2544137.2544154

Conference Papers | 2014

Ye S; Sui Y; Xue J, 2014, 'Region-Based Selective Flow-Sensitive Pointer Analysis', in Müller-Olm M; Seidl H (ed.), 21st International Symposium on static Analysis, LNCS, Munich, Germany, pp. 319 - 336, presented at 21st International Symposium on static Analysis, Munich, Germany, 11 September 2014 - 13 September 2014

Conference Papers | 2013

Li Y; Sui Y; Xue J, 2013, 'Query-directed adaptive heap cloning for optimizing compilers', in Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2013, Shenzhen; China, presented at 11th IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2013, Shenzhen; China, 23 February 2013 - 27 February 2013, http://dx.doi.org/10.1109/CGO.2013.6494978

Conference Papers | 2012

Di P; Ye D; Su Y; Sui Y; Xue J, 2012, 'Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs', in Proceedings of the International Conference on Parallel Processing, IEEE Computer Society, Los Alamitos, Calif., pp. 350 - 359, presented at The 41st International Conference on Parallel Processing, Pittsburgh, PA, USA, 10 September 2012 - 13 September 2012

Conference Papers | 2012

Sui Y; Ye D; Xue J, 2012, 'Static memory leak detection using full-sparse value-flow analysis', in Proceedings of the 2012 International Symposium on Software Testing and Analysis, ACM, pp. 254 - 264, presented at ISSTA '12: International Symposium on Software Testing and Analysis, http://dx.doi.org/10.1145/2338965.2336784

Conference Papers | 2012

Sui Y; Ye D; Xue J, 2012, 'Static memory leak detection using full-sparse value-flow analysis', Minneapolis, MN, pp. 254 - 264, presented at 21st International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, 15 July 2012 - 20 July 2012, http://dx.doi.org/10.1145/04000800.2336784

Conference Papers | 2011

Sui Y; Ye S; Xue J; Yew P-C, 2011, 'SPAS: Scalable path-sensitive pointer analysis on full-sparse SSA', in Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Proceedings, Springer Verlag, Heidelberg, Germany, pp. 155 - 171, presented at 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, Kenting, Taiwan, 05 December 2011 - 07 December 2011, http://dx.doi.org/10.1007/978-3-642-25318-8_14

Conference Papers | 2010

Yang Y; Zhou X; Yang G; Wang B; Sui Y, 2010, 'Trustworthy Service Scheduling Framework for QoS garantee of composite service', in 2nd International Conference on Information Science and Engineering Icise2010 Proceedings, http://dx.doi.org/10.1109/ICISE.2010.5691645

National Competitive Grants:

ARC Discovery Project (DP250101396), Lead CI, Certifying Code Language Models to Fortify Software Engineering Foundations, 2025-2027
ARC Future Fellowship (FT220100391), Solo CI, Learning Software Security Analysers with Imperfect Data, 2023-2026
ARC Discovery Project (DP210101348), Lead CI, Learning to Pinpoint Emerging Software Vulnerabilities, 2021-2023
ARC Discovery Project (DP200101328), 2nd CI, Adversarial Learning of Hybrid Representation, 2020-2022
ARC DECRA (DE170101081), Solo CI, Adaptive Value-Flow Analysis to Improve Code Reliability and Security, 2017 - 2019

Other Grants:

Amazon Research Award Grant, Solo CI, Path-Sensitive Typestate Analysis via Sparse Abstract Execution, 2025
Google Aspire Grant, Lead CI, Cross-Component Cross-Language Static Analysis, 2023
CSIRO Tech4HSE project, Lead CI, Software-Hardware Co-Design for AI Applications, 2024-2026
UNSW-UTS TDS Grant, UNSW Lead CI, Metric Visualization Framework for Customer Trust Satisfaction, 2025-2026
Data61's PhD scholarship, Lead CI, Certified AI for Correctness and Robustness, 2023-2026
Data61's PhD scholarship, Lead CI, Privacy Preserving Deep Learning, 2023-2026

2025 Amazon Research Award (ARA)
2025 Distinguished Paper Award, 47th International Conference on Software Engineering (ICSE 2025)
2024 Distinguished Paper Award, International Conference on the Foundations of Software Engineering (FSE 2024)
2024 Fellow of Engineers Australia (FIEAust)
2023-2026 ARC Future Fellow
2023 UNSW Scientia Fellow
2023 Google ASPIRE Award
2022 JSPS Invitational Fellowship
2021 ICSE 2021 Distinguished Reviewer
2020 ACM SIGPLAN Distinguished Paper Award (OOPSLA 2020)
2020 ISSRE Best Paper Nominee (ISSRE 2020)
2019 Radhia Cousot Best Paper Award (SAS 2019)
2018 ACM SIGSOFT Distinguished Paper Award (ICSE 2018)

External:

Associate Editor, IEEE Transactions on Software Engineering
Associate Editor, IEEE Transactions on Reliability
Program Chair of 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2024)
Program Co-Chair of 32nd Static Analysis Symposium (SAS 2025)
Program Co-Chair of 36th IEEE International Symposium on Software Reliability Engineering. (ISSRE 2025)

Internal:

Postgraduate Coordinator, School of Computer Science and Engineering
Member, Higher Degree Committee, Faculty of Engineering

Follow

Associate Professor Yulei Sui

Follow me