Kwang-Moo Choe - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 37 from 37

2013

Detection of harmful schizophrenic statements in esterelJeong-Han Yun, Chul-Joo Kim, Seonggun Kim, Kwang-Moo Choe, Taisook Han. tecs, 12(3):80, 2013. [doi]

2011

Cycle elimination for invocation graph-based context-sensitive pointer analysisWoongsik Choi, Kwang-Moo Choe. INFSOF, 53(8):818-833, 2011. [doi]

String Analysis as an Abstract InterpretationSe-Won Kim, Kwang-Moo Choe. vmcai 2011: 294-308 [doi]

Region-based parallelization of irregular reductions on explicitly managed memory hierarchiesSeonggun Kim, Hwansoo Han, Kwang-Moo Choe. tjs, 56(1):25-55, 2011. [doi]

2010

Over-Approximated Control Flow Graph Construction on Pure EsterelChul-Joo Kim, Jeong-Han Yun, Seonggun Kim, Kwang-Moo Choe, Taisook Han. ieicet, 93-D(5):985-993, 2010. [doi]

Filtering false alarms of buffer overflow analysis using SMT solversYouil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Choe. INFSOF, 52(2):210-219, 2010. [doi]

Composition-based Cache simulation for structure reorganizationKeoncheol Shin, Hwansoo Han, Kwang-Moo Choe. jsa, 56(2-3):136-149, 2010. [doi]

2009

Points-to analysis for JavaScriptDongseok Jang, Kwang-Moo Choe. SAC 2009: 1930-1937 [doi]

Refining schizophrenia via graph reachability in EsterelJeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe. memocode 2009: 18-27 [doi]

2006

LR Formalisms as Abstract Interpretations of Grammar SemanticsSeunghwan O, Kwang-Moo Choe. ieicet, 89-D(12):2924-2932, 2006. [doi]

2005

Static Extensivity Analysis for ?-Definable Functions over LatticesHyunjun Eo, Kwangkeun Yi, Kwang-Moo Choe. ngc, 24(1):53-78, 2005. [doi]

A Powerful LL(::::k::::) Covering TransformationGyung-Ok Lee, Kwang-Moo Choe. SICOMP, 35(2):359-377, 2005. [doi]

2004

An uncaught exception analysis for JavaJang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, Kwang-Moo Choe. jss, 72(1):59-69, 2004. [doi]

2001

Interprocedural exception analysis for JavaByeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe. SAC 2001: 620-625 [doi]

Error repair with validation in LR-based parsingIk-Soon Kim, Kwang-Moo Choe. TOPLAS, 23(4):451-471, 2001. [doi]

1999

An LR Parser with Pre-Determined Reduction GoalsGyung-Ok Lee, Kwang-Moo Choe. ipl, 72(5-6):189-196, 1999. [doi]

1997

An efficient bottom-up tree pattern matching that performs dynamic programming for code generationKyung-Woo Kang, Kwang-Moo Choe, Min-Soo Jung, Heung-Chul Shin. jpl, 5(1):189-199, 1997. [doi]

1994

1993

Efficient Bottom-Up Execution of Logic Programs Using Abstract InterpretationByeong-Mo Chang, Kwang-Moo Choe, Taisook Han. ipl, 47(3):149-157, 1993.

Static Filtering on Stratified ProgramsByeong-Mo Chang, Kwang-Moo Choe, Taisook Han. ipl, 47(5):237-244, 1993.

A Description of Dynamic Behavior for Compilers Based on Object Oriented ModelingDongGill Lee, Kwang-Moo Choe, Taisook Han. ipl, 48(4):163-170, 1993.

On the Reduction of LR(k) ParsersWoo-Jun Park, Myung-Joon Lee, Kwang-Moo Choe. ipl, 47(5):245-251, 1993.

An Improved LALR(k) Parser Generation for Regular Right Part GrammarsHeung-Chul Shin, Kwang-Moo Choe. ipl, 47(3):123-129, 1993.

Syntactic Error Repair Using Repair PatternsIn-Sig Yun, Kwang-Moo Choe, Taisook Han. ipl, 47(4):189-196, 1993.

1992

Refined Mark(s)-Set-Based Backtrack Literal Selection for and Parallelism in Logic ProgramsDo-Hyung Kim, Kwang-Moo Choe, Taisook Han. ppl, 2:71-79, 1992.

Corrigenda: Yet Another Efficient Backward Execution Algorithm in the AND/OR Process ModelDo-Hyung Kim, Kwang-Moo Choe. ipl, 43(3):165, 1992.

1991

Yet Another Efficient Backward Execution Algorithm in the AND/OR Process ModelDo-Hyung Kim, Kwang-Moo Choe. ipl, 40(4):201-211, 1991.

SLR(k) Covering for LR(k) GrammarsMyung-Joon Lee, Kwang-Moo Choe. ipl, 37(6):337-347, 1991.

Corrigenda: SLR(k) Covering for LR(k) GrammarsMyung-Joon Lee, Kwang-Moo Choe. ipl, 38(5):281, 1991.

1987

Remarks on Recent Algorithms for LALR Lookahead SetsJoseph C. H. Park, Kwang-Moo Choe. SIGPLAN, 22(4):30-32, 1987.

1986

Efficient Computation of the Locally Least-Cost Insertion String for the LR Error RepairKwang-Moo Choe, C. H. Chang. ipl, 23(6):311-316, 1986.

Selecting the Backtrack Literal in the AND/OR ModelNam Sung Woo, Kwang-Moo Choe. SLP 1986: 200-210

1985

A New Analysis of LALR FormalismsJoseph C. H. Park, Kwang-Moo Choe, C. H. Chang. TOPLAS, 7(1):159-175, 1985. [doi]

Sign in or sign up to see more results.

runs on WebDSL