Bio

Yulei Sui is an ARC Future Fellow and Scientia Associate Professor at School of Computer Science and Engineering, University of New South Wales (UNSW). He is broadly interested in Software Engineering and Programming Languages. In particular, his research focuses on building open-source frameworks for static analysis and verification techniques to improve the reliability and security of modern software systems. His recent interest lies at the intersection of programming languages, natural languages and code LLMs. Specifically, his current research projects include analysis and verification for software systems and AI models.

His papers have been published in top-tier conferences and journals in the fields of program analysis and software engineering, including PLDI, OOPSLA, ASPLOS, TSE, TOSEM, ICSE, FSE, SAS, ISSTA, ASE, ECOOP, CGO, and CC. The quality and impact of his research have been recognised with a number of prestigious awards, including a 2024 FSE Distinguished Paper Award, a 2022 OOPSLA Distinguished Artifact Award, a 2021 ICSE Distinguished Reviewer Award, a 2020 OOPSLA Distinguished Paper Award, a 2019 SAS Best Paper Award, a 2018 ICSE Distinguished Paper Award, a 2013 CGO Best Paper Award, a JSPS Invitational Fellowship (2022), an ARC Discovery Early Career Researcher Award (2017-2019), an ARC Future Fellowship (2023-2026), and a Google ASPIRE Award (2023). He is an IEEE Senior Member and a Fellow of Engineers Australia (FIEAust).

He is the creator and primary maintainer of SVF, an open-source framework and its ecosystem for software analysis and verification, widely adopted in both academia and industry for research and education. He currently serves as an Associate Editor for IEEE Transactions on Software Engineering (the best journal in software engineering) and an Associate Editor for IEEE Transactions on Reliability. He is the Program Chair of LCTES 2024 and a Program Chair of SAS 2025 and serves on the organizing committees for SPLASH 2025, FSE 2025 and ISSRE 2024.

News

    I'm looking for self-motivated PhD students, master by research, undergraduate thesis and visiting students, who are interested in program analysis or machine learning.

    2024/07   Invited to serve as a Program Co-Chair for the 32nd Static Analysis Symposium (SAS 2025)

    2024/06   Our FSE 2024 paper on path-sensitive typestate analysis received a Distinguished Paper Award. We thank the community for the recognition of our work!

    2024/05   Inaugural offering of Software Security Analysis Course at UNSW, learning code analysis with SVF for fun and expertise!

    2023/12   Our work on cross-domain abstract execution accepted at ICSE 2024

    2023/10   Received Google Aspire Award for our project "Cross-Component Cross-Language Static Value-Flow Analysis for Android Ecosystem". We thank Google for their research gift!

    2023/07   SVF-2.7 is released.

    2023/03   Our work on scalable CFL-Reachability analysis accepted at PLDI 2023

    2022/04   Our work on path-sensitive code embedding accepted at ISSTA 2022

    2022/04   Learning or Teaching Software Verification? Check out SVF-Teaching!

    2021/07   Our work on improving data structures for pointer analysis accepted at OOPSLA 2021 and SAS 2021.

    2021/05   Learning or Teaching Software Analysis? Check out SVF-Teaching!

    2021/01   VSFS has been merged into SVF.

    2020/11   Our OOPSLA paper received a Distinguished Paper Award. We thank the community for the recognition of our work!

    2020/05   TypeClone has been merged into SVF.

    2020/04   TypeClone accepted at ECOOP 2020.   MUZZ accepted at USENIX Security 2020.

    2020/02   Invited to serve on the Program Committees of ICSE 2021 , ISSRE 2020 , LCTES 2020 , QRS 2020 , SCAM 2020 , APSEC 2020, ICCQ 2021. Please consider to submit your work!

    2019/10   Our work on hybrid representation learning for clustering weakly-labeled Android malware is accepted at TIFS.

    2019/10   Our SAS paper received a Best Paper Award . We thank the community for the recognition of our work!

    2018/12   Our work VFix has been accepted at ICSE 2019 !

    2018/05   Our ICSE paper was awarded ACM SIGSOFT Distinguished Paper. We thank the community for the recognition of our past research efforts!

    2018/03   Our SVF now supports lastest version of LLVM (6.0.0). We have also released PTBen , a comprehensive pointer analysis benchmark suite for C/C++.

    2017/12   Two papers accepted at ICSE 2018! One on UAF detection and the other one on Android actitivty transition analysis

    2017/08   Our work on machine-learning-guided typestate analysis has been accepted at this year ACSAC 2017.

    2017/06   Our work on incremental analysis for probabilistic programs has been accepted at this year SAS 2017.

    2017/05   SVF has been migrated to LLVM-4.0.0.

    2017/04   Our work on C++ virtual call protection using pointer analysis has been accepted at this year ISSTA 2017.

    2016/11   I won an ARC Discovery Early Career Researcher Award.

    2016/04   SVF has been updated to support lastest verson of LLVM (3.8.0).

    2016/02   I will be attending EuroLLVM'16 to give a plenary talk about our SVF. See you there!


