Publications [Google Scholar] (* Slides and posters are available in the talks page.)

• • Conference/Journal/Workshop Papers

    1. "Adore: Atomic Distributed Objects with Certified Reconfiguration," Wolf Honoré, Ji-Yong Shin, Jieung Kim, Zhong Shao, In Proceedings of the ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), San Diego, CA, U.S.A., Jun 2022. [extended version] [artifact]

    2. "Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems," Wolf Honoré, Jieung Kim, Ji-Yong Shin, and Zhong Shao. In Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Chicago, IL, U.S.A., Oct 2021. [extended version] [artifact]

    3. "WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems,” Ji-Yong Shin, Jieung Kim, Wolf Honoré, Hernán Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, and Zhong Shao, In Proceedings of the ACM Symposium on Cloud Computing (SoCC), Santa Cruz, CA, U.S.A., Nov 2019.*

    4. "Isotope: ACID Transactions for Block Storage," Ji-Yong Shin, Mahesh Balakrishnan, Tudor Marian, and Hakim Weatherspoon, In ACM Transactions on Storage (TOS), Vol. 13, Issue 1, pp 4:1-4:25, Feb 2017.

    5. "Towards Weakly Consistent Local Storage Systems," Ji-Yong Shin, Mahesh Balakrishnan, Tudor Marian, Jakub Szefer and Hakim Weatherspoon, In Proceedings of the ACM Symposium on Cloud Computing (SoCC), Santa Clara, CA, U.S.A., Oct 2016.*

    6. "Isotope: Transactional Isolation for Block Storage," Ji-Yong Shin, Mahesh Balakrishnan, Tudor Marian, and Hakim Weatherspoon, In Proceedings of the USENIX Conference on File and Storage Technologies (FAST), Santa Clara, CA, U.S.A., Feb 2016.*

    7. "On the Feasibility of Completely Wireless Datacenters," Ji-Yong Shin, Emin Gün Sirer, Hakim Weatherspoon, and Darko Kirovski, In IEEE/ACM Transactions on Networking (ToN), Vol. 21, Issue 5, pp 1666-1679, Oct 2013.

    8. "Gecko: Contention-Oblivious Disk Arrays for Cloud Storage," Ji-Yong Shin, Mahesh Balakrishnan, Tudor Marian, and Hakim Weatherspoon, In Proceedings of the USENIX Conference on File and Storage Technologies (FAST), San Jose, CA, U.S.A., Feb 2013.*

    9. "On the Feasibility of Completely Wireless Datacenters," Ji-Yong Shin, Emin Gün Sirer, Hakim Weatherspoon, and Darko Kirovski, In Proceedings of the ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), Austin, TX, U.S.A., Oct 2012. (Awarded Best Paper) [ Media Coverage: Cornell Chronicle; WIRED; Engadget ] *

    10. "Gecko: A Contention-Oblivious Design for Cloud Storage," Ji-Yong Shin, Mahesh Balakrishnan, Lakshmi Ganesh, Tudor Marian, and Hakim Weatherspoon, In Proceedings of the USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage), Boston, MA, U.S.A., Jun 2012.*

    11. "Small-World Datacenters," Ji-Yong Shin, Bernard Wong, and Emin Gün Sirer, In Proceedings of the ACM Symposium on Cloud Computing (SoCC), pp. 2:1-2:13, Cascais, Portugal, Oct 2011.*

    12. "Exploiting Internal Parallelism of Flash-based SSDs," Seon-Yeong Park, Euiseong Seo, Ji-Yong Shin, Seungryoul Maeng, and Joonwon Lee, In IEEE Computer Architecture Letters (CAL), Vol. 9, Issue. 1, pp. 9-12, Jan 2010.

    13. "A Parallel Motion Estimation Engine for H.264 Encoding Using the UMHexagonS Algorithm," Ji-Yong Shin, Jung-Wook Park, In-Jik Lee, Shin-Dug Kim, and Charles Weems, In Proceedings of the International Conference on Convergence and Hybrid Information Technology (ICHIT), pp. 53-59, Daejeon, Korea, Aug 2009.

    14. "FTL Design Exploration in Reconfigurable High-Performance SSD for Server Applications," Ji-Yong Shin, Zeng-Lin Xia, Ning-Yi Xu, Rui Gao, Xiong-Fei Cai, Seungryoul Maeng, and Feng-Hsiung Hsu, In Proceedings of the International Conference on Supercomputing (ICS), pp. 338-349, Yorktown Heights, NY, U.S.A., Jun 2009.*

    15. "Hardware Module for Real-time Integer Pel Motion Estimation of H.264," Ji-Yong Shin, Injik Lee, and Shin-Dug Kim, In Proceedings of the Regular Spring Conference of Korea Information Processing Society (extended abstract in Korean), Sungnam, Korea, May, 2007.

• • Technical Reports

    1. "Write-Once-Registers: A Modular Foundation for Simple, Verifiable Distributed Systems,” Ji-Yong Shin, Jieung Kim, Wolf Honoré, Hernán Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, and Zhong Shao, Yale University Technical Report, YALEU/DCS/TR1544, Dec 2018.

    2. "On the Feasibility of Completely Wireless Data Centers," Ji-Yong Shin, Emin Gün Sirer, Hakim Weatherspoon, and Darko Kirovski, Cornell University Technical Report, URI: http://hdl.handle.net/1813/22846, May 2011.

• • Patents

    1. "Data Center Using Wireless Communication," Ji-Yong Shin, Darko Kirovski, and David T. Harper III, US Patent Application, Publication No. 20110243074, Oct 2011.

    2. "Optical Medium with Added Descriptor to Reduce Counterfeiting," Darko Kirovski, Ji-Yong Shin, and Vanessa Testoni, US Patent Application, Publication No. 20100214894, Aug 2010.