Jieung Kim - SPLASH 2021

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

Registered user since Mon 23 Apr 2018

Name:Jieung Kim

Country:United States

Affiliation:Yale University

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

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