Publication
OOPSLA'25 Guanqin Zhang, Zhenya Zhang, Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui. Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications.
DATE'25 Kota Fukuda, Guanqin Zhang, Zhenya Zhang, Yulei Sui, Jianjun Zhao. Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification. Design, Automation and Test in Europe Conference.
TOCS'24 Tuo Li, Jia-Ju Bai, Yulei Sui, Shi-Min Hu. SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware and Path-Sensitive Typestate Analysis. ACM Transactions on Computer Systems.
TSE'24 Shuangxiang Kan, Yuhao Gao and Zexin Zhong and Yulei Sui. Cross-Language Taint Analysis: Generating Caller-Sensitive Native Code Specification for Java. IEEE Transactions on Software Engineering.
PLDI'24 Yuxiang Lei, Camille Bossut, Yulei Sui and Qirun Zhang. Context-Free Language Reachability via Skewed Tabulation. ACM SIGPLAN Conference on Programming Language Design and Implementation.
OOPSLA'24 Pei Xu, Yuxiang Lei, Yulei Sui and Jingling Xue. Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications.
FSE'24 Xiao Cheng, Jiawei Ren and Yulei Sui. Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing. ACM International Conference on the Foundations of Software Engineering. (Distinguished Paper Award)
FSE'24 Weigang He, Peng Di, Mengli Ming, Chengyu Zhang, Ting Su, Shijie Li and Yulei Sui. Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles. ACM International Conference on the Foundations of Software Engineering.
FSE'24 Changwei Zou, Dongjie He, Yulei Sui and Jingling Xue. Tracking Integer-Pointer Value Flows for C++ Member Function Pointers. ACM International Conference on the Foundations of Software Engineering.
ICSE'24 Xiao Cheng, Jiawei Wang and Yulei Sui. Precise Sparse Abstract Execution via Cross-Domain Interaction. 46th International Conference on Software Engineering.
ICSE'24 Dinghua Wang, Shuqing Li, Guanping Xiao, Yepang Liu, Yulei Sui, Pinjia He and Michael R. Lyu. An Exploratory Investigation of Log Anomalies in Unmanned Aerial Vehicles. 46th International Conference on Software Engineering.
TOSEM'24 Jiawei Ren, Yulei Sui, Xiao Cheng, Yuan Feng and Jianjun Zhao. Dynamic Transitive Closure-Based Static Analysis through the Lens of Quantum Search. ACM Transactions on Software Engineering and Methodology.
TOSEM'24 Zhe Chen, Rui Yan, Yingzi Ma, Yulei Sui and Jingling Xue. A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety. ACM Transactions on Software Engineering and Methodology.
EMNLP'23 Findings Qianyu Feng, Yulei Sui and Hongyu Zhang. Uncovering Limitations in Text-to-Image Generation: A Contrastive Approach with Structured Semantic Alignment. 2023 Conference on Empirical Methods in Natural Language Processing.
FSE'23 Jun Wang, Guanping Xiao, Shuai Zhang, Huashan Lei, Yepang Liu, and Yulei Sui. Compatibility Issues in Deep Learning Systems: Problems and Opportunities. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.
ASE'23 Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu, Lian Li and Jingling Xue. Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis. 38th IEEE/ACM International Conference on Automated Software Engineering.
USENIX Security'23 Guoren Li, Hang Zhang, Jinmeng Zhou, Wenbo Shen, Yulei Sui, Zhiyun Qian. A Hybrid Alias Analysis and Its Application to Global Variable Protection in the Linux Kernel. 32nd USENIX Security Symposium.
OOPSLA'23 Dongjie He, Yujiang Gui, Wei Li, Yonggang Tao, Changwei Zou, Yulei Sui, and Jingling Xue. A Container-Usage-Pattern-based Context Debloating Approach for Object-Sensitive Pointer Analysis. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications.
TPAMI'23 Jing Li, Yuangang Pan, Yueming Lyu, Yinghua Yao, Yulei Sui, Ivor Tsang. Earning Extra Performance from Restrictive Feedbacks. IEEE Transactions on Pattern Analysis and Machine Intelligence
PLDI'23 Yuxiang Lei, Yulei Sui, Shin Hwei Tan, Qirun Zhang. Recursive State Machine Guided Graph Folding for Context-Free Language Reachability. 44th ACM SIGPLAN Conference on Programming Language Design and Implementation
JSS'23 Hsu Myat Win, Shin Hwei Tan, and Yulei Sui. Event-aware precise dynamic slicing for automatic debugging of Android applications. Journal of Systems and Software
TSE'23 Weiwei Zhang, Shengjian Guo, Hongyu Zhang, Yulei Sui, Yinxing Xue, and Yun Xu. Challenging Machine Learning-based Clone Detectors via Semantic-preserving Code Transformations. IEEE Transactions on Software Engineering
ASE'22 Liu Wang, Haoyu Wang, Xiapu Luo, and Yulei Sui. MalWhiteout: Reducing Label Errors in Android Malware Detection. 37th IEEE/ACM International Conference on Automated Software Engineering
FSE'22 Yao Wan, Shijie Zhang, Hongyu Zhang, Yulei Sui, Guandong Xu, Dezhong Yao, Hai Jin, and Lichao Sun. You See What I Want You to See: Poisoning Vulnerabilities in Neural Code Search. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
FSE'22 Yuhao Gao, Guoai Xu, Li Li, Xiapu Luo, Chenyu Wang, Yulei Sui. Demystifying the Underground Ecosystem of Account Registration Bots. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
OOPSLA'22 Yuxiang Lei, Yulei Sui, Shuo Ding, and Qirun Zhang. Taming Transitive Redundancy for Context-Free Language Reachability. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (Distinguished Artifact Award)
ISSTA'22 Xiao Cheng, Guanqin Zhang, Haoyu Wang and Yulei Sui. Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection. ACM SIGSOFT International Symposium on Software Testing and Analysis
TDSC'22 Xiao Cheng, Xu Nie, Ningke Li, Haoyu Wang, Zheng Zheng, Yulei Sui. How About Bug-Triggering Paths? - Understanding and Characterizing Learning-Based Vulnerability Detectors. IEEE Transactions on Dependable and Secure Computing
TDSC'22 Xiaoting Du, Yulei Sui, Zhihao Liu and Jun Ai. An Empirical Study of Fault Triggers in Deep Learning Frameworks. IEEE Transactions on Dependable and Secure Computing
ICSE'22 Yao Wan, Wei Zhao, Hongyu Zhang, Yulei Sui, Guandong Xu and Hai Jin. What Do They Capture? - A Structural Analysis of Pre-Trained Language Models for Source Code. 44th International Conference on Software Engineering
ICSE'22 - Tool Demos Yao Wan, Yang He, Zhangqian Bi, Jianguo Zhang, Yulei Sui, Hongyu Zhang, Kazuma Hashimoto, Hai Jin, Guandong Xu, Caiming Xiong and Philip S. Yu. NaturalCC: An Open-Source Toolkit for Code Intelligence 44th International Conference on Software Engineering
ASPLOS'22 Tuo Li, Jia-Ju Bai, Yulei Sui and Shi-Min Hu. Path-Sensitive and Alias-Aware Typestate Analysis for Detecting OS Bugs. 27th International Conference on Architectural Support for Programming Languages and Operating Systems
JSS'21 Thazin Win Win Aung, Yao Wan, Huan Huo and Yulei Sui. Multi-Triage: A Multi-Task Learning Framework for Bug Triage. Journal of Systems and Software
EMNLP'21 Haiwen Hong, Jingfeng Zhang, Yin Zhang, Yao Wan and Yulei Sui. Fix-Filter-Fix: Intuitively Connect Any Models for Effective Multi-task Bug Fixing. 2021 Conference on Empirical Methods in Natural Language Processing
OOPSLA'21 Mohamad Barbar and Yulei Sui. Compacting Points-To Sets Through Object Clustering. [ talk ] ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
SAS'21 Mohamad Barbar and Yulei Sui. Hash Consed Points-To Sets. [ talk ] 28th Static Analysis Symposium
ISSRE'21 Guanping Xiao, Jun Liu, Zheng Zheng and Yulei Sui. Nondeterministic Impact of CPU Multithreading on Training Deep Learning Systems. IEEE 32nd International Symposium on Software Reliability Engineering
FSE'21 Dinghua Wang, Shuqing Li, Guanping Xiao, Yepang Liu and Yulei Sui. An Exploratory Study of Autopilot Software Bugs in Unmanned Aerial Vehicles. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
ACL'21-Findings Jingfeng Zhang, Haiwen Hong, Yin Zhang, Yao Wan, Ye Liu and Yulei Sui. Disentangled Code Representation Learning for Multiple Programming Languages. 59th Annual Meeting of the Association for Computational Linguistics
TSE'21 Yutian Tang, Haoyu Wang, Xian Zhan, Xiapu Luo, Yajin Zhou, Hao Zhou, Qiben Yan, Yulei Sui and Jacky Keung. A Systematical Study on Application Performance Management Libraries for Apps. IEEE Transactions on Software Engineering
ISSTA'21 Zhe Chen, Chong Wang, Junqi Yan,Yulei Sui and Jingling Xue. Runtime Detection of Memory Errors with Smart Status. 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
ESE'21 Liu Wang, Ren He, Haoyu Wang, Pengcheng Xia, Yuanchun Li, Lei Wu, Yajin Zhou, Xiapu Luo, Yulei Sui, Yao Guo and Guoai Xu. Beyond the Virus: A First Look at Coronavirus-themed Android Malware. Empirical Software Engineering
TOSEM'21 Xiao Cheng, Haoyu Wang, Jiayi Hua, Guoai Xu and Yulei Sui. Statically Detecting Software Vulnerabilities using Deep Graph Neural Networks. ACM Transactions on Software Engineering and Methodology
CGO'21 Mohamad Barbar, Yulei Sui and Shiping Chen. Object Versioning for Flow-Sensitive Pointer Analysis. International Symposium on Code Generation and Optimization
OOPSLA'20 Yulei Sui, Xiao Cheng, Guanqin Zhang and Haoyu Wang. Flow2Vec: Value-Flow-Based Precise Code Embedding. [ slides ][ talk ] ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (Distinguished Paper Award)
ISSRE'20 Xiaoting Du, Guanping Xiao and Yulei Sui. Fault Triggers in the TensorFlow Framework: An Experience Report. 31st International Symposium on Software Reliability Engineering. (One of the Three Best Paper Nominees)
ASE'20 Yingxing Xue, Mingliang Ma, Yun Lin Yulei Sui, Jiaming Ye and Tianyong Peng. Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts. 35th IEEE/ACM International Conference on Automated Software Engineering.
ESEM'20 Yangyang Shu, Yulei Sui, Hongyu Zhang and Guandong Xu. Perf-AL: Performance Prediction for Configurable Software through Adversarial Learning. 14th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement.
FSE'20 Yutian Tang, Yulei Sui, Haoyu Wang, Xiapu Luo, Hao Zhou and Zhou Xu. All Your App Links are Belong to Us: Understanding the Threats of Instant Apps based Attacks. ACM SIGSOFT International Symposium on the Foundations of Software Engineering.
TRel'20 Wei Hua, Yulei Sui, Yao Wan, Guangzhong Liu and Guandong Xu. FCCA: Hybrid Code Representation for Functional Clone Detection Using Attention Networks. IEEE Transaction on Reliability.
TIFS'20 Jing Li, Yuangang Pan, Yulei Sui, Ivor Tsang. Secure Metric Learning via Differential Pairwise Privacy. IEEE Transactions on Information Forensics & Security.
USENIX Security'20 Hongxu Chen, Shengjian Guo, Yinxing Xue, Yulei Sui, Cen Zhang, Yuekang Li, Haijun Wang and Yang Liu. MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs. 29th USENIX Security Symposium.
ECOOP'20 Mohamad Barbar, Yulei Sui, Shiping Chen. Flow-Sensitive Type-Based Heap Cloning. 34th European Conference on Object-Oriented Programming.
ICPC'20 Thazin Win Win Aung, Huan Huo, Yulei Sui. A Literature Review of Automatic Traceability Links Recovery for Software Change Impact Analysis. 28th IEEE/ACM International Conference on Program Comprehension.
TSE'20 Wenhua Wang, Yuqun Zhang, Yulei Sui, Yao Wan, Zhou Zhao, Jian Wu, Philip Yu and Guandong Xu. Reinforcement-Learning-Guided Source Code Summarization using Hierarchical Attention. IEEE Transactions on Software Engineering.
ICSE'20 Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen and Yulei Sui. Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities. 42nd International Conference on Software Engineering.
TIFS'19 Yanxin Zhang, Yulei Sui, Shirui Pan, Zheng Zheng, Baodi Ning, Ivor Tsang and Wanlei Zhou. Familial Clustering For Weakly-labeled Android Malware Using Hybrid Representation Learning. IEEE Transactions on Information Forensics & Security.
ASE'19 Yao Wan, Jingdong Shu, Yulei Sui, Guandong Xu, Zhou Zhao, Jian Wu and Philip S. Yu. Multi-Modal Attention Network Learning for Semantic Source Code Retrieval. 34th IEEE/ACM International Conference on Automated Software Engineering.
SAS'19 Yuxiang Lei and Yulei Sui. Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis. 26th International Static Analysis Symposium (Radhia Cousot Young Researcher Best Paper Award)
SAS'19 Hua Yan, Shiping Chen, Yulei Sui, Yueqian Zhang and Jingling Xue. Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis. 26th International Static Analysis Symposium
ISSRE'19 Changwei Zou, Yulei Sui, Hua Yan and Jingling Xue. TCD: Statically Detecting Type Confusion Errors in C++ Programs, 30th IEEE International Symposium on Software Reliability Engineering
FSE'19 - Tool Demos Yulei Sui, Yifei Zhang, Wei Zheng, Manqing Zhang and Jingling Xue. Event Trace Reduction for Effective Bug Replay of Android Apps via Differential GUI State Analysis. ACM SIGSOFT International Symposium on the Foundations of Software Engineering
ICST'19 Diyu Wu, Jie Liu, Yulei Sui, Shiping Chen and Jingling Xue. Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android. 12th International Conference on Software Testing, Verification and Validation
ICSE'19 Xuezheng Xu, Yulei Sui, Hua Yan and Jingling Xue. VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences. 41st International Conference on Software Engineering
JSS'18 Yulei Sui, Hua Yan, Yunpeng Zhang, Jingling Xue and Zheng Zheng. Parallel Construction of Interprocedural Memory SSA Form. Journal of Systems and Software
TSE'18 Yulei Sui and Jingling Xue Value-Flow-Based Demand-Driven Pointer Analysis for C and C++ . IEEE Transactions on Software Engineering
TrustCom'18 Mehdi Nobakht, Yulei Sui, Aruna Seneviratne and Wen Hu. Permission Analysis of Health and Fitness Apps in IoT Programming Frameworks. (Extended Version) The 17th IEEE International Conference On Trust, Security and Privacy in Computing and Communications
ACISP'18 Mohamad Barbar, Yulei Sui, Hongyu Zhang, Shiping Chen and Jingling Xue. Live Path CFI Against Control Flow Hijacking Attacks., 23rd Australasian Conference on Information Security and Privacy
ICPC'18 Qing Gao, Sen Ma, Sihao Shao, Yulei Sui, Guoliang Zhao, Luyao Ma, Xiao Ma, Fuyao Duan, Xiao Deng, Shikun Zhang, Xianglong Chen. Static Bug Detection for C/C++ in the Presence of Incomplete Code. 26th International Conference on Program Comprehension , Tool Paper
ICSE-Poster'18 Mohamad Barbar, Yulei Sui, Hongyu Zhang, Shiping Chen and Jingling Xue. Live Path Control Flow Integrity. 40th International Conference on Software Engineering
ICSE'18 Hua Yan, Yulei Sui, Shiping Chen and Jingling Xue. Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities. 40th International Conference on Software Engineering (Distinguished Paper Award)
ICSE'18 Yifei Zhang, Yulei Sui and Jingling Xue. Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for Android Apps. 40th International Conference on Software Engineering
TECS'18 Yulei Sui, Xiaokang Fan, Hao Zhou and Jingling Xue. Loop-Oriented Pointer Analysis for Automatic SIMD Vectorization. ACM Transactions on Embedded Computing Systems
ACSAC'17 Hua Yan, Yulei Sui, Shiping Chen and Jingling Xue. Machine-Learning-Guided Typestate Analysis for Use-After-Free Detection. 33th Annual Computer Security Applications Conference
SAS'17 Jieyuan Zhang, Yulei Sui and Jingling Xue. Incremental Analysis for Probabilistic Programs. 24th International Static Analysis Symposium
ISSTA'17 Xiaokang Fan, Yulei Sui and Jingling Xue. Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++. International Symposium on Software Testing and Analysis (Artifact)
FSE'16 Yulei Sui and Jingling Xue. On-Demand Strong Update Analysis via Value-Flow Refinement. [ slides ] ACM SIGSOFT International Symposium on the Foundation of Software Engineering. (Artifact evaluated as Platinum level)
TRel'16 Yulei Sui, Ding Ye, Yu Su and Jingling Xue. Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions. IEEE Transactions on Reliability
LCTES '16 Yulei Sui, Xiaokang Fan, Hao Zhou and Jingling Xue. Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization. [ slides ] ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems
CC'16 Yulei Sui and Jingling Xue. SVF: Interprocedural Static Value-Flow Analysis in LLVM. [ slides ] 25th International Conference on Compiler Construction (Tool Paper)
PMAM'16 Peng Di, and Yulei Sui. Accelerating Dynamic Data Race Detection Using Static Thread Interference Analysis. [ slides ] 7th International Workshop on Programming Models and Applications for Multicores and Manycores co-located with the PPoPP 2016
CGO'16 Yulei Sui, Peng Di, and Jingling Xue. Sparse Flow-Sensitive Pointer Analysis for Multithreaded Programs. [ slides ] 2016 International Symposium on Code Generation and Optimization ( Artifact)
SAC'16 Hua Yan, Yulei Sui, Shiping Chen, and Jingling Xue. Automated Memory Leak Fixing on Value-Flow Slices for C Programs. , 31st ACM/SIGAPP Symposium on Applied Computing
ICPADS'15 XiaoKang Fan, Yulei Sui, and Jingling Xue. Contention-Aware Scheduling for Asymmetric Multicore Processors. , 21st IEEE International Conference on Parallel and Distributed Systems
ICPP'15 Peng Di, Yulei Sui, Ding Ye, and Jingling Xue. Region-Based May-Happen-in-Parallel Analysis for C Programs , 44th IEEE International Conference on Parallel Processing
ISSRE'14 Ding Ye, Yu Su, Yulei Sui, and Jingling Xue. WPBound: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions, 25th IEEE International Symposium on Software Reliability Engineering
SAS'14 Yulei Sui, Sen Ye and Jingling Xue. Region-based Selective Flow-Sensitive Pointer Analysis , 21th International Static Analysis Symposium ( Artifact )
ECOOP'14 Yue Li, Tian Tan, Yulei Sui, and Jingling Xue. Self-Inferencing Reflection Resolution for Java , 28th European Conference on Object-Oriented Programming ( Artifact )
TSE'14 Yulei Sui, Ding Ye, and Jingling Xue. Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis , IEEE Transactions on Software Engineering
CGO'14 Ding Ye, Yulei Sui, and Jingling Xue. Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis , 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization
SPE'14 Yulei Sui, Sen Ye, Jingling Xue, and Jie Zhang. Making Context-Sensitive Inclusion-based Pointer Analysis Practical for Compilers Using Parameterised Summarisation , Software - Practice and Experience
CGO'13 Yulei Sui, Yue Li, and Jingling Xue. Query-Directed Adaptive Heap Cloning For Optimizing Compilers , [ slides , poster ] 11th Annual IEEE/ACM International Symposium on Code Generation and Optimization (Best Paper Award)
ISSTA'12 Yulei Sui, Ding Ye, and Jingling Xue. Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis , [ slides , poster ] 2012 International Symposium on Software Testing and Analysis
ICPP'12 Peng Di, Ding Ye, Yu Su, Yulei Sui and Jingling Xue. Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs , 2012 International Conference on Parallel Processing
APLAS'11 Yulei Sui, Sen Ye, Jingling Xue, and Pen-Chung Yew. SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA, [ slides ] 9th Asian Symposium on Programming Languages and Systems

