Kwangkeun Yi
Proceedings of the 13th International Static Analysis Symposium
SAS, 2006.

@proceedings{SAS-2006,
	address       = "Seoul, Korea",
	editor        = "Kwangkeun Yi",
	isbn          = "3-540-37756-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 13th International Static Analysis Symposium}",
	volume        = 4134,
	year          = 2006,
}

Contents (27 items)

7 ×#analysis
5 ×#static analysis
2 ×#abstraction
2 ×#algorithm
2 ×#logic
2 ×#low level
2 ×#reachability
2 ×#refinement
2 ×#using

SAS-2006-Das #power of #static analysis

Unleashing the Power of Static Analysis (MD), pp. 1–2.

SAS-2006-SankaranarayananISG #static analysis

Static Analysis in Disjunctive Numerical Domains (SS, FI, IS, AG), pp. 3–17.

SAS-2006-GoubaultP #algorithm #static analysis

Static Analysis of Numerical Algorithms (EG, SP), pp. 18–34.

SAS-2006-AllamigeonGH #c #embedded #source code #static analysis #string

Static Analysis of String Manipulations in Critical Embedded C Programs (XA, WG, CH), pp. 35–51.

SAS-2006-BouajjaniHRV #data type #model checking

Abstract Regular Tree Model Checking of Complex Dynamic Data Structures (AB, PH, AR, TV), pp. 52–70.

SAS-2006-JhalaMX #invariant

Structural Invariants (RJ, RM, RGX), pp. 71–87.

SAS-2006-PratikakisFH #reachability

Existential Label Flow Inference Via CFL Reachability (PP, JSF, MH), pp. 88–106.

SAS-2006-PueblaAH #abstract interpretation

Abstract Interpretation with Specialized Definitions (GP, EA, MVH), pp. 107–126.

SAS-2006-Schmidt #approximate

Underapproximating Predicate Transformers (DAS), pp. 127–143.

SAS-2006-GonnordH #analysis #linear

Combining Widening and Acceleration in Linear Relation Analysis (LG, NH), pp. 144–160.

SAS-2006-AmiranoffCF #abstract domain #relational

Beyond Iteration Vectors: Instancewise Relational Abstract Domains (PA, AC, PF), pp. 161–180.

SAS-2006-OHearn #logic #program analysis

Separation Logic and Program Analysis (PWO), p. 181.

SAS-2006-CalcagnoDOY #abstraction #pointer #reachability

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic (CC, DD, PWO, HY), pp. 182–203.

SAS-2006-Arnold #analysis #logic #refinement #using

Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding (GA), pp. 204–220.

SAS-2006-BalakrishnanR

Recency-Abstraction for Heap-Allocated Storage (GB, TWR), pp. 221–239.

SAS-2006-GotsmanBC #abstraction #analysis #interprocedural

Interprocedural Shape Analysis with Separated Heap Abstractions (AG, JB, BC), pp. 240–260.

SAS-2006-LoginovRS #algorithm #automation #verification

Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm (AL, TWR, MS), pp. 261–279.

SAS-2006-Yang #analysis #low level

Shape Analysis for Low-Level Code (HY), p. 280.

SAS-2006-HuangCS #debugging #identification

Catching and Identifying Bugs in Register Allocation (YH, BRC, MLS), pp. 281–300.

SAS-2006-BartheGKR #compilation #optimisation

Certificate Translation for Optimizing Compilers (GB, BG, CK, TR), pp. 301–317.

SAS-2006-ChangHN #analysis #low level #using

Analysis of Low-Level Code Using Cooperating Decompilers (BYEC, MH, GCN), pp. 318–335.

SAS-2006-KirkegaardM #java #static analysis

Static Analysis for Java Servlets and JSP (CK, AM), pp. 336–352.

SAS-2006-AskarovHS

Cryptographically-Masked Flows (AA, DH, AS), pp. 353–369.

SAS-2006-Bertrane #communication #proving

Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems (JB), pp. 370–386.

SAS-2006-ChenR #dependence #parametricity

Parametric and Termination-Sensitive Control Dependence (FC, GR), pp. 387–404.

SAS-2006-OrlovichR #analysis #memory management

Memory Leak Analysis by Contradiction (MO, RR), pp. 405–424.

SAS-2006-DhurjatiDY #analysis #data flow #refinement

Path-Sensitive Dataflow Analysis with Iterative Refinement (DD, MD, YY), pp. 425–442.