Jens Palsberg, Zhendong Su
Proceedings of the 16th International Static Analysis Symposium
SAS, 2009.

@proceedings{SAS-2009,
	address       = "Los Angeles, California, USA",
	doi           = "10.1007/978-3-642-03237-0",
	editor        = "Jens Palsberg and Zhendong Su",
	isbn          = "978-3-642-03236-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 16th International Static Analysis Symposium}",
	volume        = 5673,
	year          = 2009,
}

Contents (23 items)

5 ×#analysis
3 ×#algorithm
3 ×#source code
3 ×#using
2 ×#abstract interpretation
2 ×#abstraction
2 ×#optimisation
2 ×#proving
2 ×#refinement

SAS-2009-Bodik #algorithm #source code #synthesis

Algorithmic Program Synthesis with Partial Programs and Decision Procedures (RB), p. 1.

SAS-2009-Qadeer #algorithm #smt #using #verification

Algorithmic Verification of Systems Software Using SMT Solvers (SQ), p. 2.

SAS-2009-SeghirPW #abstraction #array #quantifier #refinement

Abstraction Refinement for Quantified Array Assertions (MNS, AP, TW), pp. 3–18.

SAS-2009-XiaFL #data flow

Inferring Dataflow Properties of User Defined Table Processors (SX, MF, FL), pp. 19–35.

SAS-2009-YasuokaT #polymorphism

Polymorphic Fractional Capabilities (HY, TT), pp. 36–51.

SAS-2009-Hurlin #automation #optimisation #parallel #proving #source code

Automatic Parallelization and Optimization of Programs by Proof Rewriting (CH), pp. 52–68.

SAS-2009-HeizmannHP #abstraction #refinement

Refinement of Trace Abstraction (MH, JH, AP), pp. 69–85.

SAS-2009-WehrleH #graph #model checking

The Causal Graph Revisited for Directed Model Checking (MW, MH), pp. 86–101.

SAS-2009-Bouissou #algorithm #correctness #implementation #proving

Proving the Correctness of the Implementation of a Control-Command Algorithm (OB), pp. 102–119.

SAS-2009-GrundR #abstract interpretation

Abstract Interpretation of FIFO Replacement (DG, JR), pp. 120–136.

SAS-2009-NiedzielskiRGP #bound #constraints #control flow

A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination (DN, JvR, AG, KP), pp. 137–153.

SAS-2009-CalmanZ #interprocedural

Increasing the Scope and Resolution of Interprocedural Static Single Assignment (SC, JZ), pp. 154–170.

SAS-2009-SeidlV #analysis #concurrent #detection

Region Analysis for Race Detection (HS, VV), pp. 171–187.

SAS-2009-GulavaniCRN #analysis #bottom-up

Bottom-Up Shape Analysis (BSG, SC, GR, AVN), pp. 188–204.

SAS-2009-SridharanF #analysis #complexity

The Complexity of Andersen’s Analysis in Practice (MS, SJF), pp. 205–221.

SAS-2009-Simon #analysis #optimisation #pointer #similarity #using

Optimizing Pointer Analysis Using Bisimilarity (LS), pp. 222–237.

SAS-2009-JensenMT #analysis #javascript

Type Analysis for JavaScript (SHJ, AM, PT), pp. 238–255.

SAS-2009-DohKS #parsing #static analysis #string #using

Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology (KGD, HK, DAS), pp. 256–272.

SAS-2009-DrapeV #matrix #obfuscation

Creating Transformations for Matrix Obfuscation (SD, IV), pp. 273–292.

SAS-2009-Schmidt #abstract interpretation #perspective

Abstract Interpretation from a Topological Perspective (DAS), pp. 293–308.

SAS-2009-ChenMWC #abstract domain #linear

Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (LC, AM, JW, PC), pp. 309–325.

SAS-2009-GodoyT #invariant #source code

Invariant Checking for Programs with Procedure Calls (GG, AT), pp. 326–342.

SAS-2009-VoronkovN

Inter-program Properties (AV, IN), pp. 343–359.