Dr. Lei Shang

PhD in Computer Science
University of New South Wales, Sydney
  linkedin.com/in/leishang
  shangl@cse.unsw.edu.au


About     Contact     Research    

About Me
    Hello and Welcome to my online portofolio. I am Lei Shang, a software expert with Ph.D in Computer Science who specialises in parallel programming, compiler analysis and optimisation.

    I recently graduated with Ph.D degree from Computer Science & Engineering School at the University of New South Wales. I was a member of Compiler Research Group(CORG) and my superviosr was Jingling Xue. I was holding a full scholarship from Oracle during my whole Ph.D. period.   Before I came to Australia, I was working as a Research Assistant in Compiler Group of Institute of Computing Technology, Chinese Academy of Sciences.   I received my Bachelor degree and Master degree from Northwestern Polytechnical University in 2004 and 2007.

    I am an ACM member (id: 1915937) and also an IEEE member (id: 92258948).

Contact Information

  • School of Computer Science & Engineering
    Building K-17 201(22)
    University of New South Wales
    Sydney, NSW, Australia 2052
  • Mobile: +61 413 450 277
  • Email: shangl at cse.unsw.edu.au
        
View Larger Map
Research

Research Interests:

         Program Analysis: Flow-Sensitivity, Context-Sensitivity, Object-Sensitivity. More efficient, scalable and precise alias analysis algorithms for bug detection on Multi-threaded practical problems.      Parallel Programming & Optimisation: Fine-Grained Overlapping Optimization in UPC(Unified Parallel C), Fine-Grained Parallel Algorithm for iterative algorithms, GPGPU and CUDA optimization, MPI process optimizing mapping for hierarchical multi-core clusters.
         Parallel Algorithms: Multi-splitting Parallel Algorithm on sparse matrix linear equations, Parallel Pre-conditioned Conjugate Gradient Algorithm, Finite Element Method, parallel FEM-BI method in Electro-magnetic scattering problem.
              

Publication:

  • [CGO '12] Lei Shang, Xinwei Xie and Jingling Xue. On-demand Dynamic Summary-based Points-to Analysis.
    ACM/IEEE International Symposium on Code Generation and Optimization (CGO 2012) San Jose, CA, USA
    Acceptance Rate: 28%
    • link
  • [ASE '12] Lei Shang, Yi Lu and Jingling Xue. Fast and Precise Points-to Analysis with Incremental CFL-Reachability Summarisation.
    IEEE/ACM International Conference on Automated Software Engineering (ASE 2012) Essen, Germany
  • [CC '13] Yi Lu, Lei Shang, Xinwei Xie and Jingling Xue. An Incremental Points-to Analysis with CFL-Reachability.
    International Conference on Compiler Construction (CC 2013) Rome, Italy
    Acceptance Rate: 24%
  • [UNSWCSE-TR2012] Lei Shang, Yi Lu and Jingling Xue. Fast and Precise Points-to Analysis with Incremental CFL-Reachability Summarisation.
    UNSW-Technical Report 2012-16
  • [PhD Thesis] Lei Shang. Efficient Points-to Analysis with Context-Free Lanuage Reachability.
    UNSW PhD Thesis Dec 2012 link

About Research:

 

 

 

 

Useful Links

 

Techniques:
Parfait Project
A static bug checking framework.
LLVM Compiler
A powerful compiler infrastructure based on SSA
jChord
A Static and Dynamic Program Analysis Framework for Java
BuDDy
A Binary Decision Diagram Package
bddbddb
BDD-Based Deductive DataBase

 

School and University:


Computer Science & Engineering School

University of New South Wales

Institute of Computing Technology, China

Chinese Academy of Sciences

Northwestern Polytechnical University, China

 

Locations of visitors to this page

 
Last Update: Feb 6, 2013
shangl@cse.unsw.edu.au