ProfessorsProfessors of Seoul National UniversityKwangkeun Yi

Kwangkeun Yi

Seoul National University

H-index: 28

Asia-South Korea

About Kwangkeun Yi

Kwangkeun Yi, With an exceptional h-index of 28 and a recent h-index of 15 (since 2020), a distinguished researcher at Seoul National University, specializes in the field of Programming Language, Static Analysis, Abstract Interpretation, Software Verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search

Inductive program synthesis via iterative forward-backward abstract interpretation

A static analyzer for detecting tensor shape errors in deep neural network training code

Introduction to static analysis: an abstract interpretation perspective

Kwangkeun Yi Information

University	Seoul National University
Position	Professor of Computer Science & Engineering
Citations(all)	2680
Citations(since 2020)	723
Cited By	2350
hIndex(all)	28
hIndex(since 2020)	15
i10Index(all)	49
i10Index(since 2020)	20
Email	Access Email
University Profile Page	Seoul National University
Google Scholar	View Google Scholar Profile

Kwangkeun Yi Skills & Research Interests

Programming Language

Static Analysis

Abstract Interpretation

Software Verification

Top articles of Kwangkeun Yi

Title	Journal	Author(s)	Publication Date
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search	ACM Transactions on Programming Languages and Systems	Dongkwon Lee Woosuk Lee Hakjoo Oh Kwangkeun Yi	2023/9/22
Inductive program synthesis via iterative forward-backward abstract interpretation	Proceedings of the ACM on Programming Languages	Yongho Yoon Woosuk Lee Kwangkeun Yi	2023/6/6
A static analyzer for detecting tensor shape errors in deep neural network training code		Ho Young Jhoo Sehoon Kim Woosung Song Kyuyeon Park DongKwon Lee ...	2022/5/21
Introduction to static analysis: an abstract interpretation perspective		Xavier Rival Kwangkeun Yi	2020/2/11