Tej Chajed

According to our database, Tej Chajed authored at least 21 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

DBSP: Incremental Computation on Streams and Its Applications to Databases.

Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen

SIGMOD Rec., March, 2024

Verus: A Practical Foundation for Systems Verification.

Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs.

Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

Anvil: Verifying Liveness of Cluster Management Controllers.

Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

Shadow Filesystems: Recovering from Filesystem Runtime Errors via Robust Alternative Execution.

Jing Liu, Xiangpeng Hao, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Tej Chajed

Proceedings of the 16th ACM Workshop on Hot Topics in Storage and File Systems, 2024

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas.

Eden Frenkel, Tej Chajed, Oded Padon, Sharon Shoham

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

DBSP: Automatic Incremental View Maintenance for Rich Query Languages.

Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen

Proc. VLDB Endow., 2023

Beyond isolation: OS verification as a foundation for correct applications.

Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

2022

Verifying a concurrent, crash-safe file system with sequential reasoning

Tej Chajed

PhD thesis, 2022

Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning.

Tej Chajed, Joseph Tassarotti, Mark Theng, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

2021

GoJournal: a verified, concurrent, crash-safe journaling system.

Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

2019

EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats.

Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko

Proceedings of the 28th USENIX Security Symposium, 2019

Verifying concurrent, crash-safe systems with Perennial.

Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Argosy: verifying layered storage systems with recovery refinement.

Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Proving confidentiality in a file system using DiskSec.

Atalay Mert Ileri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

Verifying concurrent software using movers in CSPEC.

Tej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017

Certifying a file system using crash hoare logic: correctness in the presence of crashes.

Tej Chajed, Haogang Chen, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich, Daniel Ziegler

Commun. ACM, 2017

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

Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

2016

Using Crash Hoare Logic for Certifying the FSCQ File System.

Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

2015

Amber: Decoupling User Data from Web Applications.

Tej Chajed, Jon Gjengset, Jelle van den Hooff, M. Frans Kaashoek, James Mickens, Robert Tappan Morris, Nickolai Zeldovich

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2013

Natjam: design and evaluation of eviction policies for supporting priorities and deadlines in mapreduce clusters.

Brian Cho, Muntasir Raihan Rahman, Tej Chajed, Indranil Gupta, Cristina L. Abad, Nathan Roberts, Philbert Lin

Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013