Kwang-Moo Choe

According to our database, Kwang-Moo Choe authored at least 37 papers between 1985 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

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

2011

Region-based parallelization of irregular reductions on explicitly managed memory hierarchies.

Seonggun Kim, Hwansoo Han, Kwang-Moo Choe

J. Supercomput., 2011

Cycle elimination for invocation graph-based context-sensitive pointer analysis.

Woongsik Choi, Kwang-Moo Choe

Inf. Softw. Technol., 2011

String Analysis as an Abstract Interpretation.

Se-Won Kim, Kwang-Moo Choe

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

2010

Composition-based Cache simulation for structure reorganization.

Keoncheol Shin, Hwansoo Han, Kwang-Moo Choe

J. Syst. Archit., 2010

Filtering false alarms of buffer overflow analysis using SMT solvers.

Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Choe

Inf. Softw. Technol., 2010

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

2009

Points-to analysis for JavaScript.

Dongseok Jang, Kwang-Moo Choe

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Refining schizophrenia via graph reachability in Esterel.

Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

2006

LR Formalisms as Abstract Interpretations of Grammar Semantics.

Seunghwan O, Kwang-Moo Choe

IEICE Trans. Inf. Syst., 2006

2005

A Powerful LL(<i>k</i>) Covering Transformation.

Gyung-Ok Lee, Kwang-Moo Choe

SIAM J. Comput., 2005

Static Extensivity Analysis for ?-Definable Functions over Lattices.

Hyunjun Eo, Kwangkeun Yi, Kwang-Moo Choe

New Gener. Comput., 2005

2004

An uncaught exception analysis for Java.

Jang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, Kwang-Moo Choe

J. Syst. Softw., 2004

2001

Error repair with validation in LR-based parsing.

Ik-Soon Kim, Kwang-Moo Choe

ACM Trans. Program. Lang. Syst., 2001

Interprocedural exception analysis for Java.

Byeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

1999

An LR Parser with Pre-Determined Reduction Goals.

Gyung-Ok Lee, Kwang-Moo Choe

Inf. Process. Lett., 1999

1997

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

1994

Path for AND-Parallel Execution of Logic Programs.

Su-Hyun Lee, Do-Hyung Kim, Kwang-Moo Choe

Inf. Process. Lett., 1994

Grammar Coverings of a Deterministic Parser with Action Conflicts.

Eun-Jung Lee, Kwang-Moo Choe

Inf. Process. Lett., 1994

An Efficient Computation of Right Context for LR-Based Error Repair.

Min-Soo Jung, Kwang-Moo Choe, Taisook Han

Inf. Process. Lett., 1994

Boundedly LR( <i> k </i> )-conflictable Grammars.

Myung-Joon Lee, Kwang-Moo Choe

Acta Informatica, 1994

Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation.

Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi

Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

1993

Syntactic Error Repair Using Repair Patterns.

In-Sig Yun, Kwang-Moo Choe, Taisook Han

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

On the Reduction of LR(k) Parsers.

Woo-Jun Park, Myung-Joon Lee, Kwang-Moo Choe

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

Static Filtering on Stratified Programs.

Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han

Inf. Process. Lett., 1993

Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation.

Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han

Inf. Process. Lett., 1993

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

Corrigenda: Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model.

Do-Hyung Kim, Kwang-Moo Choe

Inf. Process. Lett., 1992

1991

Corrigenda: SLR(k) Covering for LR(k) Grammars.

Myung-Joon Lee, Kwang-Moo Choe

Inf. Process. Lett., 1991

SLR(k) Covering for LR(k) Grammars.

Myung-Joon Lee, Kwang-Moo Choe

Inf. Process. Lett., 1991

Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model.

Do-Hyung Kim, Kwang-Moo Choe

Inf. Process. Lett., 1991

1987

Remarks on Recent Algorithms for LALR Lookahead Sets.

Joseph C. H. Park, Kwang-Moo Choe

ACM SIGPLAN Notices, 1987

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

Selecting the Backtrack Literal in the AND/OR Model.

Nam Sung Woo, Kwang-Moo Choe

Proceedings of the 1986 Symposium on Logic Programming, 1986

1985

A New Analysis of LALR Formalisms.

Joseph C. H. Park, Kwang-Moo Choe, C. H. Chang

ACM Trans. Program. Lang. Syst., 1985