Travis Hance

4 papers · 2020–2024 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🏆 Keyword Champion (2)

Venues

OSDI (3) NSDI (1)

Top co-authors

Bryan Parno (4) Jon Howell (2) Chris Hawblitzel (2) Andrea Lattuada (2) Yi Zhou (1) Ruben Martins (1) Gerd Zellweger (1) Rob Johnson (1) Manos Kapritsos (1) Ryan Stutsman (1)

Research topics

Knowledge & Reasoning (3) Reasoning (3) Computer Science (2) Systems (2) Artificial Intelligence (1) Mathematics & Optimization (1) Applications (1) Core AI (1) Foundations (1) Mathematics (1) Optimization (1)

Keywords

formal verification (4) distributed system (2) state machine (2) automated verification (2) invariant inference (1) protocol correctness (1) key-value store (1) inductive invariant (1) linear type (1) transition system (1) paxos protocol (1) concurrent programming (1) concurrent verification (1) ownership type (1) shared memory verification (1) theorem proving (1) dynamic frame (1) automated reasoning (1) safety verification (1) distributed protocol (1)

Papers

Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024 Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems OSDI 2023 Finding Invariants of Distributed Systems: It's a Small (Enough) World After All NSDI 2021 Storage Systems are Distributed Systems (So Verify Them That Way!) OSDI 2020