|
|
Lei SHANG
PhD candidate Computer
Science & Engineering University of New South Wales
shangl@cse.unsw.edu.au
|
Bio
Info
Research
Personal
- 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.
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:
|
|
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
|