Kwang-Moo Choe

Publication Activity (10 Years)

Years Active: 1985-2013
Publications (10 Years): 0

Top Topics

Detection Accuracy

Vehicle Detection

Natural Language

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

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