國立虎尾科技大學 |

Static Analysis = 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Static Analysis/ edited by Gagandeep Singh, Caterina Urban.
Reminder of title:	29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings /
other author:	Singh, Gagandeep.
Description:	X, 475 p. 119 illus., 61 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computer science. -
Online resource:	https://doi.org/10.1007/978-3-031-22308-2
ISBN:	9783031223082

Static Analysis = 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings /
Static Analysis29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings /[electronic resource] :edited by Gagandeep Singh, Caterina Urban. - 1st ed. 2022. - X, 475 p. 119 illus., 61 illus. in color.online resource. - Lecture Notes in Computer Science,137901611-3349 ;. - Lecture Notes in Computer Science,9324.

Invited Talks -- Specification-Guided Reinforcement Learning -- Towards Efficient Reasoning of Quantum Programs -- Regular Papers -- Solving Invariant Generation for Unsolvable Loops -- Principles of Staged Static+Dynamic Partial Analysis -- SecWasm: Information Flow Control for WebAssembly -- Lifting Numeric Relational Domains to Algebraic Data Types -- Automated Synthesis of Asynchronizations -- Case Study on Veri cation-Witness Validators: Where We Are and Where We Go -- Deciding program properties via complete abstractions on bounded domains -- Invariant Inference With Provable Complexity From the Monotone Theory -- Efficient Modular SMT-Based Model Checking of Pointer Programs -- Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation -- Bootstrapping Library-Based Synthesis -- Boosting Robustness Veri cation of Semantic Feature Neighborhoods -- Fast and incremental computation of weak control closure -- Local Completeness Logic on Kleene Algebra with Tests -- Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs -- Parameterized Recursive Re nement Types for Automated Program Verification -- Adversarial Logic -- CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks.

This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022. The 18 full papers included in this book were carefully reviewed and selected from 43 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area. .

ISBN: 9783031223082

Standard No.: 10.1007/978-3-031-22308-2doiSubjects--Topical Terms:

573171
Computer science.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151

Static Analysis = 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings /
LDR:03270nam a22004095i 4500 001 1086147
003 DE-He213
005 20221201192920.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031223082 $9 978-3-031-22308-2
024 7 $a 10.1007/978-3-031-22308-2 $2 doi
035 $a 978-3-031-22308-2
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 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings / $c edited by Gagandeep Singh, Caterina Urban.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2022.
300 $a X, 475 p. 119 illus., 61 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 Lecture Notes in Computer Science, $x 1611-3349 ; $v 13790
505 0 $a Invited Talks -- Specification-Guided Reinforcement Learning -- Towards Efficient Reasoning of Quantum Programs -- Regular Papers -- Solving Invariant Generation for Unsolvable Loops -- Principles of Staged Static+Dynamic Partial Analysis -- SecWasm: Information Flow Control for WebAssembly -- Lifting Numeric Relational Domains to Algebraic Data Types -- Automated Synthesis of Asynchronizations -- Case Study on Veri cation-Witness Validators: Where We Are and Where We Go -- Deciding program properties via complete abstractions on bounded domains -- Invariant Inference With Provable Complexity From the Monotone Theory -- Efficient Modular SMT-Based Model Checking of Pointer Programs -- Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation -- Bootstrapping Library-Based Synthesis -- Boosting Robustness Veri cation of Semantic Feature Neighborhoods -- Fast and incremental computation of weak control closure -- Local Completeness Logic on Kleene Algebra with Tests -- Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs -- Parameterized Recursive Re nement Types for Automated Program Verification -- Adversarial Logic -- CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks.
520 $a This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022. The 18 full papers included in this book were carefully reviewed and selected from 43 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area. .
650 0 $a Computer science. $3 573171
650 0 $a Computer engineering. $3 569006
650 0 $a Computer networks . $3 1365720
650 0 $a Natural language processing (Computer science). $3 802180
650 0 $a Machine theory. $3 527775
650 0 $a Compilers (Computer programs). $3 975050
650 1 4 $a Computer Science Logic and Foundations of Programming. $3 1365757
650 2 4 $a Computer Engineering and Networks. $3 1365733
650 2 4 $a Natural Language Processing (NLP). $3 1254293
650 2 4 $a Formal Languages and Automata Theory. $3 1365747
650 2 4 $a Compilers and Interpreters. $3 1365748
700 1 $a Singh, Gagandeep. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1392840
700 1 $a Urban, Caterina. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1392841
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031223075
776 0 8 $i Printed edition: $z 9783031223099
830 0 $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 9324 $3 1258960
856 4 0 $u https://doi.org/10.1007/978-3-031-22308-2
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)