Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings | SpringerLink
Skip to main content
Springer Nature Link
Log in

Static Analysis

25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Andreas Podelski

    1. Universität Freiburg, Freiburg, Germany

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

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

Included in the following conference series:

Conference proceedings info: SAS 2018.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook JPY 5719
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book JPY 7149
Price includes VAT (Japan)
  • 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

About this book

This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.

The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.


Similar content being viewed by others

Keywords

Table of contents (25 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Fairness: A Formal-Methods Perspective

    • Aws Albarghouthi
    Pages 1-4

  3. The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software

    • Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
    Pages 5-23

  4. Numerical Invariants via Abstract Machines

    • Zachary Kincaid
    Pages 24-42

  5. Deductive Verification in Decidable Fragments with Ivy

    • Kenneth L. McMillan, Oded Padon
    Pages 43-55

  6. Experience Developing and Deploying Concurrency Analysis at Facebook

    • Peter O’Hearn
    Pages 56-70

  7. New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair

    • Ruzica Piskac
    Pages 71-76

  8. Interactive Verification of Distributed Protocols Using Decidable Logic

    • Sharon Shoham
    Pages 77-85

  9. Abstract Interpretation of Stateful Networks

    • Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham et al.
    Pages 86-106

  10. Block-Size Independence for GPU Programs

    • Rajeev Alur, Joseph Devietti, Nimit Singhania
    Pages 107-126

  11. Extending Constraint-Only Representation of Polyhedra with Boolean Constraints

    • Alexey Bakhirkin, David Monniaux
    Pages 127-145

  12. An Efficient Abstract Domain for Not Necessarily Closed Polyhedra

    • Anna Becchi, Enea Zaffanella
    Pages 146-165

  13. Modular Software Fault Isolation as Abstract Interpretation

    • Frédéric Besson, Thomas Jensen, Julien Lepiller
    Pages 166-186

  14. Closing the Performance Gap Between Doubles and Rationals for Octagons

    • Aziem Chawdhary, Andy King
    Pages 187-204

  15. Verifying Properties of Differentiable Programs

    • Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen Siegel, Paul D. Hovland
    Pages 205-222

  16. A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis

    • Maxime Jacquemin, Sylvie Putot, Franck Védrine
    Pages 223-242

  17. Modular Static Analysis of String Manipulations in C Programs

    • Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
    Pages 243-262

  18. Verifying Bounded Subset-Closed Hyperproperties

    • Isabella Mastroeni, Michele Pasqua
    Pages 263-283

  19. Process-Local Static Analysis of Synchronous Processes

    • Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
    Pages 284-305

  20. The Impact of Program Transformations on Static Program Analysis

    • Kedar S. Namjoshi, Zvonimir Pavlinovic
    Pages 306-325
Back to top

Other volumes

  1. Static Analysis

Editors and Affiliations

  • Universität Freiburg, Freiburg, Germany

    Andreas Podelski

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation