Researcher Page

사진

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

Department
School of Computing(전산학부)
Website
http://plus.kaist.ac.kr/~choe/HomePage
Research Area
Programming Language, Compiler

Keyword Cloud

Reload 더보기
1

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

2

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

3

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

4

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

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

5

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

6

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

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

7

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

8

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

9

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

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

10

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

11

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

12

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

13

A powerful LL(k) covering transformation

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

14

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

15

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

16

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

17

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

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

18

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

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

19

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

20

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

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

Load more items
Loading...

rss_1.0 rss_2.0 atom_1.0