Verifying concurrent, crash-safe systems with Perennial - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich. Verifying concurrent, crash-safe systems with Perennial. In Tim Brecht, Carey Williamson, editors, Proceedings of the 27th ACM Symposium on Operating Systems Principles, SOSP 2019, Huntsville,, ON, Canada, October 27-30, 2019. pages 243-258, ACM, 2019. [doi]

This author has not been identified. Look up 'Tej Chajed' in GoogleThis author has not been identified. Look up 'Joseph Tassarotti' in GoogleThis author has not been identified. Look up 'M. Frans Kaashoek' in GoogleThis author has not been identified. Look up 'Nickolai Zeldovich' in Google

runs on WebDSL