Skip to main content
SpringerLink
Log in
Book cover

Static Analysis

24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Francesco Ranzato

    1. Dipartimento di Matematica, University of Padova, Padua, Italy

    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 10422)

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

Included in the following conference series:

Conference proceedings info: SAS 2017.

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 (22 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Probabilistic Horn Clause Verification

    • Aws Albarghouthi
    Pages 1-22

  3. Combining Forward and Backward Abstract Interpretation of Horn Clauses

    • Alexey Bakhirkin, David Monniaux
    Pages 23-45

  4. Abstract Semantic Diffing of Evolving Concurrent Programs

    • Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
    Pages 46-65

  5. Learning Shape Analysis

    • Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, Daniel Tarlow
    Pages 66-87

  6. Securing the SSA Transform

    • Chaoqiang Deng, Kedar S. Namjoshi
    Pages 88-105

  7. Relative Store Fragments for Singleton Abstraction

    • Leandro Facchinetti, Zachary Palmer, Scott F. Smith
    Pages 106-127

  8. Loop Invariants from Counterexamples

    • Marius Greitschus, Daniel Dietsch, Andreas Podelski
    Pages 128-147

  9. A Context-Sensitive Memory Model for Verification of C/C++ Programs

    • Arie Gurfinkel, Jorge A. Navas
    Pages 148-168

  10. Effect Summaries for Thread-Modular Analysis

    • Lukáš Holík, Roland Meyer, Tomáš Vojnar, Sebastian Wolff
    Pages 169-191

  11. Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration

    • Colas Le Guernic
    Pages 192-211

  12. Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming

    • Alexandre Maréchal, David Monniaux, Michaël Périn
    Pages 212-231

  13. Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification

    • Isabella Mastroeni, Michele Pasqua
    Pages 232-252

  14. Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs

    • Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D’Souza, Noam Rinetzky
    Pages 253-276

  15. Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains

    • Abdelraouf Ouadjaout, Antoine Miné
    Pages 277-298

  16. Portability Analysis for Weak Memory Models porthos: One Tool for all Models

    • Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko, Roland Meyer
    Pages 299-320

  17. Template Polyhedra with a Twist

    • Sriram Sankaranarayanan, Mohamed Amin Ben Sassi
    Pages 321-341

  18. A New Abstraction Framework for Affine Transformers

    • Tushar Sharma, Thomas Reps
    Pages 342-363

  19. Synthesizing Imperative Programs from Examples Guided by Static Analysis

    • Sunbeom So, Hakjoo Oh
    Pages 364-381

  20. A Gradual Interpretation of Union Types

    • Matías Toro, Éric Tanter
    Pages 382-404
Back to top

Other volumes

  1. Static Analysis

Keywords

About this book

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.

The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is recognized as a fundamental tool for program verification, bug detection, compiler organization, program understanding, and software maintenance. 

Editors and Affiliations

  • Dipartimento di Matematica, University of Padova, Padua, Italy

    Francesco Ranzato

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation