Kwangkeun Yi

发表

An algorithmic mitigation of large spurious interprocedural cycles in static analysis

Hakjoo Oh, Kwangkeun Yi, 2010, Softw. Pract. Exp..

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Kwangkeun Yi, Bow-Yaw Wang, Yungbum Jung, 2011, TACAS.

An Improved Differential Fixpoint Iteration Method for Program Analysis

Kwangkeun Yi, Hyunjun Eo, 2002, APLAS.

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Kwangkeun Yi, Bow-Yaw Wang, Yungbum Jung, 2012, Log. Methods Comput. Sci..

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

Kwangkeun Yi, Oukseh Lee, K. Yi, 2004, ISMM '04.

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

Kwangkeun Yi, Yungbum Jung, Jaehwang Kim, 2005, SAS.

Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates

Soonho Kong, Kwangkeun Yi, Cristina David, 2010, APLAS.

Interprocedural exception analysis for Java

Kwangkeun Yi, Kwang-Moo Choe, Byeong-Mo Chang, 2001, SAC.

Engaging students with theory through ACM collegiate programming contest

Kwangkeun Yi, Nikolay V. Shilov, K. Yi, 2002, CACM.

Sound Non-statistical Clustering of Static Analysis Alarms

Kwangkeun Yi, Wonchan Lee, Woosuk Lee, 2012, VMCAI.

Static Extensionality Checking for Lambda-Definable Functions Over Lattices

Kwangkeun Yi, Hyunjun Eo, K. Yi, 2002, APLAS.

Improving Code Review by Predicting Reviewers and Acceptance of Patches

Thomas Zimmermann, Kwangkeun Yi, Sunghun Kim, 2009 .

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

Kwangkeun Yi, Sukyoung Ryu, 2002, Theor. Comput. Sci..

Learning a strategy for adapting a program analysis via bayesian optimisation

Hongseok Yang, Hakjoo Oh, Kwangkeun Yi, 2015, OOPSLA.

Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings

Kwangkeun Yi, 2006, SAS.

Type and Effect System for Multi-staged Exceptions

Kwangkeun Yi, Hyunjun Eo, Ik-Soon Kim, 2006, APLAS.

An uncaught exception analysis for Java q,qq

Kwangkeun Yi, Kwang-Moo Choe, Byeong-Mo Chang, 2004 .

Selective context-sensitivity guided by impact pre-analysis

Hongseok Yang, Hakjoo Oh, Kwangkeun Yi, 2014, PLDI.

Introduction to Static Analysis

Xavier Rival, Kwangkeun Yi, 2019 .

Abstract parsing for two-staged languages with concatenation

Soonho Kong, Kwangkeun Yi, Wontae Choi, 2009, GPCE '09.

Proceedings of the 13th international conference on Static Analysis

Kwangkeun Yi, 2006 .

Programming Languages and Systems: Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings (Lecture Notes in Computer Science)

Kwangkeun Yi, 2005 .

Interprocedural Data Flow Analysis for Compile-time Memory Management

Kwangkeun Yi, Williams Ludwell Harrison, K. Yi, 1992 .

A Progress Bar for Static Analyzers

Hakjoo Oh, Kwangkeun Yi, Woosuk Lee, 2014, SAS.

Unstaging Translation of Cross-Stage Persistent Multi-Staged Programs

Jeehoon Kang, Kwangkeun Yi, Joonwon Choi, 2012 .

Automatic Generation and Management of Program Analyses

Kwangkeun Yi, 1993 .

Inferring quantified invariants via algorithmic learning, decision procedure, and predicate abstraction

Soonho Kong, Kwangkeun Yi, Cristina David, 2010 .

An empirical study on classification methods for alarms from a bug-finding static C analyzer

Hosik Choi, Yongdai Kim, Kwangkeun Yi, 2007, Inf. Process. Lett..

On Expressive Power of Second Order Propositional Program Logics

Kwangkeun Yi, 2001 .

EDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version

Kwangkeun Yi, K. Yi, 2006, Journal of Functional Programming.

Proofs of a set of hybrid let-polymorphic type inference algorithms

Kwangkeun Yi, Oukseh Lee, Hyunjun Eo, 2009, New Generation Computing.

Proving Exception Stackability and Linearity in an Ordered Logical Framework

