Concepedia

Tej Chajed

TC

Statistics

Publications

12

Citations

524

H-Index

11

Active since

2013

Affiliations

Moscow Institute of Thermal Technology(Current)

Microsoft Research (United Kingdom)

Tej Chajed is an author at Moscow Institute of Thermal Technology specializing in computing, computer science, and computer systems.

Publications per year

2013–2024

12

Publications

12

Using Crash Hoare logic for certifying the FSCQ file system

Haogang Chen, Daniel Ziegler, Tej Chajed et al. · 2015 · 200 citations · Full text

Computing, Computer Science, Computer Systems +17

Natjam

Brian Cho, Muntasir Rahman, Tej Chajed et al. · 2013 · 70 citations

Computing, Computer Science, Computer Systems +17

Verifying concurrent, crash-safe systems with Perennial

Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek et al. · 2019 · 57 citations · Full text

Computing, Computer Science, Computer Systems +15

Verifying a high-performance crash-safe file system using a tree specification

Haogang Chen, Tej Chajed, Alex Konradi et al. · 2017 · 54 citations · Full text

Computing, Computer Science, Computer Systems +16

DBSP: Automatic Incremental View Maintenance for Rich Query Languages

Mihai Budiu, Tej Chajed, Frank McSherry et al. · Proceedings of the VLDB Endowment · 2023 · 26 citations

Computing, Computer Science, Data Management +13

1–5 of 12