On-the-fly circuit to measure the average working set size. - Kwangkeun Yi; Luddy Harrison (ICCD, 1990)

Automatic Generation and Management of Interprocedural Program Analyses. - Kwangkeun Yi; Williams Ludwell Harrison III (POPL, 1993)

Automatic Generation and Management of Program Analyses - Kwangkeun Yi (1993)

Compile-time Detection of Uncaught Exceptions in Standard ML Programs. - Kwangkeun Yi (SAS, 1994)

Efficient computation of fixpoints that arise in complex program analysis. - Li-Ling Chen; Williams Ludwell Harrison III; Kwangkeun Yi (J. Program. Lang., 1995)

Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations. - Kwangkeun Yi; Sukyoung Ryu; Kihyun Pyun (COMPSAC, 1996)

Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. - Kwangkeun Yi; Sukyoung Ryu (SAS, 1997)

An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs. - Kwangkeun Yi (Sci. Comput. Program., 1998)

Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. - Oukseh Lee; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 1998)

Exception Analysis for Java. - Kwangkeun Yi; Byeong-Mo Chang (ECOOP Workshops, 1999)

Partial CPS Transformation Using Static Annotation. - Jungtaek Kim; Kwangkeun Yi (APLAS, 2000)

A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. - Oukseh Lee; Kwangkeun Yi (APLAS, 2000)

Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. - Jeff Polakow; Kwangkeun Yi (APLAS, 2000)

A Note on Model Checkers Reuse and Validation. - Nikolay V. Shilov 002; Kwangkeun Yi (APLAS, 2000)

Exception Analysis for Multithreaded Java Programs. - Sukyoung Ryu; Kwangkeun Yi (APAQS, 2001)

Static Monotonicity Analysis for lambda-Definable Functions. over Lattices. - Andrzej S. Murawski; Kwangkeun Yi (APLAS, 2001)

Interprocedural exception analysis for Java. - Byeong-Mo Chang; Jang-Wu Jo; Kwangkeun Yi; Kwang-Moo Choe (SAC, 2001)

Data Flow Analysis of Secure Information-Flow. - Kyung-Goo Doh; Seung Cheol Shin; Kwangkeun Yi (APLAS, 2002)

An Improved Differential Fixpoint Iteration Method for Program Analysis. - Hyunjun Eo; Kwangkeun Yi (APLAS, 2002)

Inserting Safe Memory Re-use Commands into ML-like Programs. - Oukseh Lee; Hongseok Yang; Kwangkeun Yi (APLAS, 2002)

Static Extensionality Checking for Lambda-Definable Functions Over Lattices. - Kwangkeun Yi; Hyunjun Eo (APLAS, 2002)

Engaging students with theory through ACM collegiate programming contest. - Nikolay V. Shilov 002; Kwangkeun Yi (Commun. ACM, 2002)

A proof method for the correctness of modularized 0CFA. - Oukseh Lee; Kwangkeun Yi; Yunheung Paek (Inf. Process. Lett., 2002)

A cost-effective estimation of uncaught exceptions in Standard ML programs. - Kwangkeun Yi; Sukyoung Ryu (Theor. Comput. Sci., 2002)

Automatic Construction of Hoare Proofs from Abstract Interpretation Results. - Sunae Seo; Hongseok Yang; Kwangkeun Yi (APLAS, 2003)

Inserting Safe Memory Reuse Commands into ML-Like Programs. - Oukseh Lee; Hongseok Yang; Kwangkeun Yi (SAS, 2003)

Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. - Hyunjun Eo; Oukseh Lee; Kwangkeun Yi (New Gener. Comput., 2003)

Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs. - Oukseh Lee; Kwangkeun Yi (ISMM, 2004)

A Static Reference Flow Analysis to Understand Design Pattern Behavior. - Chanjin Park; Yoohoon Kang; Chisu Wu; Kwangkeun Yi (WCRE, 2004)

