Xavier Rival
Proceedings of the 23rd International Static Analysis Symposium
SAS, 2016.

@proceedings{SAS-2016,
	doi           = "10.1007/978-3-662-53413-7",
	editor        = "Xavier Rival",
	ee            = "https://www.wikidata.org/entity/Q57664985",
	isbn          = "978-3-662-53412-0",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 23rd International Static Analysis Symposium}",
	volume        = 9837,
	year          = 2016,
}

Contents (24 items)

SAS-2016-Alglave #consistency #simulation

Simulation and Invariance for Weak Consistency (JA), pp. 3–22.

SAS-2016-ChatterjeeHO #automaton #monitoring

Quantitative Monitor Automata (KC, TAH, JO), pp. 23–38.

SAS-2016-Spoto #java

The Julia Static Analyzer for Java (FS), pp. 39–57.

SAS-2016-AbdullaJT #automation #policy #verification

Automated Verification of Linearization Policies (PAA, BJ, CQT), pp. 61–83.

SAS-2016-BalatsourasS #analysis #c #c++ #points-to

Structure-Sensitive Points-To Analysis for C and C++ (GB, YS), pp. 84–104.

SAS-2016-ChristakisW #abstract interpretation #bound

Bounded Abstract Interpretation (MC, VW), pp. 105–125.

SAS-2016-PredaGM #approximate

Completeness in Approximate Transduction (MDP, RG, IM), pp. 126–146.

SAS-2016-AngelisFPP #horn clause #relational #verification

Relational Verification Through Horn Clause Transformation (EDA, FF, AP, MP), pp. 147–169.

SAS-2016-DengN #compilation

Securing a Compiler Transformation (CD, KSN), pp. 170–188.

SAS-2016-GangeNSSS #bound #matrix

Exploiting Sparsity in Difference-Bound Matrices (GG, JAN, PS, HS, PJS), pp. 189–211.

SAS-2016-GharatKM #analysis #graph #points-to #using

Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs (PMG, UPK, AM), pp. 212–236.

SAS-2016-HeoOY #clustering #learning #static analysis

Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis (KH, HO, HY), pp. 237–256.

SAS-2016-JournaultM #abstract interpretation #correctness #functional #matrix #source code #static analysis

Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs (MJ, AM), pp. 257–277.

SAS-2016-KojimaKS #invariant #performance #synthesis

Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis (KK, MK, KS), pp. 278–299.

SAS-2016-MauricaMP #float #linear #on the #problem #ranking

On the Linear Ranking Problem for Simple Floating-Point Loops (FM, FM, ÉP), pp. 300–316.

SAS-2016-MenendezNG #automation #float #named #optimisation #verification

Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM (DM, SN, AG), pp. 317–337.

SAS-2016-MidtgaardNN #abstract domain #parametricity #regular expression

A Parametric Abstract Domain for Lattice-Valued Regular Expressions (JM, FN, HRN), pp. 338–360.

SAS-2016-MonniauxG #array #horn clause #source code

Cell Morphing: From Array Programs to Array-Free Horn Clauses (DM, LG), pp. 361–382.

SAS-2016-NamjoshiS #named #programmable

Loopy: Programmable and Formally Verified Loop Transformations (KSN, NS), pp. 383–402.

SAS-2016-Ranzato #abstract interpretation #game studies

Abstract Interpretation of Supermodular Games (FR), pp. 403–423.

SAS-2016-RouxVS #invariant #polynomial #programming #validation

Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants (PR, YLV, SS0), pp. 424–446.

SAS-2016-FrielinghausSV #analysis #interprocedural #termination

Enforcing Termination of Interprocedural Analysis (SSF, HS, RV), pp. 447–468.

SAS-2016-SuzanneM #abstract interpretation #array #memory management #modelling

From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models (TS, AM), pp. 469–488.

SAS-2016-TanLX #analysis #pointer #precise

Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting (TT0, YL0, JX), pp. 489–510.