Login / Signup
Kwangkeun Yi
ORCID
Publication Activity (10 Years)
Years Active: 1990-2023
Publications (10 Years): 13
Top Topics
Static Analysis
Binary Search
Computationally Feasible
Term Rewriting
Top Venues
ACM Trans. Program. Lang. Syst.
PLDI
CoRR
Softw. Pract. Exp.
</>
Publications
</>