Youngju Song

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 9

Top Topics

Operational Semantics

Refinement Process

Top Venues

Proc. ACM Program. Lang.

Publications

Dongjae Lee, Minki Cho, Jinwoo Kim, Soonwon Moon, Youngju Song, Chung-Kil Hur
Fair Operational Semantics. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Minki Cho, Youngju Song, Dongjae Lee, Lennard Gäher, Derek Dreyer
Stuttering for Free. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur, Michael Sammler, Derek Dreyer
Conditional Contextual Refinement. Proc. ACM Program. Lang. 7 (POPL) (2023)
Michael Sammler, Simon Spies, Youngju Song, Emanuele D'Osualdo, Robbert Krebbers, Deepak Garg, Derek Dreyer
DimSum: A Decentralized Approach to Multi-language Semantics and Verification. Proc. ACM Program. Lang. 7 (POPL) (2023)
Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur
Conditional Contextual Refinement (CCR). CoRR (2022)
Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur
Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic. CoRR (2021)
Youngju Song, Minki Cho, Dongjoo Kim, Yonghyun Kim, Jeehoon Kang, Chung-Kil Hur
CompCertM: CompCert with C-assembly linking and lightweight modular verification. Proc. ACM Program. Lang. 4 (POPL) (2020)
Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi
Crellvm: verified credible compilation for LLVM. PLDI (2018)
Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes
Taming undefined behavior in LLVM. PLDI (2017)