Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jinwoo Kim
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
POPL 2020 profile
POPL 2021 profile
POPL 2023 profile
SPLASH/ISSTA 2026 profile
Not registered as user
Name:
Jinwoo Kim
Country:
United States
Affiliation:
University of California at San Diego
Contributions
2026
SPLASH
Author of Incremental Program Synthesis from Event Logs within the OOPSLA-track
2025
SPLASH
Author of Semantics of Sets of Programs within the OOPSLA-track
2023
POPL
Author of Unrealizability Logic within the POPL-track
2021
POPL
Author of Semantics-Guided Synthesis within the POPL-track
2020
POPL
Author of Proving Unrealizability for Imperative Syntax-Guided Synthesis Problems within the Student Research Competition-track
Share
x
Thu 15 Oct 08:21