JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification. - Jihyeok Park; Seungmin An; Dongjun Youn; Gyeongwon Kim; Sukyoung Ryu (ICSE (Companion Volume), 2021)

Accelerating JavaScript static analysis via dynamic shortcuts. - Joonyoung Park; Jihyeok Park; Dongjun Youn; Sukyoung Ryu (ESEC/SIGSOFT FSE, 2021)

Accelerating JavaScript Static Analysis via Dynamic Shortcuts (Extended Version). - Joonyoung Park; Jihyeok Park; Dongjun Youn; Sukyoung Ryu (CoRR, 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)

Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations. - Jihyeok Park; Dongjun Youn; Kanguk Lee; Sukyoung Ryu (Proc. ACM Program. Lang., 2023)

Declarative static analysis for multilingual programs using CodeQL. - Dongjun Youn; Sungho Lee; Sukyoung Ryu (Softw. Pract. Exp., 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)