Bio

Yulei Sui is a Lecturer at School of Computer Science, Faculty of Engineering and Information Technology , University of Technology Sydney (UTS). He is broadly interested in Program Analysis, Software Engineering and Security. In particular, his research focuses on building fundamental static and dynamic analysis techniques and tools to improve the reliability and security of modern software systems. His recent interest lies in bug detection, program repair and software security analysis through data mining and machine learning.

News

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

    2019/10   Invited to serve as a PC member of ICSE 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 in 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 in 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
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
ICECCS'19 Xiao Cheng, Haoyu Wang, Jiayi Hua, Miao Zhang, Guoai Xu, Li Yi and Yulei Sui. Static Detection of Control-Flow-Related Vulnerabilities Using Graph Embedding, 24th International Conference on Engineering of Complex Computer Systems
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
TRel'19 Guanping Xiao, Zheng Zheng, Bo Jiang and Yulei Sui. An Empirical Study of Regression Bug Chains in Linux. IEEE Transactions on Reliability.
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. 41th 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 . 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. [ slide ] 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. [ slide ] 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. [ slide ] 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. [ slide ] 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. [ slide ] 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 , [ slide , 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 , [ slide , 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, [ slide ] 9th Asian Symposium on Programming Languages and Systems


Some of honours projects I have supervised:
  • 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 is a static tool that enables scalable and precise interprocedural dependence analysis in LLVM.
  • 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.


Professional Services

    I am/was a committe member for the following conferences/workshops:

  • Program Committee, 43rd International Conference on Software Engineering (ICSE 2021)
  • Program Committee, The 20th IEEE International Conference on Software Quality, Reliability, and Security. (QRS 2020)
  • Program Committee, The 15th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques. (TAIC-PART 2020)
  • Review Committee, Thirty-third 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)

    I am/was an invited reviewer for the following journals/conferences

  • IEEE Transactions on Software Engineering (TSE 2016)
  • Science of Computer Programming 2016
  • IEEE Transactions on Computers (TC 2015)
  • IEEE Transactions on Software Engineering (TSE 2015)
  • ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES 2015)
  • International Conference on Compiler Construction (CC 2014/2015)
  • Journal of Computer Science and Technology (JCST 2015)
  • International Symposium on Code Generation and Optimization (CGO 2013)
  • International Conference on Principles and Practices of Programming on the Java Platform (PPPJ 2014)
  • International Conference on Compilers Architecture and Synthesis for Embedded Systems (CASES 2013)
  • ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming (PPOPP 2012)






Honors and Awards


Research Guide

Useful Links