Researcher Page

Choe, Kwang-Moo (최광무)
교수, (전산학부)
Research Area
Programming Language, Compiler
    Similar researchers

    Keyword Cloud

    Reload 더보기
    NO Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
    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-Moo, 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-Moo, JOURNAL OF SUPERCOMPUTING, v.56, no.1, pp.25 - 55, 2011-04

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

    이철우; 윤정한; 한태숙; 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-Moo, 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에서 근사-제어흐름그래프의 효율적인 생성

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

    LR formalisms as abstract interpretations of grammar semantics

    O, S; Choe, Kwang-Moo, 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-Moo, 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-Moo, NEW GENERATION COMPUTING, v.24, no.1, pp.53 - 78, 2006

    A powerful LL(k) covering transformation

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

    An uncaught exception analysis for Java

    Jo, JW; Chang, BM; Yi, KK; 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-Moo, 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-Moo, INFORMATION PROCESSING LETTERS, v.72, no.5-6, pp.189 - 196, 1999-12

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

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

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

    이경옥; 최광무, 정보과학회논문지(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-Moo; 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