Static Analysis

23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

  • Rival Xavier 
Conference proceedings SAS 2016

DOI: 10.1007/978-3-662-53413-7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9837)

Table of contents (24 papers)

  1. Front Matter
    Pages I-X
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Quantitative Monitor Automata
      Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
      Pages 23-38
    3. The Julia Static Analyzer for Java
      Fausto Spoto
      Pages 39-57
  3. Full Papers

    1. Front Matter
      Pages 59-59
    2. Automated Verification of Linearization Policies
      Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh
      Pages 61-83
    3. Structure-Sensitive Points-To Analysis for C and C++
      George Balatsouras, Yannis Smaragdakis
      Pages 84-104
    4. Bounded Abstract Interpretation
      Maria Christakis, Valentin Wüstholz
      Pages 105-125
    5. Completeness in Approximate Transduction
      Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
      Pages 126-146
    6. Relational Verification Through Horn Clause Transformation
      Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
      Pages 147-169
    7. Securing a Compiler Transformation
      Chaoqiang Deng, Kedar S. Namjoshi
      Pages 170-188
    8. Exploiting Sparsity in Difference-Bound Matrices
      Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
      Pages 189-211
    9. Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs
      Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
      Pages 212-236
    10. Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis
      Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
      Pages 278-299
    11. On the Linear Ranking Problem for Simple Floating-Point Loops
      Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet
      Pages 300-316
    12. Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM
      David Menendez, Santosh Nagarakatte, Aarti Gupta
      Pages 317-337
    13. A Parametric Abstract Domain for Lattice-Valued Regular Expressions
      Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
      Pages 338-360

About these proceedings


This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.

The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.


abstract interpretation model checking program semantics program verification type systems abstract testing bug detection data flow analysis floating-point numbers linear ranking functions new applications program analysis program transformation security analysis static analysis symbolic automata symbolic transducers termination analysis theoretical frameworks type checking

Editors and affiliations

  • Rival Xavier 
    • 1
  1. 1.Ecole Normale Supérieure ParisFrance

Bibliographic information

  • Copyright Information Springer-Verlag GmbH Germany 2016
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-53412-0
  • Online ISBN 978-3-662-53413-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349