|
|
Lei SHANG
PhD candidate Computer
Science & Engineering University of New South Wales
shangl@cse.unsw.edu.au
|
Bio
Info
Research
- My research interests include static program analysis, parallel computing and optimization.
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.
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.
- [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
pdf
Acceptance Rate: 28%
- I am also a professional ACM member. The ACM URL: http://member.acm.org/~xiansl
- 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
|