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
  • “Atomic Specification and Verification of Linearizable Distributed Objects (Template-Driven Verification of 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 an atomic specification and verification template for distributed systems that satisfy linearizability. These systems include multi-Paxos, Raft, two-phase commit, and so on which are commonly used in real life. We identify that these systems operate in two steps: 1) the leader election, and 2) the leader-driven state changes. We create an atomic specification based on these two operation and create a verification framework which 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 framework includes a logical tree data structure which captures all concurrent behaviors of the system. The tree structure eventually converges to a list which represents the linearized history of system state changes. The framework verifies key properties using the tree and list data structures and provides a verification template to the user. If the user fills in and instantiates the template, the safety properties are automatically verified by the framework.  
Publications [Google Scholar]

Experience
  • 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.

Talks
  • "WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems,” [ slides: ] [ poster ]
    • ACM Symposium on Cloud Computing (SoCC), Santa Cruz, CA, U.S.A., Nov 2019. 
  • "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 Dec 4, 2019.