Static analysis : 28th international symposium, SAS 2021, Chicago, IL, USA, proceedings / Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi (eds.).
International Static Analysis Symposium (28th : 2021 : Chicago, Ill.); Drăgoi, Cezara, editor.; Mukherjee, Suvam, editor.; Namjoshi, Kedar S., editor.
2021
QA76.6
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Static analysis : 28th international symposium, SAS 2021, Chicago, IL, USA, proceedings / Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi (eds.).
Meeting Name International Static Analysis Symposium (28th : 2021 : Chicago, Ill.)
ISBN 9783030888060 (electronic bk.)
3030888061 (electronic bk.)
3030888053
9783030888053
DOI https://doi.org/10.1007/978-3-030-88806-0
Publication Details Cham, Switzerland : Springer, 2021.
Language English
Description 1 online resource
Item Number 10.1007/978-3-030-88806-0 doi
Call Number QA76.6
Dewey Decimal Classification 005.1
Summary 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.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed October 22, 2021).
Added Author Drăgoi, Cezara, editor.
Mukherjee, Suvam, editor.
Namjoshi, Kedar S., editor.
Series Lecture notes in computer science ; 12913.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form Static analysis.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Fast and Efficient Bit-Level Precision Tuning
Backward Symbolic Execution with Loop Folding
Accelerating Program Analyses in Datalog by Merging Library Facts
Abstract Interpretation
Verified Functional Programming of an Abstract Interpreter
Disjunctive Interval Analysis
Static analysis of ReLU neural networks with tropical polyhedral
Exploiting Verified Neural Networks via Floating Point Numerical Error.-Verifying Low-dimensional Input Neural Networks via Input Quantization
Data Abstraction: A General Framework to Handle Program
Verification of Data Structures
Toward Neural-Network-Guided Program Synthesis and Verification
Selective Context-Sensitivity for k-CFA with CFL-Reachability
Selectively-Amortized Resource Bounding
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
A Multi-Language Static Analysis of Python Programs with Native C Extensions
Automated Verification of the Parallel BellmanFord Algorithm
Improving Thread-Modular Abstract Interpretation
Thread-modular Analysis of Release-Acquire Concurrency
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
Compositional Verification of Smart Contracts Through Communication Abstraction
Automatic Synthesis of Data-Flow Analyzer.

Browse Subjects

Show more subjects...

Statistics

from
to
Export