Lei Shang's Home Page

Lei SHANG

PhD candidate
Computer Science & Engineering
University of New South Wales

shangl@cse.unsw.edu.au

Bio Info Research Personal

About Me

I am a Ph.D student in Computer Science & Engineering School at the University of New South Wales. My superviosr is Jingling Xue. Before I came to Sydney, I was working as a Research Assistant in Compiler Group of Institute of Computing Technology, Chinese Academy of Sciences. My research interests include program analysis, error checking in multithreaded programs, parallel programming models and algorithms. I received my undergraduate degree and Master degree from Northwestern Polytechnical University in 2004 and 2007.
Complete CV (pdf) here

General Information

School of Computer Science & Engineering
Building K-17 501(05)
University of New South Wales
Sydney,NSW, Australia 2052
Phone: +61 2 93854941
Mobile: +61 413450277
Email: shangl@cse.unsw.edu.au
shang1982@Gmail.com

View Larger Map

Research

My research interests include parallel programming models, parallel algorithm, race detection in multithreaded programs.
     Pointer Alias Analysis: Flow-Sensitivity, Context-Sensitivity, Object-Sensitivity. More efficient, scalable and precise alias analysis algorithms for bug detection on Multi-threaded practical problems.

Pointer Analysis in Top Conferences from 1998

Readings about Pointer Alias Analysis

     Static Race Detection for multithreaded OO programs: Software Security, Static Program Analysis, Alias analysis, Data Race Detection on OO programs.
     Parallel Programming Models: 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 dense matrix linear equations, Parallel Pre-conditioned Conjugate Gradient Algorithm, Finite Element Method, parallel FEM-BI method in Electro-magnetic scattering problem.
I am also a professional ACM member. The ACM URL: http://member.acm.org/~xiansl
[CGO'12] Lei Shang, Xinwei Xie, Jingling Xue. On-demand Dynamic Summary-based Points-to Analysis.
ACM/IEEE International Symposium on Code Generation and Optimization (CGO) 2012
Acceptance Rate: 24%
About Research:
- How to make a good presentation?
- Guidelines on PhD Thesis Proposal - CORG Research Group
- The process of Science: Observation, Hypothesis, Method, Verification
- Estimated Impact Factors of Computer Science Conferences
- Interesting References
- Useful Latex Symbols

Useful Links

Conferences & Journals:
PASTE 2010
FSE 2010
SAS 2010
PACT 2010
LCPC 2010
POPL 2011
PPoPP 2011
PLDI 2010
HPCA 2010
ICSE 2011
CC 2010
ICPP 2010
TACAS 2010
TOPLAS Journal
ISSTA 2010
CCS 2010

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

Last Update: Dec 13, 2011

shangl@cse.unsw.edu.au

Lei SHANG

PhD candidateComputer Science & EngineeringUniversity of New South Wales

shangl@cse.unsw.edu.au

PhD candidate
Computer Science & Engineering
University of New South Wales