Tej Chajed
tchajed@mit.edu
Hello! My name is Tej and I'm a final-year PhD student at MIT working on formal verification.
Tej Chajedtchajed@mit.edu
Hello! My name is Tej and I'm a final-year PhD student at MIT working on formal verification. |
|
GoJournal: a verified, concurrent, crash-safe journaling system
, Joseph Tassarotti, Mark Theng, Ralf Jung, Frans Kaashoek, and Nickolai Zeldovich
OSDI 2021
Verifying concurrent, crash-safe systems with Perennial
, Joseph Tassarotti, Frans Kaashoek, and Nickolai Zeldovich
SOSP 2019