Kwangkeun Yi

According to our database, Kwangkeun Yi authored at least 76 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., September, 2023

Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation.

Yongho Yoon, Woosuk Lee, Kwangkeun Yi

Proc. ACM Program. Lang., 2023

2022

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

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

2020

Optimizing homomorphic evaluation circuits by program synthesis and term rewriting.

DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2018

Adaptive Static Analysis via Learning with Bayesian Optimization.

Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 2018

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

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

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

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

Machine-learning-guided selectively unsound static analysis.

Kihong Heo, Hakjoo Oh, Kwangkeun Yi

Proceedings of the 39th International Conference on Software Engineering, 2017

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

Widening with thresholds via binary search.

Sol Kim, Kihong Heo, Hakjoo Oh, Kwangkeun Yi

Softw. Pract. Exp., 2016

2015

Automatically inferring loop invariants via algorithmic learning.

Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi

Math. Struct. Comput. Sci., 2015

Static Analysis with Set-Closure in Secrecy.

Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Learning a strategy for adapting a program analysis via bayesian optimisation.

Hakjoo Oh, Hongseok Yang, Kwangkeun Yi

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Global Sparse Analysis Framework.

Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 2014

A Progress Bar for Static Analyzers.

Woosuk Lee, Hakjoo Oh, Kwangkeun Yi

Proceedings of the Static Analysis - 21st International Symposium, 2014

Selective context-sensitivity guided by impact pre-analysis.

Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Access-based abstract memory localization in static analysis.

Hakjoo Oh, Kwangkeun Yi

Sci. Comput. Program., 2013

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

Extended Report: The Implicit Calculus

Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi

CoRR, 2012

Sound Non-statistical Clustering of Static Analysis Alarms.

Woosuk Lee, Wonchan Lee, Kwangkeun Yi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

The implicit calculus: a new foundation for generic programming.

Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

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

Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

GMeta: A Generic Formal Metatheory Framework for First-Order Representations.

Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi

Proceedings of the Programming Languages and Systems, 2012

Termination Analysis with Algorithmic Learning.

Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Access Analysis-Based Tight Localization of Abstract Memories.

Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Static analysis of multi-staged programs via unstaging translation.

Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

MeCC: memory comparison-based clone detector.

Heejung Kim, Yungbum Jung, Sunghun Kim, Kwangkeun Yi

Proceedings of the 33rd International Conference on Software Engineering, 2011

Access-Based Localization with Bypassing.

Hakjoo Oh, Kwangkeun Yi

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

An algorithmic mitigation of large spurious interprocedural cycles in static analysis.

Hakjoo Oh, Kwangkeun Yi

Softw. Pract. Exp., 2010

LR error repair using the A* algorithm.

Ik-Soon Kim, Kwangkeun Yi

Acta Informatica, 2010

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction.

Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi

Proceedings of the Verification, 2010

Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates.

Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Abstract parsing for two-staged languages with concatenation.

Soonho Kong, Wontae Choi, Kwangkeun Yi

Proceedings of the Generative Programming and Component Engineering, 2009

Identifying static analysis techniques for finding non-fix hunks in fix revisions.

Yungbum Jung, Hakjoo Oh, Kwangkeun Yi

Proceedings of the Proceeding of the ACM First International Workshop on Data-Intensive Software Management and Mining, 2009

Test Coverage Metric for Two-Staged Language with Abstract Interpretation.

Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik, Chisu Wu, Kwangkeun Yi

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008

Practical memory leak detector based on parameterized procedural summaries.

Yungbum Jung, Kwangkeun Yi

Proceedings of the 7th International Symposium on Memory Management, 2008

2007

Goal-directed weakening of abstract interpretation results.

Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han

ACM Trans. Program. Lang. Syst., 2007

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

2006

Educational Pearl: 'Proof-directed debugging' revisited for a first-order version.

Kwangkeun Yi

J. Funct. Program., 2006

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

Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Type and Effect System for Multi-staged Exceptions.

Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Static insertion of safe and effective memory reuse commands into ML-like programs.

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Sci. Comput. Program., 2005

