A New Analysis of LALR Formalisms. - Joseph C. H. Park; Kwang-Moo Choe; C. H. Chang (ACM Trans. Program. Lang. Syst., 1985)

Selecting the Backtrack Literal in the AND/OR Model. - Nam Sung Woo; Kwang-Moo Choe (SLP, 1986)

Efficient Computation of the Locally Least-Cost Insertion String for the LR Error Repair. - Kwang-Moo Choe; C. H. Chang (Inf. Process. Lett., 1986)

Remarks on Recent Algorithms for LALR Lookahead Sets. - Joseph C. H. Park; Kwang-Moo Choe (ACM SIGPLAN Notices, 1987)

Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model. - Do-Hyung Kim; Kwang-Moo Choe (Inf. Process. Lett., 1991)

SLR(k) Covering for LR(k) Grammars. - Myung-Joon Lee; Kwang-Moo Choe (Inf. Process. Lett., 1991)

Corrigenda: SLR(k) Covering for LR(k) Grammars. - Myung-Joon Lee; Kwang-Moo Choe (Inf. Process. Lett., 1991)

Corrigenda: Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model. - Do-Hyung Kim; Kwang-Moo Choe (Inf. Process. Lett., 1992)

Refined Mark(s)-Set-Based Backtrack Literal Selection for and Parallelism in Logic Programs. - Do-Hyung Kim; Kwang-Moo Choe; Taisook Han (Parallel Process. Lett., 1992)

Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation. - Byeong-Mo Chang; Kwang-Moo Choe; Taisook Han (Inf. Process. Lett., 1993)

Static Filtering on Stratified Programs. - Byeong-Mo Chang; Kwang-Moo Choe; Taisook Han (Inf. Process. Lett., 1993)

A Description of Dynamic Behavior for Compilers Based on Object Oriented Modeling. - DongGill Lee; Kwang-Moo Choe; Taisook Han (Inf. Process. Lett., 1993)

On the Reduction of LR(k) Parsers. - Woo-Jun Park; Myung-Joon Lee; Kwang-Moo Choe (Inf. Process. Lett., 1993)

An Improved LALR(k) Parser Generation for Regular Right Part Grammars. - Heung-Chul Shin; Kwang-Moo Choe (Inf. Process. Lett., 1993)

Syntactic Error Repair Using Repair Patterns. - In-Sig Yun; Kwang-Moo Choe; Taisook Han (Inf. Process. Lett., 1993)

Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation. - Byeong-Mo Chang; Kwang-Moo Choe; Roberto Giacobazzi (SAC, 1994)

Boundedly LR( k )-conflictable Grammars. - Myung-Joon Lee; Kwang-Moo Choe (Acta Informatica, 1994)

An Efficient Computation of Right Context for LR-Based Error Repair. - Min-Soo Jung; Kwang-Moo Choe; Taisook Han (Inf. Process. Lett., 1994)

Grammar Coverings of a Deterministic Parser with Action Conflicts. - Eun-Jung Lee; Kwang-Moo Choe (Inf. Process. Lett., 1994)

Path for AND-Parallel Execution of Logic Programs. - Su-Hyun Lee; Do-Hyung Kim; Kwang-Moo Choe (Inf. Process. Lett., 1994)

An efficient bottom-up tree pattern matching that performs dynamic programming for code generation. - Kyung-Woo Kang; Kwang-Moo Choe; Min-Soo Jung; Heung-Chul Shin (J. Program. Lang., 1997)

An LR Parser with Pre-Determined Reduction Goals. - Gyung-Ok Lee; Kwang-Moo Choe (Inf. Process. Lett., 1999)

Interprocedural exception analysis for Java. - Byeong-Mo Chang; Jang-Wu Jo; Kwangkeun Yi; Kwang-Moo Choe (SAC, 2001)

Error repair with validation in LR-based parsing. - Ik-Soon Kim; Kwang-Moo Choe (ACM Trans. Program. Lang. Syst., 2001)

An uncaught exception analysis for Java. - Jang-Wu Jo; Byeong-Mo Chang; Kwangkeun Yi; Kwang-Moo Choe (J. Syst. Softw., 2004)

Static Extensivity Analysis for ?-Definable Functions over Lattices. - Hyunjun Eo; Kwangkeun Yi; Kwang-Moo Choe (New Gener. Comput., 2005)

A Powerful LL(k) Covering Transformation. - Gyung-Ok Lee; Kwang-Moo Choe (SIAM J. Comput., 2005)

LR Formalisms as Abstract Interpretations of Grammar Semantics. - Seunghwan O; Kwang-Moo Choe (IEICE Trans. Inf. Syst., 2006)

Refining schizophrenia via graph reachability in Esterel. - Jeong-Han Yun; Chul-Joo Kim; Sunae Seo; Taisook Han; Kwang-Moo Choe (MEMOCODE, 2009)

Points-to analysis for JavaScript. - Dongseok Jang; Kwang-Moo Choe (SAC, 2009)

Over-Approximated Control Flow Graph Construction on Pure Esterel. - Chul-Joo Kim; Jeong-Han Yun; Seonggun Kim; Kwang-Moo Choe; Taisook Han (IEICE Trans. Inf. Syst., 2010)

Filtering false alarms of buffer overflow analysis using SMT solvers. - Youil Kim; Jooyong Lee; Hwansoo Han; Kwang-Moo Choe (Inf. Softw. Technol., 2010)

Composition-based Cache simulation for structure reorganization. - Keoncheol Shin; Hwansoo Han; Kwang-Moo Choe (J. Syst. Archit., 2010)

String Analysis as an Abstract Interpretation. - Se-Won Kim; Kwang-Moo Choe (VMCAI, 2011)

Cycle elimination for invocation graph-based context-sensitive pointer analysis. - Woongsik Choi; Kwang-Moo Choe (Inf. Softw. Technol., 2011)

Region-based parallelization of irregular reductions on explicitly managed memory hierarchies. - Seonggun Kim; Hwansoo Han; Kwang-Moo Choe (J. Supercomput., 2011)

Detection of harmful schizophrenic statements in esterel. - Jeong-Han Yun; Chul-Joo Kim; Seonggun Kim; Kwang-Moo Choe; Taisook Han (ACM Trans. Embed. Comput. Syst., 2013)