conf.researchr.org / Jinwoo Kim

Not registered as user yet

Name:Jinwoo Kim
Country:United States
Affiliation:University of Wisconsin-Madison; Seoul National University

Contributions

POPL 2023 Author of Unrealizability Logic within the POPL-track
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