Sandrine Blazy, Thomas Jensen
Proceedings of the 22nd International Static Analysis Symposium
SAS, 2015.

@proceedings{SAS-2015,
	address       = "Saint-Malo, France",
	doi           = "10.1007/978-3-662-48288-9",
	editor        = "Sandrine Blazy and Thomas Jensen",
	isbn          = "978-3-662-48287-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 22nd International Static Analysis Symposium}",
	volume        = 9291,
	year          = 2015,
}

Contents (18 items)

7 ×#analysis
2 ×#effectiveness
2 ×#invariant
2 ×#optimisation
2 ×#refinement
2 ×#static analysis
2 ×#verification

SAS-2015-AldousM #low level #static analysis

Static Analysis of Non-interference in Expressive Low-Level Languages (PA, MM), pp. 1–17.

SAS-2015-LeeHYC #static analysis

Static Analysis with Set-Closure in Secrecy (WL, HH, KY, JHC), pp. 18–35.

SAS-2015-ChenC #abstract domain

A Binary Decision Tree Abstract Domain Functor (JC, PC), pp. 36–53.

SAS-2015-RapoportLT #analysis #correlation #data flow #precise

Precise Data Flow Analysis in the Presence of Correlated Method Calls (MR, OL, FT), pp. 54–71.

SAS-2015-AlbertGG #analysis #interprocedural #source code

May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization (EA, SG, PG), pp. 72–89.

SAS-2015-LiRC #analysis

Shape Analysis for Unstructured Sharing (HL, XR, BYEC), pp. 90–108.

SAS-2015-GargR #integer #linear #programming

Synthesizing Heap Manipulations via Integer Linear Programming (AG, SR), pp. 109–127.

SAS-2015-Terauchi #effectiveness #heuristic #refinement #verification

Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR (TT), pp. 128–144.

SAS-2015-Brain0KS #invariant #safety #verification

Safety Verification and Refutation by k-Invariants and k-Induction (MB, SJ, DK, PS), pp. 145–161.

SAS-2015-LiTX #analysis #effectiveness

Effective Soundness-Guided Reflection Analysis (YL, TT, JX), pp. 162–180.

SAS-2015-ChoiCNS #javascript #layout #named #type system

SJS: A Type System for JavaScript with Fixed Object Layout (WC, SC, GCN, KS), pp. 181–198.

SAS-2015-HashimotoU #constraints #optimisation #refinement #type inference

Refinement Type Inference via Horn Constraint Optimization (KH, HU), pp. 199–216.

SAS-2015-MonniauxA #abstraction #array

A Simple Abstraction of Arrays and Maps by Program Translation (DM, FA), pp. 217–234.

SAS-2015-AdjeGM #generative #invariant #optimisation #polynomial #using

Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization (AA, PLG, VM), pp. 235–251.

SAS-2015-CastelnuovoNRSY #analysis #bottom-up #case study #composition #top-down

Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis (GC, MN, NR, MS, HY), pp. 252–274.

SAS-2015-AlbertCJR #cost analysis #distributed #parallel

Parallel Cost Analysis of Distributed Systems (EA, JC, EBJ, GRD), pp. 275–292.

SAS-2015-BakhirkinBP #analysis #set

A Forward Analysis for Recurrent Sets (AB, JB, NP), pp. 293–311.

SAS-2015-CattaruzzaASK #analysis #bound

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (DC, AA, PS, DK), pp. 312–331.