NDLI: Off-line variable substitution for scaling points-to analysis

Please wait, while we are loading the content...

Dynamo: a transparent dynamic optimization system

Practicing JUDO: Java under dynamic optimizations

Split-stream dictionary program compression

Unification-based pointer analysis with directional assignments

Off-line variable substitution for scaling points-to analysis

Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation

Safety checking of machine code

Translation validation for an optimizing compiler

A certifying compiler for Java

Bidwidth analysis with application to silicon compilation

Optimal instruction scheduling using integer programming

Improved spill code generation for software pipelined loops

Exploiting superword level parallelism with multimedia instruction sets

Compiler analysis of irregular memory accesses

Transforming loops to recursion for multi-level memory hierarchies

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

A framework for interprocedural optimization in the presence of dynamic class loading

Effective synchronization removal for Java

Type-based race detection for Java

On loops, dominators, and dominance frontier

Functional reactive programming from first principles

Scalable context-sensitive flow analysis using instantiation constraints

Contaminated garbage collection

A generational on-the-fly garbage collector for Java

A single intermediate language that supports multiple implementations of exceptions

Efficient algorithms for bidirectional debugging

Caching function calls using precise dependencies

ABCD: eliminating array bounds checks on demand

Field analysis: getting useful and low-cost interprocedural information

An automatic object inlining optimization and its evaluation

Off-line variable substitution for scaling points-to analysis

Content Provider	ACM Digital Library
Author	Chandra, Satish Rountev, Atanas
Abstract	Most compiler optimizations and software productivity tools rely oninformation about the effects of pointer dereferences in a program.The purpose of points-to analysis is to compute this informationsafely, and as accurately as is practical. Unfortunately, accuratepoints-to information is difficult to obtain for large programs,because the time and space requirements of the analysis becomeprohibitive.We consider the problem of scaling flow- and context-insensitivepoints-to analysis to large programs, perhaps containing hundreds ofthousands of lines of code. Our approach is based on a variable substitution transformation, which is performed off-line, i.e.,before a standard points-to analysis is performed. The general idea ofvariable substitution is that a set of variables in a program can be replaced by a single representative variable, thereby reducing the input size of the problem. Our main contribution is a linear-time algorithm which finds a particular variable substitution that maintains the precision of the standard analysis, and is also very effective in reducing the size of the problem.We report our experience in performing points-to analysis on largeC programs, including some industrial-sized ones. Experiments show thatour algorithm can reduce the cost of Andersen's points-to analysis substantially: on average, it reduced the running time by 53% and the memory cost by 59%, relative to an efficient baseline implementation of the analysis.
Starting Page	47
Ending Page	56
Page Count	10
File Format	PDF
ISBN	1581131992
DOI	10.1145/349299.349310
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2000-08-01
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Off-line Variable Substitution for Scaling Points-to Analysis (2000)

Abstract Off-line Variable Substitution for Scaling Points-to Analysis

Off-line variable substitution for scaling points-to analysis

O-line variable substitution for scaling points-to analysis (2000)

Set-based pre-processing for points-to analysis

Practical Points-to Analysis for Programs Built with Libraries (2000)

Scaling Java points-to analysis using Spark (2003)

Scaling java points-to analysis using Spark (2002)

Scaling Java points-to analysis using Spark (2003)

Off-line variable substitution for scaling points-to analysis

Similar Documents

Off-line Variable Substitution for Scaling Points-to Analysis (2000)

Abstract Off-line Variable Substitution for Scaling Points-to Analysis

Off-line variable substitution for scaling points-to analysis

O-line variable substitution for scaling points-to analysis (2000)

Set-based pre-processing for points-to analysis

Practical Points-to Analysis for Programs Built with Libraries (2000)

Scaling Java points-to analysis using Spark (2003)

Scaling java points-to analysis using Spark (2002)

Scaling Java points-to analysis using Spark (2003)

Off-line variable substitution for scaling points-to analysis