Nevin Heintze, Olivier Tardieu  Home/Search
Context Related
| belllabs.com/cm/cs/who/...pldi011m.ps sop.inria.fr/tick/person...pldi011m.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: belllabs.com/cm/cs/who/nch (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe the design and implementation of a system for very fast points-to analysis. On code bases of about a million lines of unpreprocessed C code, our system performs fieldbased Andersen-style points-to analysis in less than a second and uses less than 10MB of memory. Our two main contributions are a database-centric analysis architecture called compile-link-analyze (CLA), and a new algorithm for implementing dynamic transitive closure. Our points-to analysis system is built into a... (Update)
Similar documents based on text: More All
1.4: Demand-Driven Pointer Analysis - Heintze, Tardieu (2001) (Correct)
0.4: Analysis of Large Code Bases: The Compile-Link-Analyze Model - Heintze (1999) (Correct)
0.3: Complex Low-Pass Filters - a Novel Approach to.. - Kiss, Prodanov (2001) (Correct)
Related documents from co-citation: More All
19: Program Analysis and Specialization for the C Programming Language (context) - Andersen - 1994
18: Unification-based pointer analysis with directional assignments - Das - 2000
14: Points-to analysis in almost linear time - Steensgaard - 1996
BibTeX entry: (Update)
N. Heintze and O. Tardieu. Ultra-fast aliasing analysis using CLA: A million lines of C code. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI), pages 146-161, 2001. http://citeseer.ist.psu.edu/heintze01ultrafast.html More
@inproceedings{ heintze01ultrafast,
author = "Nevin Heintze and Olivier Tardieu",
title = "Ultra-fast Aliasing Analysis using {CLA}: A Million Lines of C Code in a Second",
booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
pages = "254-263",
year = "2001",
url = "citeseer.ist.psu.edu/heintze01ultrafast.html" }
Citations (may not include all citations):232 Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
228 Points-to Analysis in Almost Linear Time - Steensgaard - 1996
187 Type Inclusion Constraints and Type Inference - Aiken, Wimmers - 1993
165 Set-Based Analysis of ML Programs (context) - Heintze - 1994
131 Set Based Program Analysis - Heintze - 1992
114 Fast and Accurate Flow-Insensitive Points-To Analysis - Shapiro, Horwitz - 1997
111 Solving Systems of Set Constraints (context) - Aiken, Wimmers - 1992
69 Unification-Based Pointer Analysis with Directional Assignme.. - Das - 2000
67 Componential Set-Based Analysis - Flanagan, Felleisen - 1997
54 Partial Online Cycle Elimination in Inclusion Constraint Gra.. - Fahndrich, Foster et al. - 1998
34 Projection Merging: Reducing Redundancies in Inclusion Const.. - Su, Fahndrich et al. - 2000
33 Polymorphic versus Monomorphic Flow-insensitive Points-to An.. - Foster, Fahndrich et al. - 2000
32 A Toolkit for Constructing Type- and Constraint-Based Progra.. - Aiken, Fahndrich et al.
27 A decision procedure for a class of Herbrand set constraints (context) - Heintze, Jaffar - 1990
20 Physical Type Checking for C - Chandra, Reps - 1999
19 the Cubic-Bottleneck of Subtyping and Flow Analysis - Heintze, McAllester - 1997
17 Effective Whole-Program Analysis in the Presence of Pointers - Atkinson, Griswold - 1998
15 Flow-Insensitive Points-to Analysis with Term and Set Constr.. - Foster, Fahndrich et al. - 1997
12 Generation of Program Analysis Tools (context) - Tip
11 Off-line Variable Substitution for Scaling Points-to Analysi.. - Rountev, Chandra - 2000
5 Analysis of Large Code Bases: The Compile-Link-Analyze Model - Heintze - 1999
3 ckit: an extensible C frontend in ML (context) - Chandra, Heintze et al.
3 the Complexity Analysis of Static Analysis (context) - McAllester - 1999
1 Programmer's Guide: Digital UNIX Version (context) - Optimizing, MIPS-Based et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cm.bell-labs.com/cm/cs/who/nch): More
Demand-Driven Pointer Analysis - Heintze, Tardieu (2001) (Correct)
Analysis of Large Code Bases: The Compile-Link-Analyze Model - Heintze (1999) (Correct)
A Framework for Combining Analysis and Verification - Heintze, Jaffar, Voicu (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC