Researcher Page

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

    Keyword Cloud

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

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

    이철우; 윤정한; 한태숙; 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
    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

    8
    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

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

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

    10
    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

    11
    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

    12
    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

    13
    A powerful LL(k) covering transformation

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

    14
    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

    15
    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

    16
    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

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

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

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

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