Concepedia

Kwangkeun Yi

KY

Statistics

Publications

34

Citations

1.2K

H-Index

22

Active since

1993

Affiliations

Seoul National University(Current)

Korea Advanced Institute of Science and Technology

Korea University

University of Oxford

Hanyang University

Kwangkeun Yi is an author at Seoul National University specializing in computing, computer science, and data-flow analysis.

Publications per year

1993–2023

34

Publications

34

Proofs about a folklore let-polymorphic type inference algorithm

Oukseh Lee, Kwangkeun Yi · ACM Transactions on Programming Languages and Systems · 1998 · 115 citations · Full text

Computing, Computer Science, Algorithms +14

Design and implementation of sparse global analyses for C-like languages

Hakjoo Oh, Kihong Heo, Wonchan Lee et al. · 2012 · 87 citations

Computing, Computer Science, Formal Methods +12

Selective context-sensitivity guided by impact pre-analysis

Hakjoo Oh, Wonchan Lee, Kihong Heo et al. · 2014 · 80 citations

Computing, Computer Engineering, Decision Analysis +9

A polymorphic modal type system for lisp-like multi-staged languages

Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno · 2006 · 60 citations

Computing, Computer Science, Compilers +15

Automatic generation and management of interprocedural program analyses

Kwangkeun Yi, Williams Ludwell Harrison · 1993 · 59 citations · Full text

Computing, Computer Engineering, Computer Science +15

1–5 of 34