國立虎尾科技大學 |

Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Static Analysis/ edited by Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi.
Reminder of title:	28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /
other author:	Drăgoi, Cezara.
Description:	XVI, 479 p. 166 illus., 97 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computer logic. -
Online resource:	https://doi.org/10.1007/978-3-030-88806-0
ISBN:	9783030888060

Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /
Static Analysis28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /[electronic resource] :edited by Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi. - 1st ed. 2021. - XVI, 479 p. 166 illus., 97 illus. in color.online resource. - Programming and Software Engineering ;12913. - Programming and Software Engineering ;8987.

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 Bellman–Ford 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.

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.

ISBN: 9783030888060

Standard No.: 10.1007/978-3-030-88806-0doiSubjects--Topical Terms:

786340
Computer logic.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /
LDR:03483nam a22004335i 4500 001 1056093
003 DE-He213
005 20211013104657.0
007 cr nn 008mamaa
008 220103s2021 sz | s |||| 0|eng d
020 $a 9783030888060 $9 978-3-030-88806-0
024 7 $a 10.1007/978-3-030-88806-0 $2 doi
035 $a 978-3-030-88806-0
050 4 $a QA76.9.L63
050 4 $a QA76.5913
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
072 7 $a UYF $2 thema
082 0 4 $a 005.1015113 $2 23
245 1 0 $a Static Analysis $h [electronic resource] : $b 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings / $c edited by Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XVI, 479 p. 166 illus., 97 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 12913
505 0 $a 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 Bellman–Ford 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.
520 $a 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.
650 0 $a Computer logic. $3 786340
650 0 $a Architecture, Computer. $3 1255731
650 0 $a Special purpose computers. $3 1204562
650 0 $a Software engineering. $3 562952
650 0 $2 lc $a Operating systems (Computers). $3 868175
650 0 $a Computer communication systems. $3 1115394
650 1 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Operating Systems. $3 669804
650 2 4 $a Computer Communication Networks. $3 669310
700 1 $a Drăgoi, Cezara. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1361402
700 1 $a Mukherjee, Suvam. $e editor. $1 https://orcid.org/0000-0002-9040-0053 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1361403
700 1 $a Namjoshi, Kedar. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 784615
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030888053
776 0 8 $i Printed edition: $z 9783030888077
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-88806-0
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)