Ji-Yong Shin
Assistant Professor
Research interests
- Distributed systems
- Formal verification
- Cloud storage systems
- Operating systems
Education
- PhD in Computer Science, Cornell University
- MS in Computer Science, Korea Advanced Institute of Science and Technology — South Korea
- BS in Computer Science and Industrial Engineering, Yonsei University — South Korea
Biography
Ji-Yong Shin is an assistant professor in the Khoury College of Computer Sciences, based in Boston.
Shin researches formal verification methods that can be applied to system designs; he also designs novel systems such as distributed systems, cloud storage systems, and operating systems. Prior to joining Northeastern in 2020, he was an associate research scientist in the Department of Computer Science at Yale University.
In 2019, Shin received the NSF FMitF grant for a research project titled Track I: ADVERT: Compositional Atomic Specifications for Distributed System Verification. The project’s impacts include new tools to improve the reliability and security of large software infrastructures and the applications that run on them, as well as new courses on distributed-system design and verification that will broaden the participation of underrepresented groups.
Recent publications
-
FusionFlow: Accelerating Data Preparation for Machine Learning with Hybrid CPU-GPU Processing
Citation: Taeyoon Kim, Chanho Park, Mansur Mukimbekov, Heelim Hong, Minseok Kim, Ze Jin, Changdae Kim, Ji-Yong Shin, Myeongjae Jeon. (2023). FusionFlow: Accelerating Data Preparation for Machine Learning with Hybrid CPU-GPU Processing Proc. VLDB Endow., 17, 863-876. https://www.vldb.org/pvldb/vol17/p863-kim.pdf -
[TEST-FEB13]-AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Citation: Wolf Honoré, Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Zhong Shao. (2024). AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects Proc. ACM Program. Lang., 8, 419-448. https://doi.org/10.1145/3649826 -
[TEST-FEB13]-LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
Citation: Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honoré, Zhong Shao. (2024). LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs Proc. ACM Program. Lang., 8, 1140-1164. https://doi.org/10.1145/3656423
