27:17

[VMCAI'23] Distributing and Parallelizing Non-canonical Loops

ACM SIGPLAN

29:32

[VMCAI'23] Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth

ACM SIGPLAN

27:32

[VMCAI'23] Result Invalidation for Incremental Modular Analyses

ACM SIGPLAN

58:31

[VMCAI'23] Towards a Theoretical Understanding of Property-Directed Reachability

ACM SIGPLAN

34:00

[VMCAI'23] Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference

ACM SIGPLAN

58:39

[VMCAI'23] What Can Program Analysis Say About Data Bias?

ACM SIGPLAN

26:17

[VMCAI'23] Bayesian parameter estimation with guarantees via interval analysis and simulat...

ACM SIGPLAN

23:02

[VMCAI'23] Solving Constrained Horn Clauses over Algebraic Data Types

ACM SIGPLAN

32:06

[VMCAI'23] Satisfiability Modulo Custom Theories in Z3 (Tool Paper)

ACM SIGPLAN

58:39

[VMCAI'23] Differential Verification of Deep Neural Networks

ACM SIGPLAN

30:37

[VMCAI'23] ARENA: Enhancing Abstract Refinement for Neural Network Verification

ACM SIGPLAN

12:22

[VMCAI'23] Maximal Robust Neural Network Specifications via Oracle-guided Numerical Optimi...

ACM SIGPLAN

15:29

[VMCAI'23] SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study

ACM SIGPLAN

29:41

[VMCAI'23] A generic framework to coarse-grain stochastic reaction networks by Abstract In...

ACM SIGPLAN

31:15

[VMCAI'23] Sound Symbolic Execution via Abstract Interpretation and its Application to Sec...

ACM SIGPLAN

1:16:09

[VMCAI'23] Verifying, Inferring and Exploiting Code Commutativity

ACM SIGPLAN

31:06

[VMCAI'23] Compositional Verification of Stigmergic Collective Systems

ACM SIGPLAN

32:06

[VMCAI'23] Synthesizing History and Prophecy Variables for Symbolic Model Checking

ACM SIGPLAN

15:37

[VMCAI'23] A Pragmatic Approach to Stateful Partial Order Reduction

ACM SIGPLAN

15:00

[VMCAI'23] StaticPersist : Compiler Support for PMEM Programming

ACM SIGPLAN