conftrace_

invariant inference

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

state machine (1) protocol correctness (1) silent error (1) proactive checking (1) automated debugging (1) automated verification (1) just-in-time summarization (1) dns authoritative engine (1) distributed protocol (1) symbolic execution (1)

Papers

Iceberg: Automated Verification of DNS Authoritative Engines via Just-in-Time Summarization NSDI 2026 Training with Confidence: Catching Silent Errors in Deep Learning Training with Automated Proactive Checks OSDI 2025 Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024