Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jinwoo Kim
conf.researchr.org general profile
POPL 2020 profile
POPL 2021 profile
Not registered as user yet
Name:
Jinwoo Kim
Affiliation:
University of Wisconsin-Madison
Contributions
POPL 2021
Author of Semantics-Guided Synthesis within the POPL-track
POPL 2020
Author of Proving Unrealizability for Imperative Syntax-Guided Synthesis Problems within the Student Research Competition-track
Share
x
Sat 21 May 06:01