Youngju Song

According to our database, Youngju Song authored at least 10 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Refinement Composition Logic.

Youngju Song, Dongjae Lee

Proc. ACM Program. Lang., 2024

2023

Stuttering for Free.

Minki Cho, Youngju Song, Dongjae Lee, Lennard Gäher, Derek Dreyer

Proc. ACM Program. Lang., October, 2023

Conditional Contextual Refinement.

Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur, Michael Sammler, Derek Dreyer

Proc. ACM Program. Lang., January, 2023

DimSum: A Decentralized Approach to Multi-language Semantics and Verification.

Michael Sammler, Simon Spies, Youngju Song, Emanuele D'Osualdo, Robbert Krebbers, Deepak Garg, Derek Dreyer

Proc. ACM Program. Lang., January, 2023

Fair Operational Semantics.

Dongjae Lee, Minki Cho, Jinwoo Kim, Soonwon Moon, Youngju Song, Chung-Kil Hur

Proc. ACM Program. Lang., 2023

2022

Conditional Contextual Refinement (CCR).

Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur

CoRR, 2022

2021

Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic.

Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur

CoRR, 2021

2020

CompCertM: CompCert with C-assembly linking and lightweight modular verification.

Youngju Song, Minki Cho, Dongjoo Kim, Yonghyun Kim, Jeehoon Kang, Chung-Kil Hur

Proc. ACM Program. Lang., 2020

2018

Crellvm: verified credible compilation for LLVM.

Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Taming undefined behavior in LLVM.

Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017