Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Taeyoung Yoon
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
POPL 2025 profile
Registered user since Sun 15 Jun 2025
Name:
Taeyoung Yoon
Affiliation:
Seoul National University
Contributions
2025
SPLASH
Author of Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness within the OOPSLA-track
POPL
Author of Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting within the POPL-track
Share
x
Wed 10 Sep 03:43