Storage Systems are Distributed Systems (So Verify Them That Way!) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno. Storage Systems are Distributed Systems (So Verify Them That Way!). In 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020. pages 99-115, USENIX Association, 2020. [doi]

This author has not been identified. Look up 'Travis Hance' in GoogleThis author has not been identified. Look up 'Andrea Lattuada' in GoogleThis author has not been identified. Look up 'Chris Hawblitzel' in GoogleThis author has not been identified. Look up 'Jon Howell' in GoogleThis author has not been identified. Look up 'Rob Johnson' in GoogleThis author has not been identified. Look up 'Bryan Parno' in Google

runs on WebDSL