JSTAR: JavaScript Specification Type Analyzer using Refinement. - Jihyeok Park; Seungmin An; Wonho Shin; Yusung Sim; Sukyoung Ryu (ASE, 2021)

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks. - Doehyun Baek; Jakob Getz; Yusung Sim; Daniel Lehmann 002; Ben L. Titzer; Sukyoung Ryu; Michael Pradel (Proc. ACM Program. Lang., 2024)

Automated code transformation for distributed training of TensorFlow deep learning models. - Yusung Sim; Wonho Shin; Sungho Lee (Sci. Comput. Program., 2025)