Tej Chajed
7 papers
· 2018–2025
· 1 conference
· across top CS/AI conferences
Achievements
π£
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)