Ji-Yong Shin

23 papers A* 1A 4Journal 9Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
A Fast, Efficient, and Strongly-Consistent Object Store.
SoCC
Shuwen Sun, Isaac Khor, Ji-Yong Shin, Peter Desnoyers
2025 — conf
Compositional Model-Driven Verification of Weakly Consistent Distributed Systems.
PLOS@SOSP
Bryant J. Curto, Jeonghyeon Kim, Alan Wang, Gijung Im, Jieung Kim, Jeehoon Kang, Ji-Yong Shin
2025 J jnl
LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols.
Proc. ACM Program. Lang.
Longfei Qiu, Jingqi Xiao, Ji-Yong Shin, Zhong Shao
2025 A conf
ReCraft: Self-Contained Split, Merge, and Membership Change of Raft Protocol.
DSN
Kezhi Xiong, Soonwon Moon, Joshua H. Kang, Bryant Curto, Jieung Kim, Ji-Yong Shin
2025 J jnl
ReCraft: Self-Contained Split, Merge, and Membership Change of Raft Protocol.
CoRR
Kezhi Xiong, Soonwon Moon, Joshua H. Kang, Bryant Curto, Jieung Kim, Ji-Yong Shin
2024 J jnl
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects.
Proc. ACM Program. Lang.
Wolf Honoré, Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Zhong Shao
2024 J jnl
LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs.
Proc. ACM Program. Lang.
Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honoré, Zhong Shao
2023 J jnl
FusionFlow: Accelerating Data Preparation for Machine Learning with Hybrid CPU-GPU Processing.
Proc. VLDB Endow.
Taeyoon Kim, Chanho Park, Mansur Mukimbekov, Heelim Hong, Minseok Kim, Ze Jin, Changdae Kim, Ji-Yong Shin, Myeongjae Jeon
2022 A* conf
Adore: atomic distributed objects with certified reconfiguration.
PLDI
Wolf Honoré, Ji-Yong Shin, Jieung Kim, Zhong Shao
2021 J jnl
Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems.
Proc. ACM Program. Lang.
Wolf Honoré, Jieung Kim, Ji-Yong Shin, Zhong Shao
2019 — conf
WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems.
SoCC
Ji-Yong Shin, Jieung Kim, Wolf Honoré, Hernán Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, Zhong Shao
2017 — —
Isolation in cloud storage.
Ji-Yong Shin
2017 J jnl
Isotope: ACID Transactions for Block Storage.
ACM Trans. Storage
Ji-Yong Shin, Mahesh Balakrishnan, Tudor Marian, Hakim Weatherspoon
2016 A conf
Isotope: Transactional Isolation for Block Storage.
FAST
Ji-Yong Shin, Mahesh Balakrishnan, Tudor Marian, Hakim Weatherspoon
2016 — conf
Towards Weakly Consistent Local Storage Systems.
SoCC
Ji-Yong Shin, Mahesh Balakrishnan, Tudor Marian, Jakub Szefer, Hakim Weatherspoon
2013 A conf
Gecko: contention-oblivious disk arrays for cloud storage.
FAST
Ji-Yong Shin, Mahesh Balakrishnan, Tudor Marian, Hakim Weatherspoon
2013 J jnl
On the Feasibility of Completely Wirelesss Datacenters.
IEEE/ACM Trans. Netw.
Ji-Yong Shin, Emin Gün Sirer, Hakim Weatherspoon, Darko Kirovski
2012 — conf
Gecko: A Contention-Oblivious Design for Cloud Storage.
HotStorage
Ji-Yong Shin, Mahesh Balakrishnan, Lakshmi Ganesh, Tudor Marian, Hakim Weatherspoon
2012 — conf
On the feasibility of completely wireless datacenters.
ANCS
Ji-Yong Shin, Emin Gün Sirer, Hakim Weatherspoon, Darko Kirovski
2011 — conf
Small-world datacenters.
SoCC
Ji-Yong Shin, Bernard Wong, Emin Gün Sirer
2010 J jnl
Exploiting Internal Parallelism of Flash-based SSDs.
IEEE Comput. Archit. Lett.
Seon-Yeong Park, Euiseong Seo, Ji-Yong Shin, Seungryoul Maeng, Joonwon Lee
2009 — conf
A parallel motion estimation engine for H.264 encoding using the UMHexagonS algorithm.
ICHIT
Ji-Yong Shin, Jung-Wook Park, In-Jik Lee, Shin-Dug Kim, Charles C. Weems
2009 A conf
FTL design exploration in reconfigurable high-performance SSD for server applications.
ICS
Ji-Yong Shin, Zenglin Xia, Ning-Yi Xu, Rui Gao, Xiongfei Cai, Seungryoul Maeng, Feng-Hsiung Hsu