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)
Cited by: More
Deadline Analysis of Interrupt-driven Software - Dennis Brylow Jens (2003) (Correct)
Verifying Safety Properties using Separation and - Heterogeneous Ions Eran (Correct)
Broadway: A Compiler for Exploiting the Domain-Specific.. - Guyer, Lin (2004) (Correct)
Similar documents (at the sentence level):
56.0%: Incorporating Domain-Specific Information into the Compilation.. - Guyer (2003) (Correct)
Active bibliography (related documents): More All
0.0: Error Checking with Client-Driven Pointer Analysis - Guyer, Lin (2003) (Correct)
0.0: Path-Sensitive Program Verification in Polynomial Time - Das, Lerner, Seigle (2002) (Correct)
0.0: Finding Stale-Value Errors in Concurrent Programs - Burrows, Leino (2002) (Correct)
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.3: Pointer Analysis for Programs with Structures and Casting - Yong, Horwitz, Reps (1999) (Correct)
Related documents from co-citation: More All
5: Typestate a programming language concept for enhancing software reliability (context) - Strom, Yemini - 1986
5: Flow-sensitive type qualifiers - Foster, Terauchi et al. - 2002
4: Esp: Pathsensitive program verification in polynomial time - Das, Lerner et al. - 2002
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