I used to be a Ph.D. student in Computer Sciences at UW-Madison, where I studied programming languages with
Loris D'Antoni and Thomas Reps.
Currently, I am on leave from my Ph.D. studies and working as a contracted researcher with Chung-Kil Hur
as alternative military service for South Korea.
Research Interests
My primary research interests are in topics from programming languages and verification.
I am also interested in the application of these topics to other CS fields, such as security or computer architecture.
Recently, I have been working in between the intersection of ideas from program analysis and program synthesis,
in order to explore fundamental questions behind the theory and practice of synthesizing programs.
Publications
Unrealizabilty Logic
Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas Reps
In Proceedings of the 50th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2023)
Programmable Program Synthesis
Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas Reps
In Computer Aided Verification 2021 (CAV 2021).
[pdf: pdf]
Semantics-Guided Synthesis
Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas Reps
In Proceedings of the 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2021)
[pdf: pdf]
[Semgus project page]
Awards and Recognitions
I received the 1st Place Graduate Award at the Student Research Competition at POPL 2020, for my work on "Proving Unrealizability for Imperative Syntax-Guided Synthesis Problems".
When I was a Ph.D. student, I was supported by a grant from the Korea Foundation for Advanced Studies (currently on hold).