Ji-Yong Shin

Registered user since Fri 29 May 2020

Name:Ji-Yong Shin
Country:United States
Affiliation:Northeastern University
Research interests:Distributed Systems, Software Verification

Contributions

PLDI 2022 Adore: Atomic Distributed Objects with Certified Reconfiguration
Show activities from other conferences

Using general profile