Proceedings of the 23rd International Static Analysis Symposium
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
?EE?
DOI
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.