Researcher Page


Choe, Kwang-Moo (최광무) C-1883-2011

School of Computing(전산학부)
Research Area
Programming Language, Compiler

Keyword Cloud

Reload 더보기

Detection of Harmful Schizophrenic Statements in Esterel

Yun, Jeong-Han; Kim, Chul-Joo; Kim, Seong-Gun; et al, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.12, no.3, 2013-03


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

Choi, Woongsik; Choe, Kwang-Mooresearcher, INFORMATION AND SOFTWARE TECHNOLOGY, v.53, no.8, pp.818 - 833, 2011-08


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

Kim, Seong-Gun; Han, Hwan-Soo; Choe, Kwang-Mooresearcher, JOURNAL OF SUPERCOMPUTING, v.56, no.1, pp.25 - 55, 2011-04


Esterel 문법구조 바탕의 오토마타 생성

이철우; 윤정한; 한태숙researcher; et al, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.16, no.11, pp.1136 - 1140, 2010-11


Over-Approximated Control Flow Graph Construction on Pure Esterel

Kim, Chul-Joo; Yun, Jeong-Han; Kim, Seonggun; et al, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E93D, pp.985 - 993, 2010-05


제어 및 데이터 신호에 의한 Esterel에서의 새로운 회로 중복사용 문제

윤정한; 김철주; 김성건; et al, 정보과학회논문지 : 소프트웨어 및 응용, v.37, no.4, pp.311 - 316, 2010-04


Composition-based Cache simulation for structure reorganization

Shin, Keon-Cheol; Han, Hwan-Soo; Choe, Kwang-Mooresearcher, JOURNAL OF SYSTEMS ARCHITECTURE, v.56, no.2-3, pp.136 - 149, 2010-02


Filtering false alarms of buffer overflow analysis using SMT solvers

Kim, Youil; Lee, Jooyong; Han, Hwansoo; et al, INFORMATION AND SOFTWARE TECHNOLOGY, v.52, no.2, pp.210 - 219, 2010-02


Esterel에서 근사-제어흐름그래프의 효율적인 생성

김철주; 서선애; 한태숙researcher; et al, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.15, no.11, pp.876 - 880, 2009-11


LR formalisms as abstract interpretations of grammar semantics

O, S; Choe, Kwang-Mooresearcher, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E89D, no.12, pp.2924 - 2932, 2006-12


Update and abstraction in model checking of knowledge and branching time

Shilov, NV; Garanina, NO; Choe, Kwang-Mooresearcher, FUNDAMENTA INFORMATICAE, v.72, no.1-3, pp.347 - 361, 2006-07


Static extensivity analysis for lambda-definable functions over lattices

Eo, Hyun-Jun; Yi, Kwang-Keun; Choe, Kwang-Mooresearcher, NEW GENERATION COMPUTING, v.24, no.1, pp.53 - 78, 2006


A powerful LL(k) covering transformation

Lee, GO; Choe, Kwang-Mooresearcher, SIAM JOURNAL ON COMPUTING, v.35, no.2, pp.359 - 377, 2005


An uncaught exception analysis for Java

Jo, JW; Chang, BM; Yi, KKresearcher; et al, JOURNAL OF SYSTEMS AND SOFTWARE, v.72, no.1, pp.59 - 69, 2004-06


Error repair with validation in LR-based parsing

Kim, IS; Choe, Kwang-Mooresearcher, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.23, no.4, pp.451 - 471, 2001-07


An LR parser with pre-determined reduction goals

Lee, GO; Choe, Kwang-Mooresearcher, INFORMATION PROCESSING LETTERS, v.72, no.5-6, pp.189 - 196, 1999-12


LL(k) 커버링 문법의 확장

이경옥; 최광무researcher, 정보과학회논문지(B), v.26, no.8, pp.1028 - 1038, 1999-08


미리 결정된 리덕션 골들을 가진 LR 파서

이경옥; 최광무researcher, 정보과학회논문지(B), v.26, no.7, pp.931 - 937, 1999-07


An analysis for fast construction of states in the bottom-up tree pattern matching scheme

Kang, KW; Choe, Kwang-Mooresearcher; Jung, MS, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E82D, no.5, pp.973 - 976, 1999-05


쉘로우 백트래킹을 사용한 Prolog 컴파일러의 최적화

오승환; 창병모; 신동하; et al, 정보과학회논문지(B), v.25, no.1, pp.160 - 171, 1998-01

Load more items

rss_1.0 rss_2.0 atom_1.0