Youngju Song

12 papers A* 2Journal 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting.
Proc. ACM Program. Lang.
Yonghyun Kim, Minki Cho, Jaehyung Lee, Jinwoo Kim, TaeYoung Yoon, Youngju Song, Chung-Kil Hur
2025 J jnl
CCR 2.0: High-level Reasoning for Conditional Refinements.
CoRR
Youngju Song, Minki Cho
2024 J jnl
Refinement Composition Logic.
Proc. ACM Program. Lang.
Youngju Song, Dongjae Lee
2023 J jnl
Conditional Contextual Refinement.
Proc. ACM Program. Lang.
Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur, Michael Sammler, Derek Dreyer
2023 J jnl
DimSum: A Decentralized Approach to Multi-language Semantics and Verification.
Proc. ACM Program. Lang.
Michael Sammler, Simon Spies, Youngju Song, Emanuele D'Osualdo, Robbert Krebbers, Deepak Garg, Derek Dreyer
2023 J jnl
Fair Operational Semantics.
Proc. ACM Program. Lang.
Dongjae Lee, Minki Cho, Jinwoo Kim, Soonwon Moon, Youngju Song, Chung-Kil Hur
2023 J jnl
Stuttering for Free.
Proc. ACM Program. Lang.
Minki Cho, Youngju Song, Dongjae Lee, Lennard Gäher, Derek Dreyer
2022 J jnl
Conditional Contextual Refinement (CCR).
CoRR
Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur
2021 J jnl
Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic.
CoRR
Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur
2020 J jnl
CompCertM: CompCert with C-assembly linking and lightweight modular verification.
Proc. ACM Program. Lang.
Youngju Song, Minki Cho, Dongjoo Kim, Yonghyun Kim, Jeehoon Kang, Chung-Kil Hur
2018 A* conf
Crellvm: verified credible compilation for LLVM.
PLDI
Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi
2017 A* conf
Taming undefined behavior in LLVM.
PLDI
Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes