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.

Argosy: verifying layered storage systems with recovery refinement

Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich. Argosy: verifying layered storage systems with recovery refinement. In Kathryn S. McKinley, Kathleen Fisher, editors, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. pages 1054-1068, ACM, 2019. [doi]

Authors

Tej Chajed

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

Joseph Tassarotti

This author has not been identified. Look up 'Joseph Tassarotti' 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
runs on