Tej Chajed
7 papers · 2018–2025 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π£ Hot Topic Early Bird π Interdisciplinary Bridge π Renaissance Researcher (5) π§ Keyword Pioneer π Academic Marathon (7)
π
Cross-Pollinator
(8)
πΊοΈ
Taxonomy Completionist
(11)
π
Keyword Champion
(4)
Conferences
OSDI (7)
Top co-authors
Research topics
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
Verifying concurrent software using movers in CSPEC
OSDI 2018
Proving confidentiality in a file system using DiskSec
OSDI 2018