|
 |
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. Readings
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
- About Research:
|
|
|
Useful Links
Academics and Research:
PASTE 2010
Submission Deadline: February 8, 2010
FSE 2010
Submission Deadline: March 5, 2010
SAS 2010
Submission Deadline: March 19, 2010
 PACT 2010
Submission Deadline: March 27, 2010
 PLDI 2010
POPL 2010
PPoPP 2010
 HPCA 2010
 CC 2010
ICPP 2010
Submission Deadline: February 24, 2010
Techniques:
 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
|
