14:58

Compositional Verification of Smart Contracts Through Communication Abstraction

ACM SIGPLAN

13:26

Hash Consed Points-To Sets

ACM SIGPLAN

13:44

A Multi-Language Static Analysis of Python Programs with Native C Extensions

ACM SIGPLAN

14:45

Symbolic Automatic Relations and Their Applications to SMT and CHC Solving

ACM SIGPLAN

14:44

Reduced Products of Abstract Domains for Fairness Certification of Neural Networks

ACM SIGPLAN

7:38

Verifying Low-dimensional Input Neural Networks via Input Quantization

ACM SIGPLAN

12:34

Accelerating Program Analyses in Datalog by Merging Library Facts

ACM SIGPLAN

10:30

Exploiting Verified Neural Networks via Floating Point Numerical Error

ACM SIGPLAN

14:16

Static analysis of ReLU neural networks with tropical polyhedra

ACM SIGPLAN

14:26

Selectively-Amortized Resource Bounding

ACM SIGPLAN

14:58

Thread-modular Analysis of Release-Acquire Concurrency

ACM SIGPLAN

14:59

Improving Thread-Modular Abstract Interpretation

ACM SIGPLAN

13:48

Static Analysis of Endian Portability by Abstract Interpretation

ACM SIGPLAN

12:44

Selective Context-Sensitivity for k-CFA with CFL-Reachability

ACM SIGPLAN

13:00

Verified Functional Programming of an Abstract Interpreter

ACM SIGPLAN

15:00

Automated Verification of the Parallel Bellman--Ford Algorithm

ACM SIGPLAN

14:06

Fast and Efficient Bit-Level Precision Tuning

ACM SIGPLAN

12:48

Data Abstraction: A General Framework to Handle Program Verification of Data Structures

ACM SIGPLAN

14:53

Automatic Synthesis of Data-Flow Analyzers

ACM SIGPLAN

15:10

Disjunctive Interval Analysis

ACM SIGPLAN

14:50

Toward Neural-Network-Guided Program Synthesis and Verification

ACM SIGPLAN

12:59

Backward Symbolic Execution with Loop Folding

ACM SIGPLAN