K. Choe

发表

Boundelly LR(k)-conflictable grammars

Myung-Joon Lee, Kwang-Moo Choe, Myung-Joon Lee, 1994, Acta Informatica.

Interprocedural exception analysis for Java

Kwangkeun Yi, Kwang-Moo Choe, Byeong-Mo Chang, 2001, SAC.

Static extensivity analysis for λ-definable functions over lattices

Kwangkeun Yi, Kwang-Moo Choe, Hyunjun Eo, 2009, New Generation Computing.

Bottom up parsing as abstract interpretation of operational semantics

K. Choe, O. Seunghwan, 2004 .

2 nd Phase : False Alarm Filter 1 st Phase : Buffer Overflow Analyzer ( Raccoon ) Points-toAnalysis ValueAnalysis BufferAnalysis Buffer Overflow AlarmsSymbolic Execution SMT Translation Program Snippet Extraction C CodeReduced Alarms

Hwansoo Han, K. Choe, Jooyong Lee, 2009 .

SUIF program analysis using System Z2

Kwangkeun Yi, Kwang-Moo Choe, Hyunjun Eo, 1997 .

Selecting the Backtrack Literal in the AND/OR Model

Kwang-Moo Choe, Nam Sung Woo, K. Choe, 1986, SLP.

An efficient bottom-up tree pattern matching that performs dynamic programming for code generation

Min-Soo Jung, Kwang-Moo Choe, Kyung-Woo Kang, 1997, J. Program. Lang..

Yet another efficient backward execution algorithm in the AND/OR process model: Information processing letters 40 (4) (25 November 1991) 201-211

Kwang-Moo Choe, Do-Hyung Kim, K. Choe, 1992 .

MULTIPLE BACKTRACKING IN THE AND PROCESS OF LOGIC PROGRAMMING.

Kwang-Moo Choe, Nam Sung Woo, Myung Joon Lee, 1997 .

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

Myung-Joon Lee, Kwang-Moo Choe, Myung-Joon Lee, 1991, Inf. Process. Lett..

Detection of harmful schizophrenic statements in esterel

Taisook Han, Kwang-Moo Choe, Jeong-Han Yun, 2013, TECS.

On the Reduction of LR(k) Parsers

Myung-Joon Lee, Woo-Jun Park, Kwang-Moo Choe, 1993, Inf. Process. Lett..

SLR(k) Covering for LR(k) Grammars

Myung-Joon Lee, Kwang-Moo Choe, Myung-Joon Lee, 1991, Inf. Process. Lett..

A new analysis of LALR formalisms

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

Exact type parameterization and ThisType support

Sukyoung Ryu, Hyunik Na, Kwangmoo Choe, 2012, TLDI '12.

Filtering false alarms of buffer overflow analysis using SMT solvers

Kwang-Moo Choe, Jooyong Yi, Hwansoo Han, 2010, Inf. Softw. Technol..

String Analysis as an Abstract Interpretation

Se-Won Kim, Kwang-Moo Choe, K. Choe, 2011, VMCAI.

Error repair with validation in LR-based parsing

Kwang-Moo Choe, Ik-Soon Kim, K. Choe, 2001, TOPL.

Techniques for database recovery in distributed environments

Kwang-Moo Choe, Hyuk Son, K. Choe, 1988 .

Composition-based Cache simulation for structure reorganization

Kwang-Moo Choe, Hwansoo Han, Keoncheol Shin, 2010, J. Syst. Archit..

Static Filtering on Stratified Programs

Taisook Han, Kwang-Moo Choe, Byeong-Mo Chang, 1993, Inf. Process. Lett..

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

Roberto Giacobazzi, Kwang-Moo Choe, Byeong-Mo Chang, 1994, SAC '94.

Improving Execution Models of Logic Programs by Two-phase Abstract Interpretation

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

Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation

Taisook Han, Kwang-Moo Choe, Byeong-Mo Chang, 1993, Inf. Process. Lett..

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

Kwang-Moo Choe, Seonggun Kim, Hwansoo Han, 2011, The Journal of Supercomputing.