Zhong Shao - SPLASH 2021

Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

Registered user since Tue 17 Feb 2015

Name:Zhong Shao

Country:United States

Affiliation:Yale University

Personal website: http://www.cs.yale.edu/homes/shao/

Contributions

2021

SPLASH

Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems

Show activities from other conferences

SPLASH 2021-profile
View general profile