conf.researchr.org / Ji-Yong Shin
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
2024
2022
2021
SPLASH
- Author of Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems within the OOPSLA-track
- Author of Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems within the Posters-track