iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1007/978-3-030-88806-0
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings | SpringerLink
Skip to main content
Springer Nature Link
Log in

Static Analysis

28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Cezara Drăgoi

    1. Informal Systems, Inria, ENS, DI - Ecole Normale Supérieure, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Suvam Mukherjee

    1. Microsoft Corporation, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Kedar Namjoshi

    1. Nokia Bell Labs, Murray Hill, USA

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

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

Included in the following conference series:

Conference proceedings info: SAS 2021.

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
$34.99 /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 USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.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

About this book

This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.

The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book  together with 1-page summaries of the three invited talks. The papers cover topics such as static program analysis, abstract domain, abstract interpretation, automated deduction, debugging techniques, deductive methods, model checking, data science, program optimizations and transformations, program synthesis, program verification, and security analysis.



Similar content being viewed by others

Keywords

Table of contents (22 papers)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Fast and Efficient Bit-Level Precision Tuning

    • Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel
    Pages 1-24

  3. Hash Consed Points-To Sets

    • Mohamad Barbar, Yulei Sui
    Pages 25-48

  4. Backward Symbolic Execution with Loop Folding

    • Marek Chalupa, Jan Strejček
    Pages 49-76

  5. Accelerating Program Analyses in Datalog by Merging Library Facts

    • Yifan Chen, Chenyang Yang, Xin Zhang, Yingfei Xiong, Hao Tang, Xiaoyin Wang et al.
    Pages 77-101

  6. Static Analysis of Endian Portability by Abstract Interpretation

    • David Delmas, Abdelraouf Ouadjaout, Antoine Miné
    Pages 102-123

  7. Verified Functional Programming of an Abstract Interpreter

    • Lucas Franceschino, David Pichardie, Jean-Pierre Talpin
    Pages 124-143

  8. Disjunctive Interval Analysis

    • Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
    Pages 144-165

  9. Static Analysis of ReLU Neural Networks with Tropical Polyhedra

    • Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan
    Pages 166-190

  10. Exploiting Verified Neural Networks via Floating Point Numerical Error

    • Kai Jia, Martin Rinard
    Pages 191-205

  11. Verifying Low-Dimensional Input Neural Networks via Input Quantization

    • Kai Jia, Martin Rinard
    Pages 206-214

  12. Data Abstraction: A General Framework to Handle Program Verification of Data Structures

    • Julien Braine, Laure Gonnord, David Monniaux
    Pages 215-235

  13. Toward Neural-Network-Guided Program Synthesis and Verification

    • Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno
    Pages 236-260

  14. Selective Context-Sensitivity for k-CFA with CFL-Reachability

    • Jingbo Lu, Dongjie He, Jingling Xue
    Pages 261-285

  15. Selectively-Amortized Resource Bounding

    • Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi
    Pages 286-307

  16. Reduced Products of Abstract Domains for Fairness Certification of Neural Networks

    • Denis Mazzucato, Caterina Urban
    Pages 308-322

  17. A Multilanguage Static Analysis of Python Programs with Native C Extensions

    • Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
    Pages 323-345

  18. Automated Verification of the Parallel Bellman–Ford Algorithm

    • Mohsen Safari, Wytse Oortwijn, Marieke Huisman
    Pages 346-358

  19. Improving Thread-Modular Abstract Interpretation

    • Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani
    Pages 359-383

  20. Thread-Modular Analysis of Release-Acquire Concurrency

    • Divyanjali Sharma, Subodh Sharma
    Pages 384-404
Back to top

Other volumes

  1. Static Analysis

Editors and Affiliations

  • Informal Systems, Inria, ENS, DI - Ecole Normale Supérieure, Paris, France

    Cezara Drăgoi

  • Microsoft Corporation, Redmond, USA

    Suvam Mukherjee

  • Nokia Bell Labs, Murray Hill, USA

    Kedar Namjoshi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation