Ji-Yong Shin - SPLASH 2021

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

Registered user since Fri 29 May 2020

Name:Ji-Yong Shin

Country:United States

Affiliation:Northeastern University

Personal website: http://www.jiyongshin.info

Research interests:Distributed Systems, Software Verification

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