conftrace_

distributed protocol

7 papers

Explore in graph

Co-occurring keywords

safety property (8) formal verification (284) inductive invariant (4) private analytics (1) cryptographic primitive (5) scalable query (1) invariant inference (2) state machine (8) protocol correctness (1) provenance invariant (1)

Papers

Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025
Runtime Protocol Refinement Checking for Distributed Protocol Implementations NSDI 2025
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024
Electrode: Accelerating Distributed Protocols with eBPF NSDI 2023
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022
Streaming and Distributed Algorithms for Robust Column Subset Selection ICML 2021
Orchard: Differentially Private Analytics at Scale OSDI 2020