Tej Chajed

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 20

Top Topics

Storage Systems

Top Venues

Proc. VLDB Endow.

Publications

Eden Frenkel, Tej Chajed, Oded Padon, Sharon Shoham
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas. CAV (2) (2024)
Jing Liu, Xiangpeng Hao, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Tej Chajed
Shadow Filesystems: Recovering from Filesystem Runtime Errors via Robust Alternative Execution. HotStorage (2024)
Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen
DBSP: Incremental Computation on Streams and Its Applications to Databases. SIGMOD Rec. 53 (1) (2024)
Eden Frenkel, Tej Chajed, Oded Padon, Sharon Shoham
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas. CoRR (2024)
Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu
Anvil: Verifying Liveness of Cluster Management Controllers. OSDI (2024)
Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs. OSDI (2024)
Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen
DBSP: Automatic Incremental View Maintenance for Rich Query Languages. Proc. VLDB Endow. 16 (7) (2023)
Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada
Beyond isolation: OS verification as a foundation for correct applications. HotOS (2023)
Tej Chajed, Joseph Tassarotti, Mark Theng, M. Frans Kaashoek, Nickolai Zeldovich
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning. OSDI (2022)
Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich
GoJournal: a verified, concurrent, crash-safe journaling system. OSDI (2021)
Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
Verifying concurrent, crash-safe systems with Perennial. SOSP (2019)
Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
Argosy: verifying layered storage systems with recovery refinement. PLDI (2019)
Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko
EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats. USENIX Security Symposium (2019)
Atalay Mert Ileri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
Proving confidentiality in a file system using DiskSec. OSDI (2018)
Tej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich
Verifying concurrent software using movers in CSPEC. OSDI (2018)
Tej Chajed, Haogang Chen, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich, Daniel Ziegler
Certifying a file system using crash hoare logic: correctness in the presence of crashes. Commun. ACM 60 (4) (2017)
Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
Verifying a high-performance crash-safe file system using a tree specification. SOSP (2017)
Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
Using Crash Hoare Logic for Certifying the FSCQ File System. USENIX Annual Technical Conference (2016)
Tej Chajed, Jon Gjengset, Jelle van den Hooff, M. Frans Kaashoek, James Mickens, Robert Tappan Morris, Nickolai Zeldovich
Amber: Decoupling User Data from Web Applications. HotOS (2015)
Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
Using Crash Hoare logic for certifying the FSCQ file system. SOSP (2015)
Brian Cho, Muntasir Raihan Rahman, Tej Chajed, Indranil Gupta, Cristina L. Abad, Nathan Roberts, Philbert Lin
Natjam: design and evaluation of eviction policies for supporting priorities and deadlines in mapreduce clusters. SoCC (2013)