Kwangkeun Yi, Jeff Polakow, Jeff Polakow, 2001 .

Clone Detection by Comparing Abstract Memory States

Heejung Kim, Kwangkeun Yi, Sunghun Kim, 2010 .

Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis

Hongseok Yang, Kwangkeun Yi, Oukseh Lee, 2005, ESOP.

Exception Analysis for Java

Kwangkeun Yi, Byeong-Mo Chang, 1999, ECOOP Workshops.

Access-Based Localization with Bypassing

Hakjoo Oh, Kwangkeun Yi, K. Yi, 2011, APLAS.

Machine-Learning-Guided Selectively Unsound Static Analysis

Hakjoo Oh, Kwangkeun Yi, Kihong Heo, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).

Efficient computation of fixpoints that arise in complex program analysis

Kwangkeun Yi, Li-Ling Chen, Williams Ludwell Harrison, 1995, J. Program. Lang..

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

Kwangkeun Yi, Sukyoung Ryu, 1997, SAS.

Static Analysis with Set-Closure in Secrecy

Jung Hee Cheon, Hyunsook Hong, Kwangkeun Yi, 2015, SAS.

Data-driven Path Selection for Improving Industrial-Strength Static Analyzers

Kwangkeun Yi, Jin-yung Kim, 2019 .

Termination Analysis with Algorithmic Learning

Kwangkeun Yi, Bow-Yaw Wang, Wonchan Lee, 2012, CAV.

Proofs about a folklore let-polymorphic type inference algorithm

Kwangkeun Yi, Oukseh Lee, 1998, TOPL.

Automatic Test Data Generation for Exceptions in First-Order ML Programs

Kwangkeun Yi, Sukyoung Ryu, 1999 .

Goal-directed weakening of abstract interpretation results

Hongseok Yang, Taisook Han, Kwangkeun Yi, 2007, TOPL.

A Control Flow Analysis for 2-staged Programming Languages

Kwangkeun Yi, Chunwoo Lee, Taeksu Kim, 2009 .

Programming Languages and Systems

Kwangkeun Yi, Luís Caires, 2019, Lecture Notes in Computer Science.

Interference Analysis of Two-Stage Language

Kwangkeun Yi, Jin-yung Kim, Sungkeun Cho, 2012 .

Yet Another Ensemble of Abstract Interpreter, Higher-Order Data-Flow Equations, and Model Checking

Kwangkeun Yi, 2001 .

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

Hongseok Yang, Kwangkeun Yi, Oukseh Lee, 2003, APLAS.

Widening with thresholds via binary search

Hakjoo Oh, Kwangkeun Yi, Sol Kim, 2016, Softw. Pract. Exp..

Automatic Construction of Hoare Proofs from Abstract Interpretation Results

Hongseok Yang, Kwangkeun Yi, Sunae Seo, 2003, APLAS.

Soundness by Static Analysis and False-alarm Removal by Statistical Analysis: Our Airac Experience ⁄

Kwangkeun Yi, Yungbum Jung, Jaehwang Kim, 2005 .

An Abstract Interpretation with the Interval Domain for C-like Programs

Kwangkeun Yi, Jaeho Shin, Jaeho Shin, 2006 .

Preparing Set-Based Analysis for Run-time Specialization

Kwangkeun Yi, Hyunjun Eo, 2000 .

Data Flow Analysis of Secure Information-Flow

Kwangkeun Yi, Kyung-Goo Doh, Seung Cheol Shin, 2002, APLAS.

Interconnecting Between CPS Terms and Non-CPS Terms

Kwangkeun Yi, 2001 .

Sound Non-Statistical Clustering of Static Analysis Alarms

Hakjoo Oh, Kwangkeun Yi, Wonchan Lee, 2017, ACM Trans. Program. Lang. Syst..

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis

Hongseok Yang, Hakjoo Oh, Kwangkeun Yi, 2015, ACM Trans. Program. Lang. Syst..

A Note on Model Checkers Reuse and Validation

Kwangkeun Yi, Nikolay V. Shilov, 2000, APLAS.

Proving Syntactic Properties of Exceptions in an Ordered Logical Framework

Kwangkeun Yi, Jeff Polakow, Jeff Polakow, 2001, APLAS.

MeCC: memory comparison-based clone detector

