External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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. Certifying a file system using crash hoare logic: correctness in the presence of crashes. Communications of the ACM, 60(4):75-84, 2017. [doi]

Authors

Tej Chajed

This author has not been identified. Look up 'Tej Chajed' in Google

Haogang Chen

This author has not been identified. Look up 'Haogang Chen' in Google

Adam Chlipala

This author has not been identified. It may be one of the following persons: Look up 'Adam Chlipala' in Google

M. Frans Kaashoek

This author has not been identified. Look up 'M. Frans Kaashoek' in Google

Nickolai Zeldovich

This author has not been identified. Look up 'Nickolai Zeldovich' in Google

Daniel Ziegler

This author has not been identified. Look up 'Daniel Ziegler' in Google
runs on