APLAS 2011 - PDF Preprint Papers

APLAS 2011 Asian Symposium on Programming Languages and Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed APLAS-2011 Paper

click to vote

APLAS
2011
ACM

41views Programming Languages» more APLAS 2011»

SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA

5 months 10 days ago

Download www.cse.unsw.edu.au

We present a new SPAS (ScalablePAth-Sensitive)framework for resolving points-to sets in C programs that exploits recent advances in pointer analysis. SPAS enables intraprocedural p...

Yulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	41	SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA	claim
2	35	Solving Recursion-Free Horn Clauses over LI+UIF	claim
3	34	Decentralized Delimited Release	claim
4	34	Soundness of Data Flow Analyses for Weak Memory Models	claim
5	28	Constructing List Homomorphisms from Proofs	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers