Book Volume 9837 2016

Static Analysis

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

Editors:

ISBN: 978-3-662-53412-0 (Print) 978-3-662-53413-7 (Online)

Table of contents (24 chapters)

previous Page of 2
  1. Front Matter

    Pages I-X

  2. Invited Papers

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-22

      Simulation and Invariance for Weak Consistency

    3. No Access

      Chapter

      Pages 23-38

      Quantitative Monitor Automata

    4. No Access

      Chapter

      Pages 39-57

      The Julia Static Analyzer for Java

  3. Full Papers

    1. Front Matter

      Pages 59-59

    2. No Access

      Chapter

      Pages 61-83

      Automated Verification of Linearization Policies

    3. No Access

      Chapter

      Pages 84-104

      Structure-Sensitive Points-To Analysis for C and C++

    4. No Access

      Chapter

      Pages 105-125

      Bounded Abstract Interpretation

    5. No Access

      Chapter

      Pages 126-146

      Completeness in Approximate Transduction

    6. No Access

      Chapter

      Pages 147-169

      Relational Verification Through Horn Clause Transformation

    7. No Access

      Chapter

      Pages 170-188

      Securing a Compiler Transformation

    8. No Access

      Chapter

      Pages 189-211

      Exploiting Sparsity in Difference-Bound Matrices

    9. No Access

      Chapter

      Pages 212-236

      Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs

    10. No Access

      Chapter

      Pages 237-256

      Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis

    11. No Access

      Chapter

      Pages 257-277

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

    12. No Access

      Chapter

      Pages 278-299

      Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis

    13. No Access

      Chapter

      Pages 300-316

      On the Linear Ranking Problem for Simple Floating-Point Loops

    14. No Access

      Chapter

      Pages 317-337

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

    15. No Access

      Chapter

      Pages 338-360

      A Parametric Abstract Domain for Lattice-Valued Regular Expressions

    16. No Access

      Chapter

      Pages 361-382

      Cell Morphing: From Array Programs to Array-Free Horn Clauses

    17. No Access

      Chapter

      Pages 383-402

      Loopy: Programmable and Formally Verified Loop Transformations

    18. No Access

      Chapter

      Pages 403-423

      Abstract Interpretation of Supermodular Games

previous Page of 2