Some of honours projects I have supervised:
  • WebSVF, An online learning and teaching platform for source code analysis based on SVF.
  • Gurparteek Singh and Vishal Uniyal, WebCodeMap, Analyzing and visiualizing source code.
  • Kai Yang Lim, SVF-UAF Eclipse Plugin, An eclipse plugin for examining use-after-free bugs reported by SVF.
  • Tian Cheng Antheny Yu, UAFPrediction, A tool uses the SVM machine learning model to determine the likelihood of a use-after-free bug within C/C++ source files.
  • Vi Nguyen and Michael Liu, SVF-DataRace Eclipse Plugin, An eclipse plugin of Data Race Detection reported by SVF.
  • Decrick Chan, TestCaseMutation, A test case mutator for validating a pointer analyzer.
  • Desmond Ho Yin Cheang, FlowDroidRunTool, Machine-learning-based prediction of FlowDroid options for ananlyzing an Android App.


  • SVF and its web portal WebSVF are source code analysis framework for LLVM-based languages.
  • PTABen is a micro-benchmark suite for validating pointer analysis algorithms.
  • Saber is a static memory leak detector using full-sparse value flow analysis. Saber was initially implemented in Open64 compiler and later migrated into SVF framework, which is built on top of LLVM compiler.

    Conference Organizing/Program Committee Members

  • Program Chair, 32nd Static Analysis Symposium (SAS 2025)
  • Student Research Competition Co-Chair, The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. (SPLASH 2025)
  • Student Research Competition Co-Chair, The ACM International Conference on the Foundations of Software Engineering (FSE 2025)
  • Program Chair, 25th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2024)
  • Workshop Co-Chair, 31st Asia-Pacific Software Engineering Conference. (APSEC 2024)
  • Doctoral Symposium Co-Chair, 35th IEEE International Symposium on Software Reliability Engineering (ISSRE 2024)
  • Program Chair (Doctoral Symposium Track), 24th International Conference on Formal Engineering Methods (ICFEM 2023)
  • Program Co-Chair, 10th Workshop on Tools for Automatic Program Analysis (TAPAS 2020) co-located with SPLASH 2020 and SAS 2020

  • Program Committee, 47th IEEE/ACM International Conference on Software Engineering (ICSE 2025)
  • Program Committee, ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. (OOPSLA 2024)
  • Program Committee, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024)
  • Program Committee, 46th IEEE/ACM International Conference on Software Engineering (ICSE 2024)
  • Program Committee, IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2024)
  • Program Committee, 34th IEEE International Symposium on Software Reliability Engineering (ISSRE 2023)
  • Program Committee, 30th Static Analysis Symposium (SAS 2023)
  • Program Committee, 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
  • Program Committee, 11th International Conference on Formal Methods in Software Engineering (FormaliSE 2023)
  • Program Committee, 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022)
  • Program Committee, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE 2022)
  • Program Committee, 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022)
  • Program Committee, IEEE Secure Development Conference (SecDev 2022)
  • Program Committee, 29th Asia-Pacific Software Engineering Conference (APSEC 2022)
  • Program Committee, 19th Asian Symposium on Programming Languages and Systems (APLAS 2021)
  • Program Committee, 32nd International Symposium on Software Reliability Engineering. (ISSRE 2021)
  • Program Committee, International Conference on Languages Compilers, Tools and Theory of Embedded Systems (LCTES 2021)
  • Program Committee, 28th Asia-Pacific Software Engineering Conference (APSEC 2021)
  • Program Committee, The first International Conference on Code Quality. (ICCQ 2021)
  • Program Committee, 43rd International Conference on Software Engineering. (ICSE 2021)
  • Program Committee, 27th Asia-Pacific Software Engineering Conference (APSEC 2020)
  • Program Committee, 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020)
  • Program Committee, 31st International Symposium on Software Reliability Engineering (ISSRE 2020)
  • Program Committee, 21st International Conference on Languages, Compilers, and Tools for Embedded Systems. (LCTES 2020)
  • Program Committee, 29th International Joint Conference on Artificial Intelligence (IJCAI 2020)
  • Program Committee, 20th IEEE International Conference on Software Quality, Reliability, and Security. (QRS 2020)
  • Program Committee, 15th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques. (TAIC-PART 2020)
  • Review Committee, 33rd Conference on Neural Information Processing Systems (NeurIPS 2019)
  • Artifact Evaluation Committee, 26th International Static Analysis Symposium (SAS 2019)
  • Program Committee, The ACM SIGSOFT International Symposium on Software Testing and Analysis (Tool Demo Track). (ISSTA 2019)
  • Program Committee, The 19th IEEE International Conference on Software Quality, Reliability, and Security. (QRS 2019)
  • Program Committee, 2019 International Conference on Software Engineering and Computational Intelligence. (CSECI 2019)
  • Program Committee, The 14th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques. (TAIC-PART 2019)
  • Program Committee, 33rd AAAI Conference on Artificial Intelligence (Technical Research Track) (AAAI 2019)
  • Program Committee, 2018 LLVM Developers Meeting (LLVM 2018)
  • Program Committee, The 25th Asia-Pacific Software Engineering Conference (Technical Research Track) (APSEC 2018)
  • Program Committee, The 18th IEEE International Conference on Software Quality, Reliability, and Security. (QRS 2018)
  • Program Committee, 29th IEEE International Symposium on Software Reliability Engineering -- Fast Abstracts Track, (ISSRE 2018)
  • Program Committee, The 25th Australasian Software Engineering Conference (ASWEC 2018)
  • Program Committee, The Annual Conference on Software Analysis, Testing and Evolution (SATE 2018)
  • Artifact Evaluation Committee, International Symposium on Software Testing and Analysis (ISSTA 2018)
  • Artifact Evaluation Committee, Principles and Practice of Parallel Programming (PPoPP/CGO 2017)
  • Program Committee, 14th International Conference on High Performance Computing & Simulation (Session on Compiler Architecture, Design and Optimization) (HPCS 2016)
  • Program Committee, 10th Annual Advanced Computer Architecture Conference in China (ACA 2016)
  • Artifact Evaluation Committee, International Symposium on Code Generation and Optimization (CGO 2016)
  • Artifact Evaluation Committee, International Symposium on Software Testing and Analysis (ISSTA 2015)
  • Artifact Evaluation Committee, 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2015)
  • Program Committee, 21st IEEE International Conference on Parallel and Distributed Systems (ICPADS 2015)
  • Web Chair, ACM Conference on Languages, Compilers, Tools and Theory for Embedded System (LCTES 2013)




Research Guide

Useful Links