| 2022 | ICSE | 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 |
| 2020 | PLDI | Optimizing homomorphic evaluation circuits by program synthesis and term rewriting. | DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi |
| 2018 | PLDI | 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 |
| 2017 | ICSE | Machine-learning-guided selectively unsound static analysis. | Kihong Heo, Hakjoo Oh, Kwangkeun Yi |
| 2015 | OOPSLA | Learning a strategy for adapting a program analysis via bayesian optimisation. | Hakjoo Oh, Hongseok Yang, Kwangkeun Yi |
| 2015 | SAS | Static Analysis with Set-Closure in Secrecy. | Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon |
| 2014 | PLDI | Selective context-sensitivity guided by impact pre-analysis. | Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi |
| 2014 | SAS | A Progress Bar for Static Analyzers. | Woosuk Lee, Hakjoo Oh, Kwangkeun Yi |
| 2012 | CAV | Termination Analysis with Algorithmic Learning. | Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi |
| 2012 | ESOP | GMeta: A Generic Formal Metatheory Framework for First-Order Representations. | Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi |
| 2012 | PLDI | Design and implementation of sparse global analyses for C-like languages. | Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi |
| 2012 | PLDI | The implicit calculus: a new foundation for generic programming. | Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi |
| 2012 | VMCAI | Sound Non-statistical Clustering of Static Analysis Alarms. | Woosuk Lee, Wonchan Lee, Kwangkeun Yi |
| 2011 | APLAS | Access-Based Localization with Bypassing. | Hakjoo Oh, Kwangkeun Yi |
| 2011 | ICSE | MeCC: memory comparison-based clone detector. | Heejung Kim, Yungbum Jung, Sunghun Kim, Kwangkeun Yi |
| 2011 | POPL | Static analysis of multi-staged programs via unstaging translation. | Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta |
| 2011 | TACAS | Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. | Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi |
| 2011 | VMCAI | Access Analysis-Based Tight Localization of Abstract Memories. | Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi |
| 2010 | APLAS | Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. | Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi |
| 2010 | VMCAI | Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. | Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi |
| 2009 | APSEC | Test Coverage Metric for Two-Staged Language with Abstract Interpretation. | Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik, Chisu Wu, Kwangkeun Yi |
| 2009 | CIKM | Identifying static analysis techniques for finding non-fix hunks in fix revisions. | Yungbum Jung, Hakjoo Oh, Kwangkeun Yi |
| 2009 | GPCE | Abstract parsing for two-staged languages with concatenation. | Soonho Kong, Wontae Choi, Kwangkeun Yi |
| 2006 | APLAS | Type and Effect System for Multi-staged Exceptions. | Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi |
| 2006 | POPL | A polymorphic modal type system for lisp-like multi-staged languages. | Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno |
| 2005 | ESOP | Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. | Oukseh Lee, Hongseok Yang, Kwangkeun Yi |
| 2005 | SAS | Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. | Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi |
| 2003 | APLAS | Automatic Construction of Hoare Proofs from Abstract Interpretation Results. | Sunae Seo, Hongseok Yang, Kwangkeun Yi |
| 2003 | SAS | Inserting Safe Memory Reuse Commands into ML-Like Programs. | Oukseh Lee, Hongseok Yang, Kwangkeun Yi |
| 2002 | APLAS | Data Flow Analysis of Secure Information-Flow. | Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi |
| 2002 | APLAS | An Improved Differential Fixpoint Iteration Method for Program Analysis. | Hyunjun Eo, Kwangkeun Yi |
| 2002 | APLAS | Inserting Safe Memory Re-use Commands into ML-like Programs. | Oukseh Lee, Hongseok Yang, Kwangkeun Yi |
| 2002 | APLAS | Static Extensionality Checking for Lambda-Definable Functions Over Lattices. | Kwangkeun Yi, Hyunjun Eo |
| 2002 | VMCAI | Static Monotonicity Analysis for lambda-definable Functions over Lattices. | Andrzej S. Murawski, Kwangkeun Yi |
| 2001 | APLAS | Static Monotonicity Analysis for lambda-Definable Functions. over Lattices. | Andrzej S. Murawski, Kwangkeun Yi |
| 2001 | FLOPS | Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. | Jeff Polakow, Kwangkeun Yi |
| 2001 | SAC | Interprocedural exception analysis for Java. | Byeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe |
| 2000 | APLAS | Partial CPS Transformation Using Static Annotation. | Jungtaek Kim, Kwangkeun Yi |
| 2000 | APLAS | A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. | Oukseh Lee, Kwangkeun Yi |
| 2000 | APLAS | Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. | Jeff Polakow, Kwangkeun Yi |
| 2000 | APLAS | A Note on Model Checkers Reuse and Validation. | Nikolay V. Shilov, Kwangkeun Yi |
| 1997 | SAS | Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. | Kwangkeun Yi, Sukyoung Ryu |
| 1996 | COMPSAC | Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations. | Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun |
| 1994 | SAS | Compile-time Detection of Uncaught Exceptions in Standard ML Programs. | Kwangkeun Yi |
| 1993 | POPL | Automatic Generation and Management of Interprocedural Program Analyses. | Kwangkeun Yi, Williams Ludwell Harrison III |
| 1990 | ICCD | On-the-fly circuit to measure the average working set size. | Kwangkeun Yi, Luddy Harrison |