Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Ji-Yong Shin

Registered user since Fri 29 May 2020

Name: Ji-Yong Shin

Country: United States

Affiliation: Yale University

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

Research interests: Distributed Systems, Software Verification

Contributions

REMS-DeepSpec 2020Author of Compositional Atomic Distributed Object Specifications for Distributed System Verification within the REMS-DeepSpec 2020-track
Show activities from other conferences

PLDI 2020-profile
View general profile