Skip to main content
SpringerLink
Log in
Book cover

Static Analysis

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Xavier Rival

    1. Ecole Normale Supérieure , Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SAS 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Simulation and Invariance for Weak Consistency

      • Jade Alglave
      Pages 3-22

    3. Quantitative Monitor Automata

      • Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
      Pages 23-38

    4. The Julia Static Analyzer for Java

      • Fausto Spoto
      Pages 39-57

  3. Full Papers

    1. Front Matter

      Pages 59-59
      Download chapter PDF

    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. Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis

      • Kihong Heo, Hakjoo Oh, Hongseok Yang
      Pages 237-256

    11. Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs

      • Matthieu Journault, Antoine Miné
      Pages 257-277

    12. Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis

      • Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
      Pages 278-299

    13. On the Linear Ranking Problem for Simple Floating-Point Loops

      • Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet
      Pages 300-316

    14. Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM

      • David Menendez, Santosh Nagarakatte, Aarti Gupta
      Pages 317-337

    15. A Parametric Abstract Domain for Lattice-Valued Regular Expressions

      • Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
      Pages 338-360
Back to top

Other volumes

  1. Static Analysis

Keywords

About this book

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.

Editors and Affiliations

  • Ecole Normale Supérieure , Paris, France

    Xavier Rival

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation