Dongjun Youn

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Web Applications

Formal Verification

Static Analysis

Test Generation

Top Venues

Proc. ACM Program. Lang.

ICSE (Companion Volume)

ESEC/SIGSOFT FSE

Publications

Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg
Bringing the WebAssembly Standard up to Speed with SpecTec. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Jihyeok Park, Dongjun Youn, Kanguk Lee, Sukyoung Ryu
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Dongjun Youn, Sungho Lee, Sukyoung Ryu
Declarative static analysis for multilingual programs using CodeQL. Softw. Pract. Exp. 53 (7) (2023)
Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn
Wasm SpecTec: Engineering a Formal Language Standard. CoRR (2023)
Joonyoung Park, Jihyeok Park, Dongjun Youn, Sukyoung Ryu
Accelerating JavaScript static analysis via dynamic shortcuts. ESEC/SIGSOFT FSE (2021)
Joonyoung Park, Jihyeok Park, Dongjun Youn, Sukyoung Ryu
Accelerating JavaScript Static Analysis via Dynamic Shortcuts (Extended Version). CoRR (2021)
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
JEST: N+1 -version Differential Testing of Both JavaScript Engines and Specification. ICSE (2021)
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. CoRR (2021)
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification. ICSE (Companion Volume) (2021)