Kwangkeun Yi

2008
41	EE	Yungbum Jung, Kwangkeun Yi: Practical memory leak detector based on parameterized procedural summaries. ISMM 2008: 131-140
2007
40	EE	Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han: Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. 29(6): (2007)
39	EE	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): 118-123 (2007)
2006
38		Kwangkeun Yi: Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings Springer 2006
37	EE	Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi: Type and Effect System for Multi-staged Exceptions. APLAS 2006: 61-78
36	EE	Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno: A polymorphic modal type system for lisp-like multi-staged languages. POPL 2006: 257-268
35	EE	Kwangkeun 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
33	EE	Oukseh Lee, Hongseok Yang, Kwangkeun Yi: Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. ESOP 2005: 124-140
32	EE	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: 203-217
31	EE	Hyunjun Eo, Kwangkeun Yi, Kwang-Moo Choe: Static Extensivity Analysis for ?-Definable Functions over Lattices. New Generation Comput. 24(1): (2005)
30	EE	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): 141-178 (2005)
2004
29	EE	Oukseh Lee, Kwangkeun Yi: Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs. ISMM 2004: 97-107
28	EE	Chanjin Park, Yoohoon Kang, Chisu Wu, Kwangkeun Yi: A Static Reference Flow Analysis to Understand Design Pattern Behavior. WCRE 2004: 300-301
27	EE	Jang-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
26	EE	Sunae Seo, Hongseok Yang, Kwangkeun Yi: Automatic Construction of Hoare Proofs from Abstract Interpretation Results. APLAS 2003: 230-245
25	EE	Oukseh Lee, Hongseok Yang, Kwangkeun Yi: Inserting Safe Memory Reuse Commands into ML-Like Programs. SAS 2003: 171-188
24	EE	Hyunjun 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
19	EE	Andrzej S. Murawski, Kwangkeun Yi: Static Monotonicity Analysis for lambda-definable Functions over Lattices. VMCAI 2002: 139-153
18	EE	Nikolay V. Shilov, Kwangkeun Yi: Engaging students with theory through ACM collegiate programming contest. Commun. ACM 45(9): 98-101 (2002)
17	EE	Oukseh Lee, Kwangkeun Yi, Yunheung Paek: A proof method for the correctness of modularized 0CFA. Inf. Process. Lett. 81(4): 179-185 (2002)
16	EE	Kwangkeun 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
14	EE	Jeff Polakow, Kwangkeun Yi: Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. FLOPS 2001: 61-77
13	EE	Byeong-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
7	EE	Oukseh 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
4	EE	Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun: Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations. COMPSAC 1996: 455-460
1995
3	EE	Li-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

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

Colors in the list of coauthors