Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno. Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. In Roxana Geambasu, Ed Nightingale, editors, 17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023, Boston, MA, USA, July 10-12, 2023. pages 911-929, USENIX Association, 2023. [doi]

This author has not been identified. Look up 'Travis Hance' in GoogleThis author has not been identified. Look up 'Yi Zhou' in GoogleThis author has not been identified. Look up 'Andrea Lattuada' in GoogleThis author has not been identified. Look up 'Reto Achermann' in GoogleThis author has not been identified. Look up 'Alex Conway' in GoogleThis author has not been identified. Look up 'Ryan Stutsman' in GoogleThis author has not been identified. Look up 'Gerd Zellweger' 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 'Bryan Parno' in Google

runs on WebDSL