AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Tej Chajed

Tej Chajed

Massachusetts Institute of Technology - Cambridge / United States
Others
AD Scientific Index ID: 4312611
person_outline Tej Chajed's MOST POPULAR ARTICLES
1-) Using Crash Hoare logic for certifying the FSCQ file system Proceedings of the 25th Symposium on Operating Systems Principles, 18-37, 2015
2-) Verifying concurrent, crash-safe systems with Perennial Proceedings of the 27th ACM symposium on operating systems principles, 243-258, 2019
3-) Natjam: Design and evaluation of eviction policies for supporting priorities and deadlines in mapreduce clusters Proceedings of the 4th annual Symposium on Cloud Computing, 1-17, 2013
4-) EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats 28th USENIX Security Symposium (USENIX Security 19), 1465-1482, 2019
5-) Verifying a high-performance crash-safe file system using a tree specification Proceedings of the 26th Symposium on Operating Systems Principles, 270-286, 2017