Publications [Google Scholar] [dblp]
Conference/Journal/Workshop Papers
"SemantiX: A Compatibility Checker between Applications and Compositions of Distributed Systems," Yifei Sun, and Ji-Yong Shin, In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), Oakland, CA, U.S.A., Oct 2026.
"SureDistrib: Verifying Almost-sure Termination of Composite Asynchronous Byzantine Protocols," Longfei Qiu, Jingqi Xiao, Ji-Yong Shin, Zhong Shao, In Proceedings of the ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), Boulder, CO, U.S.A., Jun 2026. [ extended version ][ artifact ]
"A Fast, Efficient, and Strongly-Consistent Object Store," Shuwen Sun, Isaac Khor, Ji-Yong Shin, and Peter Desnoyers, In Proceedings of the ACM Symposium on Cloud Computing (SoCC), online, Nov 2025.
"Compositional Model-Driven Verification of Weakly Consistent Distributed Systems," Bryant J. Curto, Jeonghyeon Kim, Alan Wang, Gijung Im, Jieung Kim, Jeehoon Kang, and Ji-Yong Shin, In Proceedings of Workshop on Programming Languages and Operating Systems (PLOS, in conjunction with ACM SOSP), Seoul, South Korea, Oct 2025.
"LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-based Consensus Protocols," Longfei Qiu, Jingqi Xiao, Ji-Yong Shin, Zhong Shao, In Proceedings of the ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), Seoul, South Korea, Jun 2025. [ extended version ] [ artifact ]
"ReCraft: Self-Contained Split, Merge, and Membership Change of Raft Protocol," Kezhi Xiong, Soonwon Moon, Joshua Kang, Bryant Curto, Jieung Kim, Ji-Yong Shin, In Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Naples, Italy, Jun 2025. [ slides: pptx | pdf ] [ extended version ] [ artifact ]
"AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects," Wolf Honoré, Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, and Zhong Shao, In Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Pasadena, CA, U.S.A., Oct 2024. [ extended version ] [ artifact ]
"LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs," Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honoré, and Zhong Shao, In Proceedings of the ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), Copenhagen, Denmark, Jun 2024. [ extended version ] [ artifact ]
"FusionFlow: Accelerating Data Preprocessing for Machine Learning with CPU-GPU Cooperation," Taeyoon Kim, Chanho Park, Heelim Hong, Minseok Kim, Ze Jin, Changdae Kim, Ji-Yong Shin, and Myeongjae Jeon, In Proceedings of the VLDB Endowment (PVLDB), Vol. 17, Aug 2024. [ artifact ]
"Adore: Atomic Distributed Objects with Certified Reconfiguration," Wolf Honoré, Ji-Yong Shin, Jieung Kim, and 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 ]
"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. [ slides: ppt ][ extended version ] [ artifact ]
"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. [ slides: pptx | pdf ] [ poster ]
"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.
"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. [ slides: pptx | pdf ] [ poster ]
"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. (Selected for ACM TOS special issue) [ slides: pptx | pdf ] [ poster ]
"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.
"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. [ slides: pptx | pdf ] [ poster ]
"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 ] [ slides: pptx | pdf ] [ poster ]
"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. (Student Poster Award) [ slides: pptx | pdf ] [ poster ]
"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. [ slides: pptx | pdf ] [ poster ]
"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.
"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.
"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. [ slides: ppt ]
"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.