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)


Research Grants

  • Australian Research Council Discovery Early Career Researcher Award (DE170101081): Adaptive Value-Flow Analysis to Improve Code Reliability and Security , $360,000, Sole Investigator, 2017 - 2019
  • Research Infrastructure Scheme, UNSW, $140,074, CI, 2017
  • UNSW Strategic Priority Fund (SPF02): Static Value-Flow Analysis for Large-Scale Software, $15,000, Sole Investigator, 2015


Students

  • Sen Ye    2012-2014 (PhD, co-supervised with Prof. Jingling)
  • Xiaokang Fan    2013-now (PhD, co-supervised with Prof. Jingling)
  • Hua Yan    2014-now (PhD, co-supervised with Prof. Jingling)
  • Jieyuan Zhang    2015-now (PhD, co-supervised with Prof. Jingling)
  • 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
  • Mohammad 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)


Tools

  • 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.


Honors and Awards

  • 2016            ARC Discovery Early Career Researcher Award
  • 2013            Chinese Government Award for Outstanding Students Abroad
  • 2013            CGO Best Paper Award
  • 2012            ACM SIGSOFT CAPS Travel Award
  • 2010            UNSW International Postgraduate Research Scholarship(IPRS)
  • 2009            China Aerospace Corporation (CASC) Scholarship
  • 2008            Championship in the RoboCup China Open 2008
  • 2008            China National Scholarship for Undergraduate Student
  • 2007            Championship in 4th Xi'an GPCT Programming Competition
  • 2007            HuaWei Scholarship Award

Research Guide

Useful Links