Heejung Kim, Kwangkeun Yi, Sunghun Kim, 2011, 2011 33rd International Conference on Software Engineering (ICSE).

Lobster - Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting

Hakjoo Oh, Kwangkeun Yi, Woosuk Lee, 2020 .

Type-directed Automatic Generation of Open Code Multi-Staged Programs

Kwangkeun Yi, Yungbum Jung, Wonchan Lee, 2012 .

Escape Analysis for Stack Allocation in Java

Kwangkeun Yi, 2000 .

Optimizing homomorphic evaluation circuits by program synthesis and term rewriting

Hakjoo Oh, Kwangkeun Yi, DongKwon Lee, 2020, PLDI.

A Static Analyzer for Detecting Memory Leaks based on Procedural Summary

Kwangkeun Yi, Yungbum Jung, 2009 .

Refinement for Loops in Buffer-Overrun Abstract Interpretation

Hakjoo Oh, Kwangkeun Yi, 2008 .

Compile-time Detection of Uncaught Exceptions in Standard ML Programs

Kwangkeun Yi, 1994, SAS.

Automatic generation and management of interprocedural program analyses

Kwangkeun Yi, Williams Ludwell Harrison, K. Yi, 1993, POPL '93.

A Test Data Generation to Raise User-Defined Exceptions in First-Order Functional Programs

Kwangkeun Yi, Sukyoung Ryu, 2000 .

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

Soonho Kong, Kwangkeun Yi, Bow-Yaw Wang, 2010, VMCAI.

Estimating uncaught exceptions in Standard ML programs from type-based equations

Kihyun Pyun, Kwangkeun Yi, Sukyoung Ryu, 1996, Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96.

Access Analysis-Based Tight Localization of Abstract Memories

Hakjoo Oh, Kwangkeun Yi, Lucas Brutschy, 2011, VMCAI.

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

Bruno C. d. S. Oliveira, Kwangkeun Yi, Gyesik Lee, 2012, ESOP.

Correctness proof on an algorithm to insert safe memory reuse commands

Hongseok Yang, Kwangkeun Yi, Oukseh Lee, 2003 .

Selective conjunction of context‐sensitivity and octagon domain toward scalable and precise global static analysis

Hakjoo Oh, Kwangkeun Yi, Kihong Heo, 2017, Softw. Pract. Exp..

SUIF program analysis using System Z2

Kwangkeun Yi, Kwang-Moo Choe, Hyunjun Eo, 1997 .

An Extensible Veried Validator For Simple Optimizations in LLVM

Jeehoon Kang, Chung-Kil Hur, Kwangkeun Yi, 2014 .

THROUGH ACM COLLEGIATE PROGRAMMING CONTESTS

Kwangkeun Yi, Nikolay V. S Hilov, 2002 .

Closed-code-conversion: Transforming Open Code Multi-staged Programs into Closed Ones

Kwangkeun Yi, Hyunjun Eo, 2009 .

Static Monotonicity Analysis for lambda-Definable Functions. over Lattices

Andrzej S. Murawski, Kwangkeun Yi, 2001, APLAS.

An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs

Kwangkeun Yi, 1998, Sci. Comput. Program..

Modularization of 0-CFA Makes It Polyvariant

Kwangkeun Yi, Oukseh Lee, Ropas Memo, 2000 .

A static reference flow analysis to understand design pattern behavior

Kwangkeun Yi, Chisu Wu, Chanjin Park, 2004, 11th Working Conference on Reverse Engineering.

Continuation Passing Style Transformation after Exception Analysis

Kwangkeun Yi, Jung-taek Kim, 2000 .

Reconstructing the Types of Stack-Machine Codes

Kwangkeun Yi, Oukseh Lee, Ropas Memo, 1999 .

Static analysis of multi-staged programs via unstaging translation

Makoto Tatsuta, Kwangkeun Yi, Wontae Choi, 2011, POPL '11.

Verification of Machine Codes Using An Effect Type System

Kwangkeun Yi, Sukyoung Ryu, Jaeyoun Chung, 2000 .

LR error repair using the A* algorithm

Kwangkeun Yi, Ik-Soon Kim, 2010, Acta Informatica.

Assessing the Overhead of ML Exceptions by Selective CPS Transformation

Olivier Danvy, Kwangkeun Yi, Jung-taek Kim, 1998 .

