conf.researchr.org / Ji-Yong Shin
![Ji-Yong Shin](https://conf.researchr.org/getProfileImage/jiyongshin/887e7089-7e73-4b28-8c02-9dc79624fe5d/small.jpg?1711523838000)
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