Kwang-Moo Choe

2009
29	EE	Dongseok Jang, Kwang-Moo Choe: Points-to analysis for JavaScript. SAC 2009: 1930-1937
2006
28	EE	Seunghwan O, Kwang-Moo Choe: LR Formalisms as Abstract Interpretations of Grammar Semantics. IEICE Transactions 89-D(12): 2924-2932 (2006)
2005
27	EE	Hyunjun Eo, Kwangkeun Yi, Kwang-Moo Choe: Static Extensivity Analysis for ?-Definable Functions over Lattices. New Generation Comput. 24(1): (2005)
26	EE	Gyung-Ok Lee, Kwang-Moo Choe: A Powerful LL(k) Covering Transformation. SIAM J. Comput. 35(2): 359-377 (2005)
2004
25	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)
2001
24	EE	Byeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe: Interprocedural exception analysis for Java. SAC 2001: 620-625
23	EE	Ik-Soon Kim, Kwang-Moo Choe: Error repair with validation in LR-based parsing. ACM Trans. Program. Lang. Syst. 23(4): 451-471 (2001)
1999
22	EE	Gyung-Ok Lee, Kwang-Moo Choe: An LR Parser with Pre-Determined Reduction Goals. Inf. Process. Lett. 72(5-6): 189-196 (1999)
1997
21	EE	Kyung-Woo Kang, Kwang-Moo Choe, Min-Soo Jung, Heung-Chul Shin: An efficient bottom-up tree pattern matching that performs dynamic programming for code generation. J. Prog. Lang. 5(1): 189-199 (1997)
1994
20	EE	Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi: Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation. SAC 1994: 388-393
19		Myung-Joon Lee, Kwang-Moo Choe: Boundedly LR( k )-conflictable Grammars. Acta Inf. 31(3): 261-283 (1994)
18		Min-Soo Jung, Kwang-Moo Choe, Taisook Han: An Efficient Computation of Right Context for LR-Based Error Repair. Inf. Process. Lett. 49(2): 63-71 (1994)
17		Eun-Jung Lee, Kwang-Moo Choe: Grammar Coverings of a Deterministic Parser with Action Conflicts. Inf. Process. Lett. 51(2): 85-92 (1994)
16		Su-Hyun Lee, Do-Hyung Kim, Kwang-Moo Choe: Path for AND-Parallel Execution of Logic Programs. Inf. Process. Lett. 52(4): 191-199 (1994)
1993
15		Heung-Chul Shin, Kwang-Moo Choe: An Improved LALR(k) Parser Generation for Regular Right Part Grammars. Inf. Process. Lett. 47(3): 123-129 (1993)
14		Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han: Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation. Inf. Process. Lett. 47(3): 149-157 (1993)
13		In-Sig Yun, Kwang-Moo Choe, Taisook Han: Syntactic Error Repair Using Repair Patterns. Inf. Process. Lett. 47(4): 189-196 (1993)
12		Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han: Static Filtering on Stratified Programs. Inf. Process. Lett. 47(5): 237-244 (1993)
11		Woo-Jun Park, Myung-Joon Lee, Kwang-Moo Choe: On the Reduction of LR(k) Parsers. Inf. Process. Lett. 47(5): 245-251 (1993)
10		DongGill Lee, Kwang-Moo Choe, Taisook Han: A Description of Dynamic Behavior for Compilers Based on Object Oriented Modeling. Inf. Process. Lett. 48(4): 163-170 (1993)
1992
9		Do-Hyung Kim, Kwang-Moo Choe: Corrigenda: Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model. Inf. Process. Lett. 43(3): 165 (1992)
8		Do-Hyung Kim, Kwang-Moo Choe, Taisook Han: Refined Mark(s)-Set-Based Backtrack Literal Selection for and Parallelism in Logic Programs. Parallel Processing Letters 2: 71-79 (1992)
1991
7		Myung-Joon Lee, Kwang-Moo Choe: SLR(k) Covering for LR(k) Grammars. Inf. Process. Lett. 37(6): 337-347 (1991)
6		Myung-Joon Lee, Kwang-Moo Choe: Corrigenda: SLR(k) Covering for LR(k) Grammars. Inf. Process. Lett. 38(5): 281 (1991)
5		Do-Hyung Kim, Kwang-Moo Choe: Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model. Inf. Process. Lett. 40(4): 201-211 (1991)
1987
4		Joseph C. H. Park, Kwang-Moo Choe: Remarks on Recent Algorithms for LALR Lookahead Sets. SIGPLAN Notices 22(4): 30-32 (1987)
1986
3		Nam Sung Woo, Kwang-Moo Choe: Selecting the Backtrack Literal in the AND/OR Model. SLP 1986: 200-210
2		Kwang-Moo Choe, C. H. Chang: Efficient Computation of the Locally Least-Cost Insertion String for the LR Error Repair. Inf. Process. Lett. 23(6): 311-316 (1986)
1985
1	EE	Joseph C. H. Park, Kwang-Moo Choe, C. H. Chang: A New Analysis of LALR Formalisms. ACM Trans. Program. Lang. Syst. 7(1): 159-175 (1985)

Coauthor Index

1	Byeong-Mo Chang	[12] [14] [20] [24] [25]
2	C. H. Chang	[1] [2]
3	Hyunjun Eo	[27]
4	Roberto Giacobazzi	[20]
5	Taisook Han	[8] [10] [12] [13] [14] [18]
6	Dongseok Jang	[29]
7	Jang-Wu Jo	[24] [25]
8	Min-Soo Jung	[18] [21]
9	Kyung-Woo Kang	[21]
10	Do-Hyung Kim	[5] [8] [9] [16]
11	Ik-Soon Kim	[23]
12	DongGill Lee	[10]
13	Eun-Jung Lee	[17]
14	Gyung-Ok Lee	[22] [26]
15	Myung-Joon Lee	[6] [7] [11] [19]
16	Su-Hyun Lee	[16]
17	Seunghwan O	[28]
18	Joseph C. H. Park	[1] [4]
19	Woo-Jun Park	[11]
20	Heung-Chul Shin	[15] [21]
21	Nam Sung Woo	[3]
22	Kwangkeun Yi	[24] [25] [27]
23	In-Sig Yun	[13]

Colors in the list of coauthors