Differences
This shows you the differences between the selected revision and the current version of the page.
— | scalable_pointer_analysis 2013/05/14 20:10 current | ||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Scalable Pointer Analysis ====== | ||
+ | ====== Sponsor ====== | ||
+ | <fs 1.5em>Qirun Zhang</fs>\\ | ||
+ | {{:student:qrzhang.jpg?120 }} | ||
+ | |||
+ | ====== Project Introduction ====== | ||
+ | This project focuses on scaling CFL-Reachabiliby-Based Pointer Analysis. Pointer analysis is a fundamental static analysis problem. Improving the scalability of pointer analysis can benefit many subsequent static analyses such as available expression analysis and constant propagation analysis. This project presents a set of fast algorithms for solving the all-pairs CFL-reachability in pointer analyses. In particular, it introduces fast Dyck-CFL-reachability algorithms which increase the scalability of an existing alias analysis for Java by three orders of magnitude. | ||
+ | |||
+ | ====== Selected Paper ====== | ||
+ | "Fast Algorithms for Dyck-CFL-Reachability with Applications to Alias Analysis," **Qirun Zhang**, M.R. Lyu, Hao Yuan and Zhendong Su, //in Proceedings of the 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2013), //Seattle, Washington, USA, June 16 -- 22, 2013. {{:paper:pldi2013.pdf|Paper}}\\ \\ |