33:14

[SAS] Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs

ACM SIGPLAN

28:09

[SAS] Adversarial Logic

ACM SIGPLAN

50:58

[SAS] Logical Reasoning in Reinforcement Learning: A Boon or Bane?

ACM SIGPLAN

28:39

[SAS] Invariant Inference With Provable Complexity From the Monotone Theory

ACM SIGPLAN

27:08

[SAS] Local Completeness Logic on Kleene Algebra with Tests

ACM SIGPLAN

29:36

[SAS] Automated Synthesis of Asynchronizations

ACM SIGPLAN

33:20

[SAS] Solving Invariant Generation for Unsolvable Loops

ACM SIGPLAN

31:17

[SAS] Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation

ACM SIGPLAN

27:35

[SAS] Boosting Robustness Verification of Semantic Feature Neighborhoods

ACM SIGPLAN

28:15

[SAS] Bootstrapping Library-Based Synthesis

ACM SIGPLAN

24:46

[SAS] Parameterized Recursive Refinement Types for Automated Program Verification

ACM SIGPLAN

28:24

[SAS] CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks

ACM SIGPLAN

20:35

[SAS] PC Chairs Report

ACM SIGPLAN

29:44

[SAS] SecWasm: Information Flow Control for WebAssembly

ACM SIGPLAN

23:36

[SAS] Principles of Staged Static+Dynamic Partial Analysis

ACM SIGPLAN

3:01

[SAS] Radhia Cousot Award

ACM SIGPLAN

26:29

[SAS] Deciding program properties via complete abstractions on bounded domains

ACM SIGPLAN

25:32

[SAS] Fast and incremental computation of weak control closure

ACM SIGPLAN

31:34

[SAS] Efficient Modular SMT-Based Model Checking of Pointer Programs

ACM SIGPLAN

33:18

[SAS] Case Study on Verification-Witness Validators: Where We Are and Where We Go

ACM SIGPLAN

59:06

[SAS] Towards Efficient Reasoning of Quantum Programs

ACM SIGPLAN

1:03:42

[SAS] Commercial-Grade Static Analyzers in Datalog

ACM SIGPLAN

31:36

[SAS] Lifting Numeric Relational Domains to Algebraic Data Types

ACM SIGPLAN