Static Analysis
portes grátis
Static Analysis
29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings
Singh, Gagandeep; Urban, Caterina
Springer International Publishing AG
12/2022
475
Mole
Inglês
9783031223075
15 a 20 dias
Descrição não disponível.
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 boundeddomains.- 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;computer programming;computer systems;distributed computer systems;embedded systems;formal logic;logic programming;model checking;object-oriented programming;parallel processing systems;program compilers;software architecture;software design;software engineering;software quality;static analysis
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 boundeddomains.- 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;computer programming;computer systems;distributed computer systems;embedded systems;formal logic;logic programming;model checking;object-oriented programming;parallel processing systems;program compilers;software architecture;software design;software engineering;software quality;static analysis
