Verifying an I/O-concurrent file system by Chajed, Tej

Get full text

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

Get full text
Get full text

Verifying concurrent, crash-safe systems with Perennial by Chajed, Tej, Tassarotti, Joseph, Kaashoek, M. Frans, Zeldovich, Nickolai

Get full text

Argosy: verifying layered storage systems with recovery refinement by Chajed, Tej, Tassarotti, Joseph, Kaashoek, M. Frans, Zeldovich, Nickolai

Get full text

Oort: User-Centric Cloud Storage with Global Queries by Chajed, Tej, Gjengset, Jon, Kaashoek, M. Frans, Mickens, James, Morris, Robert, Zeldovich, Nickolai

Get full text

Using Crash Hoare logic for certifying the FSCQ file system by Chen, Haogang, Ziegler, Daniel, Chajed, Tej, Chlipala, Adam, Kaashoek, M. Frans, Zeldovich, Nickolai

Get full text

Certifying a file system using crash hoare logic by Chajed, Tej, Chen, Haogang, Chlipala, Adam, Kaashoek, M. Frans, Zeldovich, Nickolai, Ziegler, Daniel Todd

Get full text

Verifying a high-performance crash-safe file system using a tree specification by Chen, Haogang, Chajed, Tej, Konradi, Alex, Wang, Stephanie, İleri, Atalay, Chlipala, Adam, Kaashoek, M. Frans, Zeldovich, Nickolai

Get full text