Chris Hankin, Igor Siveroni
Proceedings of the 12th International Static Analysis Symposium
SAS, 2005.

@proceedings{SAS-2005,
	address       = "London, England, United Kingdom",
	editor        = "Chris Hankin and Igor Siveroni",
	isbn          = "3-540-28584-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 12th International Static Analysis Symposium}",
	volume        = 3672,
	year          = 2005,
}

Contents (24 items)

7 ×#analysis
4 ×#abstraction
4 ×#source code
2 ×#game studies
2 ×#interprocedural
2 ×#memory management
2 ×#object-oriented
2 ×#refinement
2 ×#safety
2 ×#semantics

SAS-2005-Abramsky #algorithm #game studies #semantics #static analysis

Algorithmic Game Semantics and Static Analysis (SA), p. 1.

SAS-2005-Gordon #calculus #process #security

From Typed Process Calculi to Source-Based Security (ADG), p. 2.

SAS-2005-BagnaraHMZ #abstraction

Widening Operators for Weakly-Relational Numeric Abstractions (RB, PMH, EM, EZ), pp. 3–18.

SAS-2005-BagnaraRZ #algebra #generative #invariant #using

Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra (RB, ERC, EZ), pp. 19–34.

SAS-2005-BruynoogheGH #analysis #logic programming #source code #termination

Inference of Well-Typings for Logic Programs with Application to Termination Analysis (MB, JPG, WVH), pp. 35–51.

SAS-2005-ChenKK #execution #memory management #reliability

Memory Space Conscious Loop Iteration Duplication for Reliable Execution (GC, MTK, MK), pp. 52–69.

SAS-2005-ChinNQR #memory management #object-oriented #source code #verification

Memory Usage Verification for OO Programs (WNC, HHN, SQ, MCR), pp. 70–86.

SAS-2005-CookPR #abstraction #refinement #termination

Abstraction Refinement for Termination (BC, AP, AR), pp. 87–101.

SAS-2005-DimovskiGL #approach #game studies #refinement #semantics

Data-Abstraction Refinement: A Game Semantic Approach (AD, DRG, RL), pp. 102–117.

SAS-2005-EsparzaGS #abstraction

Locality-Based Abstractions (JE, PG, SS), pp. 118–134.

SAS-2005-GlewPG #architecture #optimisation #plugin #type safety

Type-Safe Optimisation of Plugin Architectures (NG, JP, CG), pp. 135–154.

SAS-2005-HarrenN #assembly #dependent type #safety #using

Using Dependent Types to Certify the Safety of Assembly Code (MH, GCN), pp. 155–170.

SAS-2005-HuntM

The PER Model of Abstract Non-interference (SH, IM), pp. 171–185.

SAS-2005-JeannetGR #abstraction #relational

A Relational Abstraction for Functions (BJ, DG, TWR), pp. 186–202.

SAS-2005-JungKSY #analysis #c #statistics

Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis (YJ, JK, JS, KY), pp. 203–217.

SAS-2005-KodumalA #analysis #constraints #named #scalability #tool support

Banshee: A Scalable Constraint-Based Analysis Toolkit (JK, AA), pp. 218–234.

SAS-2005-Muller-OlmS #analysis #framework #interprocedural

A Generic Framework for Interprocedural Analysis of Numerical Properties (MMO, HS), pp. 235–250.

SAS-2005-NarasamdyaV

Finding Basic Block and Variable Correspondence (IN, AV), pp. 251–267.

SAS-2005-PodelskiW

Boolean Heaps (AP, TW), pp. 268–283.

SAS-2005-RinetzkySY #analysis #interprocedural #source code

Interprocedural Shape Analysis for Cutpoint-Free Programs (NR, MS, EY), pp. 284–302.

SAS-2005-Rival #comprehension

Understanding the Origin of Alarms in Astrée (XR), pp. 303–319.

SAS-2005-SecciS #analysis #object-oriented #source code

Pair-Sharing Analysis of Object-Oriented Programs (SS, FS), pp. 320–335.

SAS-2005-SimonK #analysis

Exploiting Sparsity in Polyhedral Analysis (AS, AK), pp. 336–351.

SAS-2005-TerauchiA #data flow #problem #safety

Secure Information Flow as a Safety Problem (TT, AA), pp. 352–367.