Kwangkeun Yi

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 13

Top Topics

Static Analysis

Computationally Feasible

Top Venues

ACM Trans. Program. Lang. Syst.

Softw. Pract. Exp.

Publications

Yongho Yoon, Woosuk Lee, Kwangkeun Yi
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation. CoRR (2023)
DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Yongho Yoon, Woosuk Lee, Kwangkeun Yi
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Ho Young Jhoo, Sehoon Kim, Woosung Song, Kyuyeon Park, DongKwon Lee, Kwangkeun Yi
A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code. ICSE-Companion (2022)
Ho Young Jhoo, Sehoon Kim, Woosung Song, Kyuyeon Park, DongKwon Lee, Kwangkeun Yi
A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code. CoRR (2021)
DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
Optimizing homomorphic evaluation circuits by program synthesis and term rewriting. PLDI (2020)
Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
Adaptive Static Analysis via Learning with Bayesian Optimization. ACM Trans. Program. Lang. Syst. 40 (4) (2018)
Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi
Crellvm: verified credible compilation for LLVM. PLDI (2018)
Kihong Heo, Hakjoo Oh, Kwangkeun Yi
Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis. Softw. Pract. Exp. 47 (11) (2017)
Kihong Heo, Hakjoo Oh, Kwangkeun Yi
Machine-learning-guided selectively unsound static analysis. ICSE (2017)
Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
Sound Non-Statistical Clustering of Static Analysis Alarms. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. ACM Trans. Program. Lang. Syst. 38 (2) (2016)
Sol Kim, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
Widening with thresholds via binary search. Softw. Pract. Exp. 46 (10) (2016)
Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi
Automatically inferring loop invariants via algorithmic learning. Math. Struct. Comput. Sci. 25 (4) (2015)
Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon
Static Analysis with Set-Closure in Secrecy. SAS (2015)
Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
Learning a strategy for adapting a program analysis via bayesian optimisation. OOPSLA (2015)
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi
Global Sparse Analysis Framework. ACM Trans. Program. Lang. Syst. 36 (3) (2014)
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
Selective context-sensitivity guided by impact pre-analysis. PLDI (2014)
Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
A Progress Bar for Static Analyzers. SAS (2014)
Hakjoo Oh, Kwangkeun Yi
Access-based abstract memory localization in static analysis. Sci. Comput. Program. 78 (9) (2013)
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
The implicit calculus: a new foundation for generic programming. PLDI (2012)
Wonchan Lee, Yungbum Jung, Bow-Yaw Wang, Kwangkeun Yi
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference Log. Methods Comput. Sci. 8 (3) (2012)
Woosuk Lee, Wonchan Lee, Kwangkeun Yi
Sound Non-statistical Clustering of Static Analysis Alarms. VMCAI (2012)
Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi
Termination Analysis with Algorithmic Learning. CAV (2012)
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
Extended Report: The Implicit Calculus CoRR (2012)
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi
Design and implementation of sparse global analyses for C-like languages. PLDI (2012)
Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi
GMeta: A Generic Formal Metatheory Framework for First-Order Representations. ESOP (2012)
Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi
Access Analysis-Based Tight Localization of Abstract Memories. VMCAI (2011)
Heejung Kim, Yungbum Jung, Sunghun Kim, Kwangkeun Yi
MeCC: memory comparison-based clone detector. ICSE (2011)
Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta
Static analysis of multi-staged programs via unstaging translation. POPL (2011)
Hakjoo Oh, Kwangkeun Yi
Access-Based Localization with Bypassing. APLAS (2011)
Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. TACAS (2011)
Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi
Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. APLAS (2010)
Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. VMCAI (2010)
Hakjoo Oh, Kwangkeun Yi
An algorithmic mitigation of large spurious interprocedural cycles in static analysis. Softw. Pract. Exp. 40 (8) (2010)
Ik-Soon Kim, Kwangkeun Yi
LR error repair using the A* algorithm. Acta Informatica 47 (3) (2010)
Soonho Kong, Wontae Choi, Kwangkeun Yi
Abstract parsing for two-staged languages with concatenation. GPCE (2009)
Yungbum Jung, Hakjoo Oh, Kwangkeun Yi
Identifying static analysis techniques for finding non-fix hunks in fix revisions. CIKM-DSMM (2009)
Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik, Chisu Wu, Kwangkeun Yi
Test Coverage Metric for Two-Staged Language with Abstract Interpretation. APSEC (2009)
Yungbum Jung, Kwangkeun Yi
Practical memory leak detector based on parameterized procedural summaries. ISMM (2008)
Kwangkeun Yi, Hosik Choi, Jaehwang Kim, Yongdai Kim
An empirical study on classification methods for alarms from a bug-finding static C analyzer. Inf. Process. Lett. 102 (2-3) (2007)
Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han
Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. 29 (6) (2007)
Kwangkeun Yi
Educational Pearl: 'Proof-directed debugging' revisited for a first-order version. J. Funct. Program. 16 (6) (2006)
Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi
Type and Effect System for Multi-staged Exceptions. APLAS (2006)
Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno
A polymorphic modal type system for lisp-like multi-staged languages. POPL (2006)
Oukseh Lee, Hongseok Yang, Kwangkeun Yi
Static insertion of safe and effective memory reuse commands into ML-like programs. Sci. Comput. Program. 58 (1-2) (2005)
Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi
Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. SAS (2005)
Oukseh Lee, Hongseok Yang, Kwangkeun Yi
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. ESOP (2005)
Hyunjun Eo, Kwangkeun Yi, Kwang-Moo Choe
Static Extensivity Analysis for ?-Definable Functions over Lattices. New Gener. Comput. 24 (1) (2005)
Oukseh Lee, Kwangkeun Yi
Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs. ISMM (2004)
Chanjin Park, Yoohoon Kang, Chisu Wu, Kwangkeun Yi
A Static Reference Flow Analysis to Understand Design Pattern Behavior. WCRE (2004)
Jang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, Kwang-Moo Choe
An uncaught exception analysis for Java. J. Syst. Softw. 72 (1) (2004)
Hyunjun Eo, Oukseh Lee, Kwangkeun Yi
Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. New Gener. Comput. 22 (1) (2003)
Sunae Seo, Hongseok Yang, Kwangkeun Yi
Automatic Construction of Hoare Proofs from Abstract Interpretation Results. APLAS (2003)
Oukseh Lee, Hongseok Yang, Kwangkeun Yi
Inserting Safe Memory Reuse Commands into ML-Like Programs. SAS (2003)
Oukseh Lee, Hongseok Yang, Kwangkeun Yi
Inserting Safe Memory Re-use Commands into ML-like Programs. APLAS (2002)
Kwangkeun Yi, Hyunjun Eo
Static Extensionality Checking for Lambda-Definable Functions Over Lattices. APLAS (2002)
Oukseh Lee, Kwangkeun Yi, Yunheung Paek
A proof method for the correctness of modularized 0CFA. Inf. Process. Lett. 81 (4) (2002)
Nikolay V. Shilov, Kwangkeun Yi
Engaging students with theory through ACM collegiate programming contest. Commun. ACM 45 (9) (2002)
Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi
Data Flow Analysis of Secure Information-Flow. APLAS (2002)
Hyunjun Eo, Kwangkeun Yi
An Improved Differential Fixpoint Iteration Method for Program Analysis. APLAS (2002)
Kwangkeun Yi, Sukyoung Ryu
A cost-effective estimation of uncaught exceptions in Standard ML programs. Theor. Comput. Sci. 277 (1-2) (2002)
Andrzej S. Murawski, Kwangkeun Yi
Static Monotonicity Analysis for lambda-definable Functions over Lattices. VMCAI (2002)
Byeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe
Interprocedural exception analysis for Java. SAC (2001)
Jeff Polakow, Kwangkeun Yi
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. FLOPS (2001)
Andrzej S. Murawski, Kwangkeun Yi
Static Monotonicity Analysis for lambda-Definable Functions. over Lattices. APLAS (2001)
Sukyoung Ryu, Kwangkeun Yi
Exception Analysis for Multithreaded Java Programs. APAQS (2001)
Oukseh Lee, Kwangkeun Yi
A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. APLAS (2000)
Nikolay V. Shilov, Kwangkeun Yi
A Note on Model Checkers Reuse and Validation. APLAS (2000)
Jeff Polakow, Kwangkeun Yi
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. APLAS (2000)
Jungtaek Kim, Kwangkeun Yi
Partial CPS Transformation Using Static Annotation. APLAS (2000)
Kwangkeun Yi, Byeong-Mo Chang
Exception Analysis for Java. ECOOP Workshops (1999)
Oukseh Lee, Kwangkeun Yi
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. ACM Trans. Program. Lang. Syst. 20 (4) (1998)
Kwangkeun Yi
An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs. Sci. Comput. Program. 31 (1) (1998)
Kwangkeun Yi, Sukyoung Ryu
Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. SAS (1997)
Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun
Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations. COMPSAC (1996)
Li-Ling Chen, Williams Ludwell Harrison III, Kwangkeun Yi
Efficient computation of fixpoints that arise in complex program analysis. J. Program. Lang. 3 (1) (1995)
Kwangkeun Yi
Compile-time Detection of Uncaught Exceptions in Standard ML Programs. SAS (1994)
Kwangkeun Yi, Williams Ludwell Harrison III
Automatic Generation and Management of Interprocedural Program Analyses. POPL (1993)
Kwangkeun Yi, Luddy Harrison
On-the-fly circuit to measure the average working set size. ICCD (1990)