Bio
Yulei Sui is a Scientia Associate Professor at School of Computer Science and Engineering, University of New South Wales (UNSW). He is broadly interested in Program Analysis, Secure Software Engineering and Machine Learning. 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 machine learning. Specifically, his current research projects include trustworthy machine learning, software analysis and verification for bug detection through data mining and deep learning.
His papers have been published in the top-tier conferences and journals in the field of program analysis and software engineering such as PLDI, OOPSLA, ASPLOS, TSE, TOSEM, ICSE, FSE, ISSTA, ASE, ECOOP, SAS, CGO and CC. He was a plenary talk speaker at EuroLLVM 2016, and has been awarded a 2022 OOPSLA Distinguished Artifact Award, a 2021 ICSE Distinguished Reviewer, 2020 OOPSLA Distinguished Paper, a 2019 SAS Best Paper, a 2018 ICSE Distinguished Paper, a 2013 CGO Best Paper, JSPS Invitational Fellowship (2022), ARC Discovery Early Career Researcher Award (2017-2019) and ARC Future Fellowship (2023-2026).
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.
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!
Publications (Google Scholar, DBLP)
ISSRE'23 | Huashan Lei, Shuai Zhang, Jun Wang, Guanping Xiao, Yepang Liu, and Yulei Sui. Why Do Deep Learning Projects Differ in Compatible Framework Versions? An Exploratory Study. IEEE 34th International Symposium on Software Reliability Engineering. |
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 |
ICSE'23-SEIP | Zexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu, John C.S. Lui. Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services. 45th International Conference on Software Engineering |
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 |
ISSRE'22 | Jianfei Zhu, Guanping Xiao, Zheng Zheng, and Yulei Sui. Enhancing Traceability Link Recovery with Unlabeled Data. IEEE 33rd International Symposium on Software Reliability 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 | Guanping Xiao, Xiaoting Du, Yulei Sui and Tao Yue. HINDbr: Heterogeneous Information Network Based Duplicate Bug Report Prediction. 31st International Symposium on Software Reliability Engineering. |
ISSRE'20 | Shuqing Li, Yechang Wu, Yi Liu, Dinghua Wang, Ming Wen, Yida Tao, Yulei Sui and Yepang Liu. An Exploratory Study of Bugs in Extended Reality Applications on the Web. 31st International Symposium on Software Reliability Engineering. |
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. |
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. 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 |
Thesis Projects (all topics are here )
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.
Teaching
- SVF-Teaching, a set of online open courses for learning software analysis and verification via SVF.
- 41128 Software Analysis Studio, 2020-now
- 41184 Secure Programming and Penetration Testing, 2022-now
- 41093 Software Engineering Studio 1A (Software Agile), 2017-2020
- 41094 Software Engineering Studio 1B (Software Analysis),2017-2020
Tools
- SVF is a source code analysis framework that enables interprocedural dependence analysis 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.
Professional Services
- 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 Chair, 24th International Conference on Formal Engineering Methods (Doctoral Symposium Track) (ICFEM 2023)
- 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 Co-Chair, 10th Workshop on Tools for Automatic Program Analysis (TAPAS 2020) co-located with SPLASH 2020 and SAS 2020
- 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)
I am/was a committe member for the following conferences/workshops:
- 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)
I am/was an invited reviewer for the following journals/conferences
Research Grants
- Australian Research Council Discovery Project (DP210101348) Learning to Pinpoint Emerging Software Vulnerabilities, Lead Investigator, 2021-2023
- Australian Research Council Discovery Project (DP200101328) Adversarial Learning of Hybrid Representation, Co-Investigator, 2020-2022
- Australian Research Council Discovery Early Career Researcher Award (DE170101081): Adaptive Value-Flow Analysis to Improve Code Reliability and Security , Sole Investigator, 2017 - 2019
- Research Infrastructure Scheme, UNSW, CI, 2017
- UNSW Strategic Priority Fund (SPF02): Static Value-Flow Analysis for Large-Scale Software, Sole Investigator, 2015
Team ( Group Meetings )
- Yuxiang Lei Research Assistant S1 2023-now
- Dinghua Wang PhD student S1 2020-now (with Yepang Liu )
- Xiao Cheng PhD student S1 2021-now
- Yuhao Gao PhD student S1 2022-now
- Shuangxiang Kan PhD student S1 2022-now
- Pei Xu PhD student S1 2022-now
- Guanqin Zhang PhD student S2 2022-now (with Dilum Bandara and Shiping Chen)
- Feng Xu PhD student S1 2023-now
- Nicholas Ramsay Undergraduate thesis student S3 2023-now
- Isha Shroff Undergraduate thesis student S1 2023-now
- Patrick Church Undergraduate thesis student S1 2023-now
- Jin Woo Park Undergraduate thesis student S1 2023-now
- Yuxiang Lei PhD student S2 2018-S2 2022 (Thesis submitted)
- Hsu Myat Win PhD student S2 2019-S1 2023 (with Shin Hwei Tan ) (Thesis submitted)
- Gurparteek Singh PhD student (on leave) S2 2020-now (with Ivor Tsang )
- Thazin Win Win AUNG PhD student S1 2018-S2 2022
- Jiankun Sun Visiting PhD student S2 2022
- Zexin Zhong Master by research student S1 2020-S1 2022
- Guanqin Zhang Master by research student S1 2020-S1 2022
- Mohamad Barbar PhD student S1 2018-S2 2021
- Yanxin Zhang PhD student S1 2018-S2 2021
- Nicholas Tsom Undergraduate thesis student S1 2021-S2 2021
- Wren Ulrich Fajardo Undergraduate thesis student S1 2021-S2 2021
- Luke Kokoftopoulos Undergraduate thesis student S1 2021-S2 2021
- Prashant Shresth Undergraduate thesis student S1 2020-S2 2020
- Akshat Kaushik Undergraduate thesis student S2 2019-S1 2020
- Tianyang Guan Master by research student S1 2019-S2 2020
- Baodi Ning Master by research student S2 2018-2020
- Wei Hua Visiting PhD student S2 2018-S1 2019
- Mengxi Jiang Visiting PhD student S2 2019
- Guanping Xiao Visiting PhD student S2 2018
- Yifei Zhang 2015-2018 (PhD student, co-supervision)
- Xiaokang Fan 2013-2018 (PhD student, co-supervision)
- Hua Yan 2014-2018 (PhD student, co-supervision)
- Sen Ye 2012-2014 (PhD student, co-supervision)
- Daryll Ricalde Undergraduate thesis student S2 2021-S1 2022
- Rikish Kamboj Undergraduate thesis student S2 2021-S1 2022
- Brendon Pandika Undergraduate thesis student S2 2021-S2 2022
- Andy Lee Undergraduate thesis student S2 2021-S2 2022
- Jeffrey Ma Undergraduate thesis student S2 2021-S2 2022
- Joshua Keegan Undergraduate thesis student S2 2021-S1 2022
- Taylor Graham Undergraduate thesis student S2 2021-S1 2022
- Zicheng Qu Undergraduate thesis student S2 2019-S1 2020
- Vishal Uniyal Undergraduate Thesis student S2 2018-S1 2019
- Gurparteek Singh Undergraduate Thesis student S2 2018-S1 2019
- Thai San Phan 2015 (Undergraduate thesis)
-
Banson Tong 2016 (Undergraduate thesis)
- The Macquarie SENG2021 Group Prize
- The Optiver SENG3011 Group Award
-
Mohammad Ghasembeigi 2016 (Undergraduate thesis)
- The CommBank Year 4 Software Engineering Prize
-
Mohamad Barbar 2016-2017 (Undergraduate thesis)
- Oracle COMP3131/9102 Prize
- Taste of Research Summer Scholarships
- Decrick Chan 2017 (Undergraduate thesis)
-
Desmond Ho Yin Cheang 2017 (Undergraduate thesis)
- The Faculty of Engineering Dean's Award
-
Michael Liu 2017 (Undergraduate thesis)
- Macquarie SENG2020 Group Prize
- Vi Nguyen 2017 (Undergraduate thesis)
- Jason Siu Fon Ng 2017 (Undergraduate thesis)
- Kai Yang Lim 2017 (Undergraduate thesis)
- Tian Cheng Antheny Yu 2017 (Undergraduate thesis)
- Robert Brett Charlton 2017 (Undergraduate thesis)
- 2023 Journal of Systems and Software Top Reviewer Award
- 2023 UNSW Scientia Fellowship
- 2023-2026 Australian Research Council Future Fellowship (awarded in 2022)
- 2022 OOPSLA 2022 Distinguished Artifact Award (OOPSLA 2022)
- 2022 JSPS Invitational Fellowship (mid-career to Professor level, short term)
- 2021 ICSE 2021 Distinguished Reviewer (ICSE 2021)
- 2020 ACM SIGPLAN Distinguished Paper Award (OOPSLA 2020)
- 2020 ISSRE Best Paper Nominee (ISSRE 2020)
- 2019 Radhia Cousot Young Researcher Best Paper Award (SAS 2019)
- 2018 ACM SIGSOFT Distinguished Paper Award (ICSE 2018)
- 2017-2019 Australian Research Council Discovery Early Career Researcher Award (ARC DECRA)
- Writing Technical Articles
- Collected Advice on Research and Writing
- How to Read a Paper
- Advice for Researchers and Students
- How to Have a Bad Career in Research/Academia?
- LLVM Compiler
- Open64 Compiler
- How to use LaTEX
- Common Errors in English Usage
- C Function Libary Reference
- Greatest Papers in Computer Science
- Five Simple Rules to Be Happy
Current students / postdocs:
Honors and Awards
Research Guide
Useful Links