Login / Signup
GoJournal: a verified, concurrent, crash-safe journaling system.
Tej Chajed
Joseph Tassarotti
Mark Theng
Ralf Jung
M. Frans Kaashoek
Nickolai Zeldovich
Published in:
OSDI (2021)
Keyphrases
</>
neural network
artificial intelligence
concurrent execution
real world
social networks
knowledge base
case study
three dimensional
cooperative
management system