Tej Chajed

7 papers · 2018–2025 · 1 venue · 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 ↓

🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (11) 🐣 Hot Topic Early Bird 🌈 Renaissance Researcher (5)

Venues

OSDI (7)

Top co-authors

Nickolai Zeldovich (4) Frans Kaashoek (2) Mark Theng (2) Joseph Tassarotti (2) Manos Kapritsos (2) Tony Nuda Zhang (2) M. Frans Kaashoek (2) Bryan Parno (2) Andrea Lattuada (1) Travis Hance (1)

Research topics

Knowledge & Reasoning (5) Reasoning (5) Computer Science (4) Mathematics & Optimization (2) Applications (2) Foundations (2) Optimization (2) Systems (2) Artificial Intelligence (1) Machine Learning (1) Security & Privacy (1) Core AI (1) Mathematics (1) Optimization & Theory (1) Privacy (1)

Keywords

formal verification (7) file system (2) concurrent system (2) distributed protocol (2) cluster management (1) correctness verification (1) information flow control (1) invariant inference (1) state machine (1) protocol correctness (1) data noninterference (1) machine-checked proof (1) inductive invariant (1) provenance invariant (1) liveness property (1) sequential reasoning (1) proof assistant (1) crash safety (1) journaling system (1) transaction system (1)

Papers

Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025 Anvil: Verifying Liveness of Cluster Management Controllers OSDI 2024 Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024 Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning OSDI 2022 GoJournal: a verified, concurrent, crash-safe journaling system OSDI 2021 Proving confidentiality in a file system using DiskSec OSDI 2018 Verifying concurrent software using movers in CSPEC OSDI 2018