Exporters From Japan
 
Wholesale exporters from Japan   Company Established 1983
CARVIEW
MOTORHOMES
Select Language
Publication
TSE'25 Ruijun Feng, Hammond Pearce, Pietro Liguori, Yulei Sui. CGP-Tuning: Structure-Aware Soft Prompt Tuning for Code Vulnerability Detection. IEEE Transactions on Software Engineering.
TOSEM'25 Shuangxiang Kan, Yuekang Li, Weigang He, Zhenchang Xing, Liming Zhu, Yulei Sui. Automated Aliasing Specifications Generation for Library APIs with Fuzzing. ACM Transactions on Software Engineering and Methodology.
TACAS'25 - SV-COMP Cameron McGowan, Matthew Richards, Yulei Sui. SVF-SVC: Software Verification Using SVF (Competition Contribution). 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ICSE'25 Chenxi Zhang, Yufei Liang, Tian Tan, Chang Xu, Shuangxiang Kan, Yulei Sui, and Yue Li. Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs. 47th IEEE/ACM International Conference on Software Engineering. (Distinguished Paper Award)
ECOOP'25 Guanqin Zhang, Kota Fukuda, Zhenya Zhang, Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui. Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Tree. 2025 European Conference on Object-Oriented Programming.
ECOOP'25 Jiawei Yang, Xiao Cheng, Bor-Yuh Evan Chang, Xiapu Luo, Yulei Sui. Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering. 2025 European Conference on Object-Oriented Programming.
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.
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.
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.
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
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
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)
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.
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.
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)
  • Program Chair, 36th IEEE International Symposium on Software Reliability Engineering. (ISSRE 2025)
  • Student Research Competition Co-Chair, The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. (SPLASH 2025)
  • Early Research Achievements Co-Chair, 32nd Asia-Pacific Software Engineering Conference. (APSEC 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)
  • Doctoral Symposium Chair, 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)

    • Invited talks

    I have been invited to give talks in the following conferences

  • 14th ACM Workshop on the State Of the Art in Program Analysis (SOAP 2025)
  • 2nd IEEE Workshop on Reliable and Secure AI for Software Engineering (ReSAISE 2025)
  • 29th Australasian Conference on Information Security and Privacy 2024 (ACISP 2024)
  • International Workshop on Dependable Computing for Complex Systems 2023
  • Workshop on Machine Learning for Cybersecurity 2023 (MLC 2023)
  • European LLVM Developers' Meeting 2016 (EuroLLVM 2016)


  • ARC Discovery Project (DP250101396), Certifying Code Language Models to Fortify Software Engineering Foundations, Lead CI, 2025-2027
  • ARC Future Fellowship (FT220100391), Learning Software Security Analysers with Imperfect Data, Sole CI, 2023-2026
  • 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

    Current students / Research associate:

  • Shuangxiang Kan    PhD student    T1 2022-now   
  • Guanqin Zhang    PhD student    T2 2022-now    (with Dilum Bandara and Shiping Chen)
  • Feng Xu    PhD student    T1 2023-now   
  • Jiawei Ren    PhD student    T2 2023-now   
  • Jiawei Wang    PhD student    T3 2023-now   
  • Ruijun Feng    PhD student    T1 2024-now   
  • Kaijie Liu    PhD student    T1 2024-now   

  • Christian Tolentino    Undergraduate thesis student    T1 2025-now   
  • Keenen Roshan    Undergraduate thesis student    T1 2025-now   
  • Andy Huang    Undergraduate thesis student    T1 2025-now   
  • Abigail Bennett Lugue Carungay    Undergraduate thesis student    T1 2025-now   
  • Hanyuan Li    Undergraduate thesis student    T1 2025-now   
  • Joshua Wills    Undergraduate thesis student    T1 2025-now   
  • Krishna Tilani    Undergraduate thesis student    T1 2025-now   

  • Xiao Cheng    PhD student and postdoc    S1 2021 - T2 2025   
  • Pei Xu    PhD student    S1 2022-S1 2025    (co-supervised with Mark Staples)
  • Yuxiang Lei    Postdoc    S1 2023-S2 2024   
  • Peike Li    research associate    S1 2022-S2 2022   
  • Qianyu Feng    research associate    S1 2022-S2 2022   
  • Dinghua Wang    PhD student    S1 2020-S2 2024
  • Yuhao Gao    PhD student    S1 2022-S2 2023
  • Yuxiang Lei    PhD student    S2 2018-S2 2022
  • Hsu Myat Win    PhD student    S2 2019-S1 2023    (with Shin Hwei Tan )
  • Gurparteek Singh    PhD student (on leave)    S2 2020-now    (with Ivor Tsang )
  • Vishal Uniyal    Master by research student    S2 2021-S2 2022   
  • 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
  • Yangyang Shu    PhD student (co-supervised with Guandong Xu)    S1 2018-S2 2021
  • Yanxin Zhang    PhD student    S1 2018-S2 2021
  • Aditi Sachan    Undergraduate thesis student    T3 2024-T2 2025   
  • Samiksha Anirudh    Undergraduate thesis student    T1 2024-T3 2024   
  • Sanjana Dinesh    Undergraduate thesis student    T1 2024-T3 2024   
  • Joshua Sy    Undergraduate thesis student    T1 2024-T3 2024   
  • Nicholas Ramsay    Undergraduate thesis student    T3 2023-T2 2024   
  • Jin Woo Park    Undergraduate thesis student    T1 2023-T3 2023   
  • Isha Shroff    Undergraduate thesis student    T1 2023-T3 2023   
  • Patrick Church    Undergraduate thesis student    T1 2023   
  • 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)

Research Guide

Useful Links

 

 
Original Source | Taken Source