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

Wasm SpecTec: Engineering a Formal Language Standard. - Joachim Breitner; Philippa Gardner; Jaehyun Lee; Sam Lindley; Matija Pretnar; Xiaojia Rao; Andreas Rossberg; Sukyoung Ryu; Wonho Shin; Conrad Watt; Dongjun Youn (CoRR, 2023)

Bringing the WebAssembly Standard up to Speed with SpecTec. - Dongjun Youn; Wonho Shin; Jaehyun Lee; Sukyoung Ryu; Joachim Breitner; Philippa Gardner; Sam Lindley; Matija Pretnar; Xiaojia Rao; Conrad Watt; Andreas Rossberg (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)