Yulei Sui

ARC DECRA Fellow   School of Computer Science and Engineering  The University of New South Wales (UNSW)  Office: K17 501-K  Phone: +61 2 9385 7369 (Internal: x57369)  Email: ysui AT cse.unsw.edu.au  Homepage: www.cse.unsw.edu.au/~ysui  Mail: School of Computer Science and Engineering  The University of New South Wales (UNSW)  Sydney 2052, Australia

 

News

    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 present our tool SVF. See you there!

    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 !

About me

   I am an ARC DECRA fellow working at School of Computer Science and Engineering, The University of New South Wales.

Research Interest

   My research interests are static and dynamic program analysis for software reliability and security.  

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

Research Papers

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)
TR'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

Professional Services

I am/was a commmitte member for the folowing conferences/workshops:

• Artifact Evaluation Committee, Principles and Practice of Parallel Programming (PPoPP/CGO 2016)
• 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 folowing 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)

---