A proof method for the correctness of modularized 0CFA

Yunheung Paek, Kwangkeun Yi, Oukseh Lee, 2002, Inf. Process. Lett..

Automatically inferring loop invariants via algorithmic learning

Soonho Kong, Kwangkeun Yi, Cristina David, 2015, Math. Struct. Comput. Sci..

An uncaught exception analysis for Java

Kwangkeun Yi, Kwang-Moo Choe, Byeong-Mo Chang, 2004, J. Syst. Softw..

Accounting for chip yield at the application level: A case study of a H. 264 video application

Yervant Zorian, Ahmed M. Eltawil, Fadi J. Kurdahi, 2006 .

Correctness Proof on an Algorithm to Insert Memory Reuse Commands into ML-like

Hongseok Yang, Kwangkeun Yi, Oukseh Lee, 2003 .

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

Kwangkeun Yi, Luddy Harrison, 1990, Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

Practical memory leak detector based on parameterized procedural summaries

Kwangkeun Yi, Yungbum Jung, K. Yi, 2008, ISMM '08.

Test Coverage Metric for Two-Staged Language with Abstract Interpretation

Kwangkeun Yi, Chisu Wu, Chunwoo Lee, 2009, 2009 16th Asia-Pacific Software Engineering Conference.

PCC Framework for Program-Generators

Soonho Kong, Kwangkeun Yi, Wontae Choi, 2009 .

A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms

Kwangkeun Yi, Oukseh Lee, 2000, APLAS.

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

Hakjoo Oh, Kwangkeun Yi, Yungbum Jung, 2009, CIKM-DSMM.

A Generalized Let-Polymorphic Type Inference Algorithm

Kwangkeun Yi, Oukseh Lee, Ropas Memo, 2000 .

Partial CPS Transformation Using Static Annotation

Kwangkeun Yi, Jungtaek Kim, 2000, APLAS.

Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings

Kwangkeun Yi, 2005, APLAS.

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

Hongseok Yang, Kwangkeun Yi, Oukseh Lee, 2005, Sci. Comput. Program..

Bi-directional Demand-Driven Set-Based Analysis ⁄

Kwangkeun Yi, Woongsik Choi, 2002 .

Access-based abstract memory localization in static analysis

Hakjoo Oh, Kwangkeun Yi, K. Yi, 2013, Sci. Comput. Program..

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

Hakjoo Oh, Kwangkeun Yi, Wonchan Lee, 2012, PLDI.

Static Analysis of Multi-Staged Programs via Unstaging Analysis Translation

Makoto Tatsuta, Kwangkeun Yi, Wontae Choi, 2011 .

Static extensivity analysis for λ-definable functions over lattices

Kwangkeun Yi, Kwang-Moo Choe, Hyunjun Eo, 2009, New Generation Computing.

Adaptive Static Analysis via Learning with Bayesian Optimization

Hongseok Yang, Hakjoo Oh, Kwangkeun Yi, 2018, ACM Trans. Program. Lang. Syst..

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

Kwangkeun Yi, Cristiano Calcagno, Ik-Soon Kim, 2006, POPL '06.

Design of Core Calculus for Implicit Programming

Kwangkeun Yi, Wonchan Lee, 2012 .

The implicit calculus: a new foundation for generic programming

Bruno C. d. S. Oliveira, Tom Schrijvers, Kwangkeun Yi, 2012, PLDI '12.

Global Sparse Analysis Framework

Jeehoon Kang, Hakjoo Oh, Kwangkeun Yi, 2014, TOPL.

An algorithmic mitigation of large spurious interprocedural cycles in static analysis

Hakjoo Oh, Kwangkeun Yi, 2010 .

Crellvm: verified credible compilation for LLVM

Yonghyun Kim, Jeehoon Kang, Chung-Kil Hur, 2018, PLDI.

A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code pdf

Kwangkeun Yi, Ho Young Jhoo, Sehoon Kim, 2021, 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).

GMeta: A Generic Formal Metatheory Framework for

Kwangkeun Yi, Gyesik Lee, Sungkeun Cho, 2011 .

Deriving Invariants in Propositional Logic by Algorithmic Learning, Decision Procedure, and Predicate Abstraction

Kwangkeun Yi, Yungbum Jung, 2009 .