Youngju Song

Orcid: 0000-0001-7093-3824

According to our database1, Youngju Song authored at least 11 papers between 2017 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2017
2018
2019
2020
2021
2022
2023
2024
2025
0
1
2
3
4
5
1
1
4
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting.
Proc. ACM Program. Lang., 2025

2024
Refinement Composition Logic.
Proc. ACM Program. Lang., 2024

2023
Stuttering for Free.
Proc. ACM Program. Lang., October, 2023

Conditional Contextual Refinement.
Proc. ACM Program. Lang., January, 2023

DimSum: A Decentralized Approach to Multi-language Semantics and Verification.
Proc. ACM Program. Lang., January, 2023

Fair Operational Semantics.
Proc. ACM Program. Lang., 2023

2022
Conditional Contextual Refinement (CCR).
CoRR, 2022

2021
Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic.
CoRR, 2021

2020
CompCertM: CompCert with C-assembly linking and lightweight modular verification.
Proc. ACM Program. Lang., 2020

2018
Crellvm: verified credible compilation for LLVM.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017
Taming undefined behavior in LLVM.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017


  Loading...