Tej Chajed

According to our database, Tej Chajed authored at least 14 papers between 2013 and 2023.

Collaborative distances:

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

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 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

2015

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 25th Symposium on Operating Systems Principles, 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