國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Static Analysis/ edited by Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi.
其他題名:	28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /
其他作者:	Drăgoi, Cezara.
面頁冊數:	XVI, 479 p. 166 illus., 97 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer science. -
電子資源:	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,129132945-9168 ;. - Programming and Software Engineering,12857.

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:

573171
Computer science.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151

Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /
LDR:03443nam a22004095i 4500 001 1059380
003 DE-He213
005 20220311212131.0
007 cr nn 008mamaa
008 220414s2021 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 QA75.5-76.95
072 7 $a UYA $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 004.0151 $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, $x 2945-9168 ; $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 science. $3 573171
650 0 $a Computer systems. $3 559862
650 0 $a Computers, Special purpose. $3 1069426
650 0 $a Software engineering. $3 562952
650 0 $2 lc $a Operating systems (Computers). $3 868175
650 0 $a Computer networks . $3 1365720
650 1 4 $a Computer Science Logic and Foundations of Programming. $3 1365757
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, $x 2945-9168 ; $v 12857 $3 1365731
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)