56:35

[VMCAI'22] Sequential Information Flow

ACM SIGPLAN

30:11

[VMCAI'22] Relational String Abstract Domains

ACM SIGPLAN

27:04

[VMCAI'22] Lightweight Shape Analysis based on Physical Types

ACM SIGPLAN

29:17

[VMCAI'22] A Flow-Insensitive-Complete Program Representation

ACM SIGPLAN

28:42

[VMCAI'22] Verifying Pufferfish Privacy in Hidden Markov Models

ACM SIGPLAN

30:11

[VMCAI'22] Verifying Solidity Smart Contracts Via Communication Abstraction in SmartACE

ACM SIGPLAN

29:15

[VMCAI'22] Generalized Arrays for Stainless Frames

ACM SIGPLAN

27:18

[VMCAI'22] NP Satisfiability for Arrays as Powers

ACM SIGPLAN

30:05

[VMCAI'22] Bit-Precise Reasoning via Int-Blasting

ACM SIGPLAN

1:07:13

[VMCAI'22] Back to the Future: A Fresh Look at Linear Temporal Logic

ACM SIGPLAN

28:39

[VMCAI'22] Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking

ACM SIGPLAN

26:15

[VMCAI'22] Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms

ACM SIGPLAN

27:34

[VMCAI'22] Bisimulations for Neural Network Reduction

ACM SIGPLAN

31:20

[VMCAI'22] High Assurance Software for Financial Regulation and Business Platforms

ACM SIGPLAN

29:36

[VMCAI'22] Loop Verification with Invariants and Contracts

ACM SIGPLAN

28:24

[VMCAI'22] Making PROGRESS in Property Directed Reachability

ACM SIGPLAN

28:03

[VMCAI'22] Gradient-Descent for Randomized Controllers under Partial Observability

ACM SIGPLAN

34:22

[VMCAI'22] Satisfiability and Synthesis Modulo Oracles

ACM SIGPLAN

23:18

[VMCAI'22] Out of Control: Reducing Probabilistic Models by Control-State Elimination

ACM SIGPLAN

25:33

[VMCAI'22] STAMINA 2.0: Improving Scalability of Infinite-StateStochastic Model Checking

ACM SIGPLAN

22:05

[VMCAI'22] EPMC Gets Knowledge in Multi-Agent Systems

ACM SIGPLAN

1:08:28

[VMCAI'22] Simplifying Concurrent Programming via Synchronization Synthesis

ACM SIGPLAN

29:45

[VMCAI'22] Fast Three-Valued Abstract Bit-Vector Arithmetic

ACM SIGPLAN

33:02

[VMCAI'22] Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional L

ACM SIGPLAN

29:59

[VMCAI'22] Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applic

ACM SIGPLAN