An uncaught exception analysis for Java. - Jang-Wu Jo; Byeong-Mo Chang; Kwangkeun Yi; Kwang-Moo Choe (J. Syst. Softw., 2004)

Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. - Oukseh Lee; Hongseok Yang; Kwangkeun Yi (ESOP, 2005)

Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. - Yungbum Jung; Jaehwang Kim; Jaeho Shin 001; Kwangkeun Yi (SAS, 2005)

Static Extensivity Analysis for ?-Definable Functions over Lattices. - Hyunjun Eo; Kwangkeun Yi; Kwang-Moo Choe (New Gener. Comput., 2005)

Static insertion of safe and effective memory reuse commands into ML-like programs. - Oukseh Lee; Hongseok Yang; Kwangkeun Yi (Sci. Comput. Program., 2005)

Type and Effect System for Multi-staged Exceptions. - Hyunjun Eo; Ik-Soon Kim; Kwangkeun Yi (APLAS, 2006)

A polymorphic modal type system for lisp-like multi-staged languages. - Ik-Soon Kim; Kwangkeun Yi; Cristiano Calcagno (POPL, 2006)

Educational Pearl: 'Proof-directed debugging' revisited for a first-order version. - Kwangkeun Yi (J. Funct. Program., 2006)

An empirical study on classification methods for alarms from a bug-finding static C analyzer. - Kwangkeun Yi; Hosik Choi; Jaehwang Kim; Yongdai Kim (Inf. Process. Lett., 2007)

Goal-directed weakening of abstract interpretation results. - Sunae Seo; Hongseok Yang; Kwangkeun Yi; Taisook Han (ACM Trans. Program. Lang. Syst., 2007)

Practical memory leak detector based on parameterized procedural summaries. - Yungbum Jung; Kwangkeun Yi (ISMM, 2008)

Test Coverage Metric for Two-Staged Language with Abstract Interpretation. - Taeksu Kim; Chunwoo Lee; Kiljoo Lee; Soohyun Baik; Chisu Wu; Kwangkeun Yi (APSEC, 2009)

Identifying static analysis techniques for finding non-fix hunks in fix revisions. - Yungbum Jung; Hakjoo Oh; Kwangkeun Yi (CIKM-DSMM, 2009)

Abstract parsing for two-staged languages with concatenation. - Soonho Kong; Wontae Choi; Kwangkeun Yi (GPCE, 2009)

Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. - Soonho Kong; Yungbum Jung; Cristina David; Bow-Yaw Wang; Kwangkeun Yi (APLAS, 2010)

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. - Yungbum Jung; Soonho Kong; Bow-Yaw Wang; Kwangkeun Yi (VMCAI, 2010)

LR error repair using the A* algorithm. - Ik-Soon Kim; Kwangkeun Yi (Acta Informatica, 2010)

An algorithmic mitigation of large spurious interprocedural cycles in static analysis. - Hakjoo Oh; Kwangkeun Yi (Softw. Pract. Exp., 2010)

Access-Based Localization with Bypassing. - Hakjoo Oh; Kwangkeun Yi (APLAS, 2011)

MeCC: memory comparison-based clone detector. - Heejung Kim; Yungbum Jung; Sunghun Kim 001; Kwangkeun Yi (ICSE, 2011)

Static analysis of multi-staged programs via unstaging translation. - Wontae Choi; Baris Aktemur; Kwangkeun Yi; Makoto Tatsuta (POPL, 2011)

Access Analysis-Based Tight Localization of Abstract Memories. - Hakjoo Oh; Lucas Brutschy; Kwangkeun Yi (VMCAI, 2011)

Termination Analysis with Algorithmic Learning. - Wonchan Lee; Bow-Yaw Wang; Kwangkeun Yi (CAV, 2012)

GMeta: A Generic Formal Metatheory Framework for First-Order Representations. - Gyesik Lee; Bruno C. d. S. Oliveira; Sungkeun Cho; Kwangkeun Yi (ESOP, 2012)

Design and implementation of sparse global analyses for C-like languages. - Hakjoo Oh; Kihong Heo; Wonchan Lee; Woosuk Lee; Kwangkeun Yi (PLDI, 2012)

