Samuel Z. Guyer, Calvin Lin  Home/Search
Context Related
| utexas.edu/users/sammy/sas03.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: utexas.edu/users/sammy/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a new client-driven pointer analysis algorithm that automatically adjusts its precision in response to the needs of client analyses. We evaluate our algorithm on 18 real C programs, using five significant error detection problems as clients. We compare the accuracy and performance of our algorithm against several commonly-used fixed-precision algorithms. We find that the client-driven approach effectively balances cost and precision, often producing results as accurate ... (Update)
Similar documents based on text: More All
0.5: Which Pointer Analysis Should I Use? - Hind, Pioli (2000) (Correct)
0.4: Efficient Computation of Parameterized Pointer Information.. - Liang, Harrold (2000) (Correct)
0.4: Error Checking with Client-Driven Pointer Analysis - Guyer, Lin (2003) (Correct)
BibTeX entry: (Update)
Samuel Z. Guyer and Calvin Lin. Client-driven pointer analysis. In International Static Analysis Symposium, 2003. http://citeseer.ist.psu.edu/guyer03clientdriven.html More
@misc{ guyer03clientdriven,
author = "S. Guyer and C. Lin",
title = "Client-driven pointer analysis",
text = "Samuel Z. Guyer and Calvin Lin. Client-driven pointer analysis. In International
Static Analysis Symposium, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/guyer03clientdriven.html" }
Citations (may not include all citations):232 Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
108 Automatically validating temporal safety properties of inter.. - Ball, Rajamani - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.utexas.edu/users/sammy/): More
An Annotation Language for Optimizing Software Libraries - Guyer, Lin (1999) (Correct)
Ph.D. Proposal: High-level Optimization for Software Libraries - Guyer (Correct)
Optimizing the Use of High Performance Software Libraries - Guyer, Lin (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