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; Charles C. Weems (ICHIT, 2009)

FTL design exploration in reconfigurable high-performance SSD for server applications. - Ji-Yong Shin; Zenglin Xia; Ning-Yi Xu; Rui Gao; Xiongfei Cai; Seungryoul Maeng; Feng-Hsiung Hsu (ICS, 2009)

Exploiting Internal Parallelism of Flash-based SSDs. - Seon-Yeong Park; Euiseong Seo; Ji-Yong Shin; Seungryoul Maeng; Joonwon Lee (IEEE Comput. Archit. Lett., 2010)

Small-world datacenters. - Ji-Yong Shin; Bernard Wong 001; Emin Gün Sirer (SoCC, 2011)

On the feasibility of completely wireless datacenters. - Ji-Yong Shin; Emin Gün Sirer; Hakim Weatherspoon; Darko Kirovski (ANCS, 2012)

Gecko: A Contention-Oblivious Design for Cloud Storage. - Ji-Yong Shin; Mahesh Balakrishnan 001; Lakshmi Ganesh; Tudor Marian; Hakim Weatherspoon (HotStorage, 2012)

Gecko: contention-oblivious disk arrays for cloud storage. - Ji-Yong Shin; Mahesh Balakrishnan 001; Tudor Marian; Hakim Weatherspoon (FAST, 2013)

On the Feasibility of Completely Wirelesss Datacenters. - Ji-Yong Shin; Emin Gün Sirer; Hakim Weatherspoon; Darko Kirovski (IEEE/ACM Trans. Netw., 2013)

Towards Weakly Consistent Local Storage Systems. - Ji-Yong Shin; Mahesh Balakrishnan 001; Tudor Marian; Jakub Szefer; Hakim Weatherspoon (SoCC, 2016)

Isotope: Transactional Isolation for Block Storage. - Ji-Yong Shin; Mahesh Balakrishnan 001; Tudor Marian; Hakim Weatherspoon (FAST, 2016)

Isotope: ACID Transactions for Block Storage. - Ji-Yong Shin; Mahesh Balakrishnan 001; Tudor Marian; Hakim Weatherspoon (ACM Trans. Storage, 2017)

Isolation in cloud storage. - Ji-Yong Shin (2017)

WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems. - Ji-Yong Shin; Jieung Kim; Wolf Honoré; Hernán Vanzetto; Srihari Radhakrishnan; Mahesh Balakrishnan 001; Zhong Shao 001 (SoCC, 2019)

Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems. - Wolf Honoré; Jieung Kim; Ji-Yong Shin; Zhong Shao 001 (Proc. ACM Program. Lang., 2021)

Adore: atomic distributed objects with certified reconfiguration. - Wolf Honoré; Ji-Yong Shin; Jieung Kim; Zhong Shao 001 (PLDI, 2022)

FusionFlow: Accelerating Data Preparation for Machine Learning with Hybrid CPU-GPU Processing. - Taeyoon Kim; Chanho Park; Mansur Mukimbekov; Heelim Hong; Minseok Kim; Ze Jin; Changdae Kim; Ji-Yong Shin; Myeongjae Jeon (Proc. VLDB Endow., 2023)

AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects. - Wolf Honoré; Longfei Qiu; Yoonseung Kim; Ji-Yong Shin; Jieung Kim; Zhong Shao 001 (Proc. ACM Program. Lang., 2024)

LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs. - Longfei Qiu; Yoonseung Kim; Ji-Yong Shin; Jieung Kim; Wolf Honoré; Zhong Shao 001 (Proc. ACM Program. Lang., 2024)

ReCraft: Self-Contained Split, Merge, and Membership Change of Raft Protocol. - Kezhi Xiong; Soonwon Moon; Joshua H. Kang; Bryant Curto; Jieung Kim; Ji-Yong Shin (DSN, 2025)

LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols. - Longfei Qiu; Jingqi Xiao; Ji-Yong Shin; Zhong Shao 001 (Proc. ACM Program. Lang., 2025)