The implicit calculus: a new foundation for generic programming. - Bruno C. d. S. Oliveira; Tom Schrijvers; Wontae Choi; Wonchan Lee; Kwangkeun Yi (PLDI, 2012)

Sound Non-statistical Clustering of Static Analysis Alarms. - Woosuk Lee; Wonchan Lee; Kwangkeun Yi (VMCAI, 2012)

Extended Report: The Implicit Calculus - Bruno C. d. S. Oliveira; Tom Schrijvers; Wontae Choi; Wonchan Lee; Kwangkeun Yi (CoRR, 2012)

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference - Wonchan Lee; Yungbum Jung; Bow-Yaw Wang; Kwangkeun Yi (Log. Methods Comput. Sci., 2012)

Access-based abstract memory localization in static analysis. - Hakjoo Oh; Kwangkeun Yi (Sci. Comput. Program., 2013)

Selective context-sensitivity guided by impact pre-analysis. - Hakjoo Oh; Wonchan Lee; Kihong Heo; Hongseok Yang; Kwangkeun Yi (PLDI, 2014)

A Progress Bar for Static Analyzers. - Woosuk Lee; Hakjoo Oh; Kwangkeun Yi (SAS, 2014)

Global Sparse Analysis Framework. - Hakjoo Oh; Kihong Heo; Wonchan Lee; Woosuk Lee; Daejun Park 001; Jeehoon Kang; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 2014)

Learning a strategy for adapting a program analysis via bayesian optimisation. - Hakjoo Oh; Hongseok Yang; Kwangkeun Yi (OOPSLA, 2015)

Static Analysis with Set-Closure in Secrecy. - Woosuk Lee; Hyunsook Hong; Kwangkeun Yi; Jung Hee Cheon (SAS, 2015)

Automatically inferring loop invariants via algorithmic learning. - Yungbum Jung; Soonho Kong; Cristina David; Bow-Yaw Wang; Kwangkeun Yi (Math. Struct. Comput. Sci., 2015)

Widening with thresholds via binary search. - Sol Kim; Kihong Heo; Hakjoo Oh; Kwangkeun Yi (Softw. Pract. Exp., 2016)

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. - Hakjoo Oh; Wonchan Lee; Kihong Heo; Hongseok Yang; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 2016)

Machine-learning-guided selectively unsound static analysis. - Kihong Heo; Hakjoo Oh; Kwangkeun Yi (ICSE, 2017)

Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis. - Kihong Heo; Hakjoo Oh; Kwangkeun Yi (Softw. Pract. Exp., 2017)

Sound Non-Statistical Clustering of Static Analysis Alarms. - Woosuk Lee; Wonchan Lee; Dongok Kang; Kihong Heo; Hakjoo Oh; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 2017)

Crellvm: verified credible compilation for LLVM. - Jeehoon Kang; Yoonseung Kim; Youngju Song; Juneyoung Lee; Sanghoon Park; Mark Dongyeon Shin; Yonghyun Kim; Sungkeun Cho; Joonwon Choi; Chung-Kil Hur; Kwangkeun Yi (PLDI, 2018)

Adaptive Static Analysis via Learning with Bayesian Optimization. - Kihong Heo; Hakjoo Oh; Hongseok Yang; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 2018)

Optimizing homomorphic evaluation circuits by program synthesis and term rewriting. - DongKwon Lee; Woosuk Lee; Hakjoo Oh; Kwangkeun Yi (PLDI, 2020)

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; Kwangkeun Yi (ICSE-Companion, 2022)

Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation. - Yongho Yoon; Woosuk Lee; Kwangkeun Yi (Proc. ACM Program. Lang., 2023)

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. - DongKwon Lee; Woosuk Lee; Hakjoo Oh; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 2023)

React-tRace: A Semantics for Understanding React Hooks. - Jay Lee; Joongwon Ahn; Kwangkeun Yi (CoRR, 2025)