Static Extensivity Analysis for ?-Definable Functions over Lattices.

Hyunjun Eo, Kwangkeun Yi, Kwang-Moo Choe

New Gener. Comput., 2005

Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis.

Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi

Proceedings of the Static Analysis, 12th International Symposium, 2005

Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis.

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Proceedings of the Programming Languages and Systems, 2005

2004

An uncaught exception analysis for Java.

Jang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, Kwang-Moo Choe

J. Syst. Softw., 2004

A Static Reference Flow Analysis to Understand Design Pattern Behavior.

Chanjin Park, Yoohoon Kang, Chisu Wu, Kwangkeun Yi

Proceedings of the 11th Working Conference on Reverse Engineering, 2004

Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs.

Oukseh Lee, Kwangkeun Yi

Proceedings of the 4th International Symposium on Memory Management, 2004

2003

Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms.

Hyunjun Eo, Oukseh Lee, Kwangkeun Yi

New Gener. Comput., 2003

Inserting Safe Memory Reuse Commands into ML-Like Programs.

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Proceedings of the Static Analysis, 10th International Symposium, 2003

Automatic Construction of Hoare Proofs from Abstract Interpretation Results.

Sunae Seo, Hongseok Yang, Kwangkeun Yi

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

A cost-effective estimation of uncaught exceptions in Standard ML programs.

Kwangkeun Yi, Sukyoung Ryu

Theor. Comput. Sci., 2002

A proof method for the correctness of modularized 0CFA.

Oukseh Lee, Kwangkeun Yi, Yunheung Paek

Inf. Process. Lett., 2002

Engaging students with theory through ACM collegiate programming contest.

Nikolay V. Shilov, Kwangkeun Yi

Commun. ACM, 2002

Static Extensionality Checking for Lambda-Definable Functions Over Lattices.

Kwangkeun Yi, Hyunjun Eo

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

Inserting Safe Memory Re-use Commands into ML-like Programs.

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

An Improved Differential Fixpoint Iteration Method for Program Analysis.

Hyunjun Eo, Kwangkeun Yi

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

Data Flow Analysis of Secure Information-Flow.

Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

Interprocedural exception analysis for Java.

Byeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Static Monotonicity Analysis for lambda-Definable Functions. over Lattices.

Andrzej S. Murawski, Kwangkeun Yi

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

Exception Analysis for Multithreaded Java Programs.

Sukyoung Ryu, Kwangkeun Yi

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000

A Note on Model Checkers Reuse and Validation.

Nikolay V. Shilov, Kwangkeun Yi

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

Proving Syntactic Properties of Exceptions in an Ordered Logical Framework.

Jeff Polakow, Kwangkeun Yi

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms.

Oukseh Lee, Kwangkeun Yi

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

Partial CPS Transformation Using Static Annotation.

Jungtaek Kim, Kwangkeun Yi

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999

Exception Analysis for Java.

Kwangkeun Yi, Byeong-Mo Chang

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Proofs about a Folklore Let-Polymorphic Type Inference Algorithm.

Oukseh Lee, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 1998

An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs.

Kwangkeun Yi

Sci. Comput. Program., 1998

1997

Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs.

Kwangkeun Yi, Sukyoung Ryu

Proceedings of the Static Analysis, 4th International Symposium, 1997

1996

Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations.

Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun

Proceedings of the COMPSAC '96, 1996

1995

Efficient computation of fixpoints that arise in complex program analysis.

Li-Ling Chen, Williams Ludwell Harrison III, Kwangkeun Yi

J. Program. Lang., 1995

1994

Compile-time Detection of Uncaught Exceptions in Standard ML Programs.

Kwangkeun Yi

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

1993

Automatic Generation and Management of Program Analyses

Kwangkeun Yi

PhD thesis, 1993

Automatic Generation and Management of Interprocedural Program Analyses.

Kwangkeun Yi, Williams Ludwell Harrison III

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

1990

On-the-fly circuit to measure the average working set size.

Kwangkeun Yi, Luddy Harrison

Proceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1990