Ji-Yong Shin

          Associate Research Scientist
          Department of Computer Science
          Yale University
          P.O. Box 208285
          New Haven, CT 06520-8285

I am an Associate Research Scientist in the Department of Computer Science at Yale University. I am working on distributed systems and system verification with Prof. Mahesh Balakrishnan and Prof. Zhong Shao. My research interests also include cloud storage systems, transactional storage systems, and datacenter network architectures. Before I came to Yale, I received my Ph.D. degree in Computer Science from Cornell University, Ithaca, NY, U.S.A., an M.S. degree in Computer Science from KAIST, Daejeon, South Korea, and a B.S. degree in Computer Science and Industrial Engineering with a minor in Electrical and Electronics Engineering from Yonsei Univerisity, Seoul, South Korea.  

Current Projects
  • "Write-Once-Registers: A Modular Foundation for Simple, Verifiable Distributed Systems,” 
    with Jieung Kim, Wolf Honore, Hernan Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, and Zhong Shao,
    [Technical report - YALEU/DCS/TR1544]
    • This project proposes the write-once register API for building modular and verifiable distributed systems. The write-once register is a minimal distributed system building unit that is durable, available, and consistent. Many systems commonly use a sequence of registers and a set of registers to store distributed states and decisions, but the registers are hidden under higher-level APIs such as state machine replication, shared log, and group communication. Exposing the register API and using the register as a base building block make developing distributed systems easy. 
    • When combined with certified layered abstraction approach, the write-once register can enable modular and incremental verification of distributed systems. The layered verification approach can encapsulate verified durability, availability, and consistency properties within the register, and systems that use the register can take advantage of the proof without reasoning about these properties. Distributed systems can reuse the proof of the register and the proof allows for easy and incremental verification. 
  • “Compositional Witness-Based Verification Templates for Leader-Based Distributed Systems,” 
    with Jieung Kim, Wolf Honore, Lucas Paul, and Zhong Shao.
    (The paper is under a conference submission with a different title.)
    • This project proposes a verification template for leader-based distributed systems. Leader-based distributed systems employ a single leader/coordinator among many nodes and coordinate distributed operations through the leader. These systems include multi-Paxos, Raft, two-phase commit, and any system using distributed locks. We identify that leader-based distributed systems operate in two steps: 1) the leader election, and 2) the leader-driven state changes. We create a verification template that captures these two steps and verifies that 1) the leader election results in at most one leader at any moment and 2) the state changes incurred by the leader are linearizable. The template includes logical data structures called the witness. If the developer fills in and instantiates the witness as defined by the template, the two properties can be automatically verified.  
Publications [Google Scholar]
  • Technical Reports
  • Patents
  • Thesis and Dissertation
    • "Isolation in Cloud Storage," Ji-Yong Shin, Ph.D. Dissertation, Cornell University, 2017.

    • "Scheduling Flash Requests in SSD to Improve Response Time," Ji-Yong Shin, Master's Thesis, Division of Computer Science, School of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, 2009.

  • Services
    • Program Committee, ACM Symposium on Cloud Computing (ACM SoCC), 2018.
    • Program Committee/Organizer, ACM Symposium on Cloud Computing (ACM SoCC), 2017.
    • Program Committee, USENIX Annual Technical Conference (USENIX ATC), 2017.
    • Program Committee, International Workshop on Accelerating Data Management Systems Using Modern Processor and Storage Architectures (ADMS, in conjunction with VLDB), 2011, 2012, and 2013.

  • Internships
    • Google (Technical Infrastructure Team), Mountain View, CA, U.S.A., May 2015 - Aug 2015.
    • Microsoft Research Silicon Valley Center, Mountain View, CA, U.S.A., May 2011 - Aug 2011.
    • IBM T.J. Watson Research (Dynamic Optimization Group), Hawthorne, NY, U.S.A., Feb 2010 - May 2010.
    • Microsoft Research (Machine Learning and Applied Statistics Group), Redmond, WA, U.S.A., Sep 2009 - Nov 2009.
    • Microsoft Research Asia (Platforms and Devices Center), Beijing, China, Sep 2008 - Feb 2009.

  • Teachings
    • Teaching Assistant, Advanced Systems (CS6410), Cornell University, Fall 2011.
    • Teaching Assistant, Introduction to Computing Using Matlab (CS1112), Cornell University, Spring 2011.
    • Teaching Assistant, Introduction to Computing Using Matlab (CS1112), Cornell University, Fall 2010.
    • Teaching Assistant, Design and Analysis of Algorithm (CS500), KAIST, Spring 2008.
    • Teaching Assistant, Embedded Computer Systems (CS310), KAIST, Fall 2007.

  • "Towards Weakly Consistent Local Storage Systems," [ slides: pptx | pdf ] [ poster ]
    • ACM Symposium on Cloud Computing (SoCC), Santa Clara, CA, U.S.A., Oct 2016.
  • "Isotope: Transactional Isolation for Block Storage," [ slides: pptx | pdf ] [ poster ]
    • USENIX Conference on File and Storage Technologies (FAST), Santa Clara, CA, U.S.A., Feb 2016. 
    • Yale University, New Haven, CT, U.S.A., Mar 2016. 
  • "Gecko: Contention-Oblivious Disk Arrays for Cloud Storage," [ slides: pptx | pdf ] [ poster ]
    • USENIX Conference on File and Storage Technologies (FAST), San Jose, CA, U.S.A., Feb 2013. 
    • Western Digital Corporation, Irvine, CA, U.S.A., May 2013. 
    • Industry-Academia Partnership Cloud Workshop (poster), Ithaca, NY, U.S.A., Oct 2013. 
  • "On the Feasibility of Completely Wireless Datacenters," [ slides: pptx | pdf ] [ poster ]
    • ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), Austin, TX, U.S.A., Oct 2012. 
    • Team for Research in Ubiquitous Security Technology (TRUST) Autumn Conference, Washington, D.C., U.S.A., Nov 2012.
  • "Gecko: A Contention-Oblivious Design for Cloud Storage," [ slides: pptx | pdf ] [ poster ]
    • USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage), Boston, MA, U.S.A., Jun 2012.
    • EMC University Day (poster), Boston, MA, U.S.A., Jun 2012. 
  • "Small-World Datacenters," [ slides: pptx | pdf ] [ poster ]
    • ACM Symposium on Cloud Computing (SoCC), Cascais, Portugal, Oct 2011. 
  • "FTL Design Exploration in Reconfigurable High-Performance SSD for Server Applications," [ slides: ppt ]
    • International Conference on Supercomputing (ICS), Yorktown Heights, NY, U.S.A., Jun 2009. 

Honors and Awards
  • USENIX FAST Student Grant, 2016.
  • ACM SOSP Student Scholarship, 2015.
  • ACM SOSP Student Scholarship, 2013.
  • USENIX FAST Student Grant, 2013.
  • Best Paper Award, ACM/IEEE ANCS, 2012 
    • On the Feasibility of Completely Wireless Datacenters.
  • 2nd Place Award, Student Poster Presentation, EMC University Day, 2012. 
    • Gecko: A Contention-Oblivious Design for Cloud Storage.
  • Outstanding Teaching Assistant Award, KAIST, 2008. 
    • CS310 Embedded Computer Systems.
  • KAIST Fellowship, Korean Government, 2007 - 2009.
  • High Honors Student, Yonsei Univ. Fall, 2005.
  • Honors Student, Yonsei Univ. Spring, 2005.

Last updated on Sep 6, 2019.