Skip to main content
SpringerLink
Log in
Book cover

Static Analysis

27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. David Pichardie

    1. Inria, IRISA, ENS Rennes, Bruz, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mihaela Sighireanu

    1. LSV, ENS Paris-Saclay, Gif-sur-Yvette, 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 12389)

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

Included in the following conference series:

Conference proceedings info: SAS 2020.

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 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.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 (16 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Static Resource Analysis at Scale (Extended Abstract)

      • Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano
      Pages 3-6

    3. Cost Analysis of Smart Contracts Via Parametric Resource Analysis

      • Víctor Pérez, Maximiliano Klemen, Pedro López-García, José Francisco Morales, Manuel Hermenegildo
      Pages 7-31

  3. Regular Papers

    1. Front Matter

      Pages 33-33
      Download chapter PDF

    2. Memory-Efficient Fixpoint Computation

      • Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur
      Pages 35-64

    3. Abstract Neural Networks

      • Matthew Sotoudeh, Aditya V. Thakur
      Pages 65-88

    4. Termination of Polynomial Loops

      • Florian Frohn, Marcel Hark, Jürgen Giesl
      Pages 89-112

    5. Stratified Guarded First-Order Transition Systems

      • Christan Müller, Helmut Seidl
      Pages 113-133Open Access

    6. Predicate Abstraction and CEGAR for \(\nu \mathrm {HFL}_\mathbb {Z}\) Validity Checking

      • Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki, Takeshi Tsukada
      Pages 134-155

    7. Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis

      • Anastasiia Izycheva, Eva Darulova, Helmut Seidl
      Pages 156-177Open Access

    8. Formal Framework for Reasoning About the Precision of Dynamic Analysis

      • Mila Dalla Preda, Roberto Giacobazzi, Niccoló Marastoni
      Pages 178-199

    9. Simple and Efficient Computation of Minimal Weak Control Closure

      • Abu Naser Masud
      Pages 200-222

    10. A Library Modeling Language for the Static Analysis of C Programs

      • Abdelraouf Ouadjaout, Antoine Miné
      Pages 223-247

    11. Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries

      • Hugo Illous, Matthieu Lemerre, Xavier Rival
      Pages 248-273

    12. Probabilistic Lipschitz Analysis of Neural Networks

      • Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso
      Pages 274-309

    13. On Multi-language Abstraction

      • Samuele Buro, Roy L. Crole, Isabella Mastroeni
      Pages 310-332

    14. Exact and Linear-Time Gas-Cost Analysis

      • Ankush Das, Shaz Qadeer
      Pages 333-356

    15. Farkas-Based Tree Interpolation

      • Sepideh Asadi, Martin Blicha, Antti Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
      Pages 357-379

  4. Back Matter

    Pages 381-381
    Download chapter PDF
Back to top

Other volumes

  1. Static Analysis

Keywords

About this book

This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.

The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from 34 submissions.

The papers cover topics such as abstract domains; abstract interpretation; automated deduction; data flow analysis; debugging; deductive methods; emerging applications; model-checking; program transformations; predicate abstraction; security analysis; tool environments and architectures; and type checking.

 

Due to the Corona pandemic this event was held virtually.

Editors and Affiliations

  • Inria, IRISA, ENS Rennes, Bruz, France

    David Pichardie

  • LSV, ENS Paris-Saclay, Gif-sur-Yvette, France

    Mihaela Sighireanu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation