2015/11 We have released PTABen, a micro-benchmark suite designed for validating various pointer analysis algorithms for C Programs
2015/07 We have released SVF, a tool that enables scalable and precise interprocedural static value-flow analysis in LLVM. Try it !
am a postdoctoral researcher working with Professor
Jingling Xue at School of
Computer Science and Engineering, The University
of New South Wales.
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)
My research interests are
static and dynamic analysis for sequential and parallel programs, advanced compiler technologies, software security and reliability.
Undergraduate Thesis Topics
We are looking for self-motivated undergraduate thesis students to work in the area of programming languages and software engineering. Feel free to contact me if you are intereted in our topics
Yulei Sui and Jingling Xue.
SVF: Interprocedural Static Value-Flow Analysis in LLVM ,
25th International Conference on Compiler Construction (CC'16) (Tool Paper)
Peng Di, and Yulei Sui.
Accelerating Dynamic Data Race Detection Using Static Thread Interference Analysis ,
7th International Workshop on Programming Models and Applications for Multicores and Manycores co-located with the PPoPP 2016 (PMAM'16)
Yulei Sui, Peng Di, and Jingling Xue.
Sparse Flow-Sensitive Pointer Analysis for Multithreaded Programs
, 2016 International Symposium on Code Generation and Optimization (CGO'16) ( Artifact)
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 (SAC'16)
XiaoKang Fan, Yulei Sui, and Jingling Xue.
Contention-Aware Scheduling for Asymmetric Multicore Processors
, 21st IEEE International Conference on Parallel and Distributed Systems (ICPADS'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 (ICPP'15)
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 (ISSRE'14)
Yulei Sui, Sen Ye and Jingling Xue.
Region-based Selective Flow-Sensitive Pointer Analysis ,
21th International Static Analysis Symposium (SAS'14) ( Artifact )
Yue Li, Tian Tan, Yulei Sui, and Jingling Xue.
Self-Inferencing Reflection Resolution for Java ,
28th European Conference on Object-Oriented Programming (ECOOP'14) ( Artifact )
Yulei Sui, Ding Ye, and Jingling Xue.
Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis
IEEE Transactions on Software Engineering (TSE'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 (CGO'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
Yulei Sui, Yue Li, and
Query-Directed Adaptive Heap Cloning For Optimizing Compilers
11th Annual IEEE/ACM International Symposium on Code Generation and Optimization
Best Paper Award
Yulei Sui, Ding Ye, and
Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis
2012 International Symposium on Software Testing and Analysis
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
Yulei Sui, Sen Ye,
Jingling Xue, and
SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA,
9th Asian Symposium on Programming Languages and Systems
Artifact Evaluation Committee, 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2015)