dblp.uni-trier.dewww.uni-trier.de

Kwangkeun Yi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
41EEYungbum Jung, Kwangkeun Yi: Practical memory leak detector based on parameterized procedural summaries. ISMM 2008: 131-140
2007
40EESunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han: Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. 29(6): (2007)
39EEKwangkeun 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): 118-123 (2007)
2006
38 Kwangkeun Yi: Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings Springer 2006
37EEHyunjun Eo, Ik-Soon Kim, Kwangkeun Yi: Type and Effect System for Multi-staged Exceptions. APLAS 2006: 61-78
36EEIk-Soon Kim, Kwangkeun Yi, Cristiano Calcagno: A polymorphic modal type system for lisp-like multi-staged languages. POPL 2006: 257-268
35EEKwangkeun Yi: Educational Pearl: 'Proof-directed debugging' revisited for a first-order version. J. Funct. Program. 16(6): 663-670 (2006)
2005
34 Kwangkeun Yi: Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings Springer 2005
33EEOukseh Lee, Hongseok Yang, Kwangkeun Yi: Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. ESOP 2005: 124-140
32EEYungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi: Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. SAS 2005: 203-217
31EEHyunjun Eo, Kwangkeun Yi, Kwang-Moo Choe: Static Extensivity Analysis for ?-Definable Functions over Lattices. New Generation Comput. 24(1): (2005)
30EEOukseh Lee, Hongseok Yang, Kwangkeun Yi: Static insertion of safe and effective memory reuse commands into ML-like programs. Sci. Comput. Program. 58(1-2): 141-178 (2005)
2004
29EEOukseh Lee, Kwangkeun Yi: Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs. ISMM 2004: 97-107
28EEChanjin Park, Yoohoon Kang, Chisu Wu, Kwangkeun Yi: A Static Reference Flow Analysis to Understand Design Pattern Behavior. WCRE 2004: 300-301
27EEJang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, Kwang-Moo Choe: An uncaught exception analysis for Java. Journal of Systems and Software 72(1): 59-69 (2004)
2003
26EESunae Seo, Hongseok Yang, Kwangkeun Yi: Automatic Construction of Hoare Proofs from Abstract Interpretation Results. APLAS 2003: 230-245
25EEOukseh Lee, Hongseok Yang, Kwangkeun Yi: Inserting Safe Memory Reuse Commands into ML-Like Programs. SAS 2003: 171-188
24EEHyunjun Eo, Oukseh Lee, Kwangkeun Yi: Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. New Generation Comput. 22(1): (2003)
2002
23 Kwangkeun Yi, Hyunjun Eo: Static Extensionality Checking for Lambda-Definable Functions Over Lattices. APLAS 2002: 128-144
22 Hyunjun Eo, Kwangkeun Yi: An Improved Differential Fixpoint Iteration Method for Program Analysis. APLAS 2002: 285-301
21 Oukseh Lee, Hongseok Yang, Kwangkeun Yi: Inserting Safe Memory Re-use Commands into ML-like Programs. APLAS 2002: 317-333
20 Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi: Data Flow Analysis of Secure Information-Flow. APLAS 2002: 352-365
19EEAndrzej S. Murawski, Kwangkeun Yi: Static Monotonicity Analysis for lambda-definable Functions over Lattices. VMCAI 2002: 139-153
18EENikolay V. Shilov, Kwangkeun Yi: Engaging students with theory through ACM collegiate programming contest. Commun. ACM 45(9): 98-101 (2002)
17EEOukseh Lee, Kwangkeun Yi, Yunheung Paek: A proof method for the correctness of modularized 0CFA. Inf. Process. Lett. 81(4): 179-185 (2002)
16EEKwangkeun Yi, Sukyoung Ryu: A cost-effective estimation of uncaught exceptions in Standard ML programs. Theor. Comput. Sci. 277(1-2): 185-217 (2002)
2001
15 Andrzej S. Murawski, Kwangkeun Yi: Static Monotonicity Analysis for lambda-Definable Functions. over Lattices. APLAS 2001: 345-362
14EEJeff Polakow, Kwangkeun Yi: Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. FLOPS 2001: 61-77
13EEByeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe: Interprocedural exception analysis for Java. SAC 2001: 620-625
2000
12 Jungtaek Kim, Kwangkeun Yi: Partial CPS Transformation Using Static Annotation. APLAS 2000: 193-202
11 Jeff Polakow, Kwangkeun Yi: Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. APLAS 2000: 23-32
10 Nikolay V. Shilov, Kwangkeun Yi: A Note on Model Checkers Reuse and Validation. APLAS 2000: 69-77
9 Oukseh Lee, Kwangkeun Yi: A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. APLAS 2000: 79-88
1999
8 Kwangkeun Yi, Byeong-Mo Chang: Exception Analysis for Java. ECOOP Workshops 1999: 111-112
1998
7EEOukseh Lee, Kwangkeun Yi: Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. ACM Trans. Program. Lang. Syst. 20(4): 707-723 (1998)
6 Kwangkeun Yi: An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs. Sci. Comput. Program. 31(1): 147-173 (1998)
1997
5 Kwangkeun Yi, Sukyoung Ryu: Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. SAS 1997: 98-113
1996
4EEKwangkeun Yi, Sukyoung Ryu, Kihyun Pyun: Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations. COMPSAC 1996: 455-460
1995
3EELi-Ling Chen, Williams Ludwell Harrison III, Kwangkeun Yi: Efficient computation of fixpoints that arise in complex program analysis. J. Prog. Lang. 3(1): (1995)
1994
2 Kwangkeun Yi: Compile-time Detection of Uncaught Exceptions in Standard ML Programs. SAS 1994: 238-254
1993
1 Kwangkeun Yi, Williams Ludwell Harrison III: Automatic Generation and Management of Interprocedural Program Analyses. POPL 1993: 246-259

Coauthor Index

1Cristiano Calcagno [36]
2Byeong-Mo Chang [8] [13] [27]
3Li-Ling Chen [3]
4Kwang-Moo Choe [13] [27] [31]
5Hosik Choi [39]
6Kyung-Goo Doh [20]
7Hyunjun Eo [22] [23] [24] [31] [37]
8Taisook Han [40]
9Williams Ludwell Harrison III [1] [3]
10Jang-Wu Jo [13] [27]
11Yungbum Jung [32] [41]
12Yoohoon Kang [28]
13Ik-Soon Kim [36] [37]
14Jaehwang Kim [32] [39]
15Jungtaek Kim [12]
16Yongdai Kim [39]
17Oukseh Lee [7] [9] [17] [21] [24] [25] [29] [30] [33]
18Andrzej S. Murawski [15] [19]
19Yunheung Paek [17]
20Chanjin Park [28]
21Jeff Polakow (Jeffrey Polakow) [11] [14]
22Kihyun Pyun [4]
23Sukyoung Ryu [4] [5] [16]
24Sunae Seo [26] [40]
25Nikolay V. Shilov [10] [18]
26Jaeho Shin [32]
27Seung Cheol Shin [20]
28Chisu Wu [28]
29Hongseok Yang [21] [25] [26] [30] [33] [40]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)