SAS 2004 - PDF Preprint Papers

SAS 2004 International Static Analysis Symposium

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed SAS-2004 Paper

click to vote

SAS
2004
Springer

239views Formal Methods» more SAS 2004»

Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis

13 years 9 months ago

Download impact.crhc.illinois.edu

Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu

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	239	Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis	claim
2	140	Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions	claim
3	136	Constraint-Based Linear-Relations Analysis	claim
4	134	Towards Declarative Programming for Web Services	claim
5	132	Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language	claim
6	123	Non-termination Inference for Constraint Logic Programs	claim
7	110	An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants	claim
8	109	Pointer-Range Analysis	claim
9	106	A Relational Approach to Interprocedural Shape Analysis	claim
10	105	Type Inference Against Races	claim
11	104	Abstract Interpretation of Combinational Asynchronous Circuits	claim
12	103	Information Flow Analysis in Logical Form	claim
13	103	A Scalable Nonuniform Pointer Analysis for Embedded Programs	claim
14	99	On Logics of Aliasing	claim
15	96	A Polynomial-Time Algorithm for Global Value Numbering	claim
16	92	Generalized Records and Spatial Conjunction in Role Logic	claim
17	91	Spatial Analysis of BioAmbients	claim
18	85	Partially Disjunctive Heap Abstraction	claim
19	84	Closed and Logical Relations for Over- and Under-Approximation of Powersets	claim
20	80	The Octahedron Abstract Domain	claim
21	78	Program Generators and the Tools to Make Them	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers