Kwang-Moo Choe

37 papers B 1C 1Misc 3Journal 31Unranked 1
YearRankTypeTitle / Venue / Authors
2013 J jnl
Detection of harmful schizophrenic statements in esterel.
ACM Trans. Embed. Comput. Syst.
Jeong-Han Yun, Chul-Joo Kim, Seonggun Kim, Kwang-Moo Choe, Taisook Han
2011 J jnl
Cycle elimination for invocation graph-based context-sensitive pointer analysis.
Inf. Softw. Technol.
Woongsik Choi, Kwang-Moo Choe
2011 J jnl
Region-based parallelization of irregular reductions on explicitly managed memory hierarchies.
J. Supercomput.
Seonggun Kim, Hwansoo Han, Kwang-Moo Choe
2011 B conf
String Analysis as an Abstract Interpretation.
VMCAI
Se-Won Kim, Kwang-Moo Choe
2010 J jnl
Composition-based Cache simulation for structure reorganization.
J. Syst. Archit.
Keoncheol Shin, Hwansoo Han, Kwang-Moo Choe
2010 J jnl
Filtering false alarms of buffer overflow analysis using SMT solvers.
Inf. Softw. Technol.
Youil Kim, JooYong Lee, Hwansoo Han, Kwang-Moo Choe
2010 J jnl
Over-Approximated Control Flow Graph Construction on Pure Esterel.
IEICE Trans. Inf. Syst.
Chul-Joo Kim, Jeong-Han Yun, Seonggun Kim, Kwang-Moo Choe, Taisook Han
2009 Misc conf
Points-to analysis for JavaScript.
SAC
Dongseok Jang, Kwang-Moo Choe
2009 C conf
Refining schizophrenia via graph reachability in Esterel.
MEMOCODE
Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe
2006 J jnl
LR Formalisms as Abstract Interpretations of Grammar Semantics.
IEICE Trans. Inf. Syst.
Seunghwan O, Kwang-Moo Choe
2005 J jnl
A Powerful LL(
SIAM J. Comput.
Gyung-Ok Lee, Kwang-Moo Choe
2005 J jnl
Static Extensivity Analysis for ?-Definable Functions over Lattices.
New Gener. Comput.
Hyunjun Eo, Kwangkeun Yi, Kwang-Moo Choe
2004 J jnl
An uncaught exception analysis for Java.
J. Syst. Softw.
Jang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, Kwang-Moo Choe
2001 J jnl
Error repair with validation in LR-based parsing.
ACM Trans. Program. Lang. Syst.
Ik-Soon Kim, Kwang-Moo Choe
2001 Misc conf
Interprocedural exception analysis for Java.
SAC
Byeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe
1999 J jnl
An LR Parser with Pre-Determined Reduction Goals.
Inf. Process. Lett.
Gyung-Ok Lee, Kwang-Moo Choe
1997 J jnl
An efficient bottom-up tree pattern matching that performs dynamic programming for code generation.
J. Program. Lang.
Kyung-Woo Kang, Kwang-Moo Choe, Min-Soo Jung, Heung-Chul Shin
1994 Misc conf
Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation.
SAC
Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi
1994 J jnl
An Efficient Computation of Right Context for LR-Based Error Repair.
Inf. Process. Lett.
Min-Soo Jung, Kwang-Moo Choe, Taisook Han
1994 J jnl
Boundedly LR(
Acta Informatica
Myung-Joon Lee, Kwang-Moo Choe
1994 J jnl
Grammar Coverings of a Deterministic Parser with Action Conflicts.
Inf. Process. Lett.
Eun-Jung Lee, Kwang-Moo Choe
1994 J jnl
Path for AND-Parallel Execution of Logic Programs.
Inf. Process. Lett.
Su-Hyun Lee, Do-Hyung Kim, Kwang-Moo Choe
1993 J jnl
A Description of Dynamic Behavior for Compilers Based on Object Oriented Modeling.
Inf. Process. Lett.
DongGill Lee, Kwang-Moo Choe, Taisook Han
1993 J jnl
An Improved LALR(k) Parser Generation for Regular Right Part Grammars.
Inf. Process. Lett.
Heung-Chul Shin, Kwang-Moo Choe
1993 J jnl
Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation.
Inf. Process. Lett.
Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han
1993 J jnl
On the Reduction of LR(k) Parsers.
Inf. Process. Lett.
Woo-Jun Park, Myung-Joon Lee, Kwang-Moo Choe
1993 J jnl
Static Filtering on Stratified Programs.
Inf. Process. Lett.
Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han
1993 J jnl
Syntactic Error Repair Using Repair Patterns.
Inf. Process. Lett.
In-Sig Yun, Kwang-Moo Choe, Taisook Han
1992 J jnl
Corrigenda: Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model.
Inf. Process. Lett.
Do-Hyung Kim, Kwang-Moo Choe
1992 J jnl
Refined Mark(s)-Set-Based Backtrack Literal Selection for and Parallelism in Logic Programs.
Parallel Process. Lett.
Do-Hyung Kim, Kwang-Moo Choe, Taisook Han
1991 J jnl
Corrigenda: SLR(k) Covering for LR(k) Grammars.
Inf. Process. Lett.
Myung-Joon Lee, Kwang-Moo Choe
1991 J jnl
SLR(k) Covering for LR(k) Grammars.
Inf. Process. Lett.
Myung-Joon Lee, Kwang-Moo Choe
1991 J jnl
Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model.
Inf. Process. Lett.
Do-Hyung Kim, Kwang-Moo Choe
1987 J jnl
Remarks on Recent Algorithms for LALR Lookahead Sets.
ACM SIGPLAN Notices
Joseph C. H. Park, Kwang-Moo Choe
1986 J jnl
Efficient Computation of the Locally Least-Cost Insertion String for the LR Error Repair.
Inf. Process. Lett.
Kwang-Moo Choe, C. H. Chang
1986 — conf
Selecting the Backtrack Literal in the AND/OR Model.
SLP
Nam Sung Woo, Kwang-Moo Choe
1985 J jnl
A New Analysis of LALR Formalisms.
ACM Trans. Program. Lang. Syst.
Joseph C. H. Park, Kwang-Moo Choe, C. H. Chang