Kwang-Moo Choe

Choe Publication Lists(old version)

Journal Publications (International)
  1. Jeong-Han Yun, Chul-Joo Kim, Seonggun Kim, Kwang-Moo Choe, and Taisook Han "Detection of Harmful Schizophrenic Statements in Esterel", ACM Transactions on Embedded Computing Systems, Volume 12 Issue 3, March 2013
  2. Woongsik Choi and Kwang-Moo Choe, "Cycle elimination for invocation graph-based context-sensitive pointer analysis", Information and Software Technology, Volume 53, Issue 8, pp 818-933, 2011 (pdf)
  3. Keoncheol Shin, Hwansoo Han and Kwang-Moo Choe, "Composition-Based Cache Simulation for Structure Reorganization", Journal of system architecture, Volume 53, Issue 2-3, pp 136-149, 2010 (pdf)
  4. Chul-Joo Kim, Jeong-Han Yun, Seonggun Kim, Kwang-Moo Choe andTaisook Han, "Over-Approximated Control Flow Graph Construction on Pure Esterel", IEICE Transactions on Information and Systems, Volume E93.D, Issue 5, pp. 985-993, 2010 (pdf)
  5. Youil Kim, Jooyong Lee, Hwansoo Han, and Kwang-Moo Choe, "Filtering false alarms of buffer overflow analysis using SMT solvers", Information and Software Technology, Volume 52, Issue 2, Pages 210-219, 2010 (pdf)
  6. N. V. Shilov, N. O. Garanina, K.-M. Choe, "Update and Abstraction in Model Checking of Knowledge and Branching Time", Fundamenta Informaticae, Volume 72, Number 1-3, Pages 347 - 361, 2006 (pdf)
  7. Hyunjun Eo, Kwangkeun Yi, and Kwang-Moo Choe, "Static Extensivity Analysis for lambda-Definable Functions over Lattices", New Generation Computing Vol.24, No.1, pp.53-78, 2006 (pdf)
  8. Gyung-Ok Lee and Kwang-Moo Choe, "A Powerfull LL(K)Covering Transformation", SIAM Journal on Computing, Vol. 24, No.1, pp.53-78, 2006 (pdf)
  9. Jang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, and Kwang-Moo Choe, "An Uncaught Analysis for Java", Journal of Systems and Software, 2003 (pdf)
  10. Ik-Soon Kim and Kwang-Moo Choe, "Error Repair with Validation in LR-based Parsing", ACM Transactions on Programming Languages and Systems - TOPLAS, Vol. 23, No. 4, P. 451 - 471, 2001, 7 (pdf)
  11. Gyung-Ok Lee and Kwang-Moo Choe, "An LR parser with pre-determined reduction goals", Information Processing Letters, Vol. 72, P. 189 - 196, 1999, 12 (pdf)
  12. Kyuong-Woo Kang, Kwang-Moo Choe, and Min-Soo Jung, "An Analysis for Fast Construction of States in the Bottom-Up Tree Pattern Matching Scheme", IEICE Transactions on Information and Systems, Vol. E82-D, No. 5, P. 973 - 976, 1999, 5 (pdf)
  13. Kyung-Woo Kang, Kwang-Moo Choe, Min-Soo Jung, and Heung-Chul Shin, "An Efficient Bottom-up Tree Pattern Matching that Performs Dynamic Programming for Code Generation", Journal of Programming Languages, Vol. 5, P. 189 - 199, 1997, 5
  14. Su-Hyun Lee, Do-Hyung Kim, and Kwang-Moo Choe, "Path for AND-parallel Execution of Logic Programs", Information Processing Letters, Vol. 52, No. 4, P. 191 - 200, 1994, 11 (pdf)
  15. Eun Jung Lee and Kwang-Moo Choe, "Grammar Coverings of a Deterministic Parser with Action Conflicts", Information Processing Letters, Vol. 51, No. 6, P. 85 - 92, 1994, 7 (pdf)
  16. Myung-Joon Lee and Kwang-Moo Choe, "Boundedly LR(k)-Conflictable Grammar", Acta Informatica, Vol. 31, No. 3, P. 261 - 283, 1994, 3 (pdf)
  17. Min-Soo Jung, Kwang-Moo Choe, and Taiook Han, "An Efficient Computation of Right Context for LR-based Error Repair", Information Processing Letters, Vol. 49, No. 2, P. 63 - 71, 1994, 1 (pdf)
  18. Woo-Jun Park, Myung-Joon Lee, and Kwang-Moo Choe, "On The Reduction of LR(k) Parsers", Information Processing Letters, Vol. 47, No. 5, P. 245 - 251, 1993, 10 (pdf)
  19. Byeong-Mo Chang, Kwang-Moo Choe, and Taisook Han, "Static Filtering for Stratified Programs", Information Processing Letters, Vol. 47, No. 5, P. 237 - 244, 1993, 10 (pdf)
  20. Dong Gill Lee, Kwang-Moo Choe, and Taisook Hon, "A Description of Dynamic Behavior for Compilers based on Object-Oriented Modeling", Information Processing Letters, Vol. 48, No. 4, P. 163 - 170, 1993, 10 (pdf)
  21. Byeong-Mo Chang, Kwang-Moo Choe, and Taisook Han, "Efficient Bottom-Up Execution of Logic Programs using Abstact Interpretation", Information Processing Letters, Vol. 47, No. 3, P. 149 - 157, 1993, 9 (pdf)
  22. Heung-Chul Shin and Kwang-Moo Choe, "An Improved LALR(k) Parser Generation for Regular Right Part Grammars", Information Processing Letters, Vol. 47, No. 3, P. 123 - 129, 1993, 9 (pdf)
  23. In-Sig Yoon, Kwang-Moo Choe, and Taisook Han, "Syntactic Error Repair using Repair Patterns", Information Processing Letters, Vol. 47, No. 4, P. 189 - 196, 1993, 9 (pdf)
  24. Do-Hyung Kim, Kwang-Moo Choe, and Taisook Han, "Refined Mark(s)-Set-Based Backtrack Literal Selection for AND Paraallelism in Logic Programs", Parallel Processing Letters, Vol. 2, No. 1, P. 71 - 79, 1992, 3
  25. Do-Hyung Kim and Kwang-Moo Choe, "Yet Another Efficient Backward Execution Algorithm in AND/OR Process Model", Information Processing Letters, Vol. 40, No. 4, P. 201 - 211, 1991, 11 (pdf)
  26. Myung-Joon Lee and Kwang-Moo Choe, "SLR(k) Covering for LR(k) Grammars", Information Processing Letters, Vol. 37, No. 6, P. 337 - 347, 1991, 3 (pdf)
  27. Sang Hyuk Son and Kwang-Moo Choe, "Techniques for Database Recovery in Distributed Environments", Information and Software Technology, Vol. 30, No. 5, P. 285 - 294, 1988, 6
  28. Kwang-Moo Choe and Chun Hyun Chang, "Efficient Computation of the Locally Least-Cost Insertion String for the LR Error Repair", Information Processing Letters, Vol. 23, No. 6, P. 311 - 316, 1986, 12 (pdf)
  29. Joseph C.H.Park, Kwang-Moo Choe, and Chun Hyun Chang, "A New Analysis of LALR Formalisms", ACM Transactions on Programming Languages and Systems - TOPLAS, Vol. 7, No. 1, P. 159 - 175, 1985, 1 (pdf)

Journal Publications (domestic)
  1. Jeong-Han Yun, Chul-Joo Kim, Seonggun Kim, Kwang-Moo Choe and Taisook Han, "제어 및 데이터 신호에 의한 Esterel에서의 새로운 회로 중복사용 문제", Journal of KISS (C), Vol. 37, No. 4, P. 311 - 316, 2010, 04 (pdf)
  2. Chul-Joo Kim, Jeong-Han Yun, Sunae Seo, Kwang-Moo Choe and Taisook Han, "Esterel에서 근사-제어흐름그래프의 효율적인 생성", Journal of KISS (C), Vol. 15, No. 11, P. 801 - 880, 2009, 11 (pdf)
  3. K.O. Lee, Kwang-Moo Choe, "Extending LL(k) Covering Grammars" (in Korean, "LL(k) 커버링 문법의 확장"), Journal of KISS (B), Vol. 26, No. 8, P. 1028 - 1038, 1999, 8 (pdf)
  4. K.O. Lee, Kwang-Moo Choe, "LR Parsers with Pre-determined Reduction Goals" (in Korean "미리 결정된 리덕션 골을 가지는 LR 파서"), Journal of KISS (B), Vol. 26, No. 7, P. 931 - 937, 1999, 7 (pdf)
  5. S.H. Oh, B.M. Chang, D.H. Shin, Kwang-Moo Choe, "Optimization of Prolog Compilers using Shallow Backtracking" (in Korean, "쉘로우 백트랙킹을 사용한 프로로그 컴파일러의 최적화"), Journal of KISS (B), Vol. 25, No. 1, P. 160 - 171, 1998, 1 (pdf)
  6. M.J. Kim, B.M. Chang, Kwang-Moo Choe, "Improving Bottom-up Execution of Logic Programs using Abstract Filter: Experiments" (in Korean, "추상필터를 이용한 논리 프로그래밍의 상향식 수행 개선: 실험적 고찰"), Journal of KISS (B), Vol. 24, No. 10, P. 1112 - 1121, 1997, 10 (pdf)
  7. D.H. Kim, S.H. Lee, Kwang-Moo Choe, "Analyzing Completeness and Efficiency of Parallel Execution Model of Logic Programs" (in Korean "논리프로그램의 병렬 수행 모형에서 완결성과 효율성의 분석"), Journal of KISS (B), Vol. 23, No. 12, P. 1320 - 1335, 1996, 12 (pdf)
  8. W.J. Park, M.J. Lee, Kwang-Moo Choe, "Locally Best Reduction of LR(k) Parsers" (in Korean, "LR(k) 구문분석기의 국부적 최적 축소"), Journal of KISS (B), Vol. 23, No. 7, P. 743 - 751, 1996, 7 (pdf)
  9. D.H. Kim, Kwang-Moo Choe, "Reference Set for Proving Correctness of Re-initialization Algorithm in Parallel Execution of Logic Program: An Intuitive Approach" (in Korean, "논리 프로그램의 병렬 수행에서 재초기화 알고리즘의 정확성 증명을 위한 참조집합: 직관적 접근"), Journal of KISS: Software and Application, Vol. 23, No. 3, P. 233 - 244, 1996, 3 (pdf)
  10. Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han, Roberto Giacobacci, "Improving Execution Models of Logic Execution Models of Logic Programs by Two-Phase Abstract Interpretation", ETRI Journal, Vol. 16, No. 4, P. 27 - 47, 1995, 1 (pdf)
  11. B.M. Chang, Kwang-Moo Choe, T.S. Han, "Improving AND/OR Parallel Execution Model for Logic Programs with Bottom-up Abstract Interpretation" (in Korean, "상향식 추상해석을 이용한 논리 프로그램의 AND/OR 병렬 수행 모델 개선"), Journal of KISS, Vol. 21, No. 5, P. 702 - 800, 1994, 5 (pdf)
  12. B.M. Chang, Kwang-Moo Choe, T.S. Han, "Fixed Point Computation of Static Filters for Optimizing Recursive Logic Queries", Journal of KISS, Vol. 20, No. 9, P. 1391 - 1402, 1993, 9 (pdf)
  13. M.S. Jung, P.O. Im, J.W. Ban, Kwang-Moo Choe, "Efficient Construction of Error Correction Tables in the Locally Least-Cost Error Correction"(in Korean, "국부적 최소비용 오류 보정에서 오류보정 테이블의 효율적 구성"), Journal of KISS, Vol. 20, No. 2, P. 191 - 200, 1993, 2 (pdf)
  14. J.S. Choi, W.J. Park, Kwang-Moo Choe, "Efficient Generation of ELALR(k) Parsers for Extended Context-Free Grammars" (in Korean, "확장된 문맥 자유 문법을 위한 효율적인 ELALR(k) 파서 생성"), Journal of KISS, Vol. 17, No. 5, P. 592 - 604, 1990, 9 (pdf)
  15. H.H. Lee, M.S. Jung, Kwnag-Moo Choe, Efficient Computation of Prefix Strings in the Locally Least-Cost Error Correction" (in Korean, "국부적 최소비용 오류 보정에서 전위문자열의 효율적인 계산"), Journal of KISS, Vol. 17, No. 1, P. 52 - 61, 1990, 1 (pdf)
  16. K.S. Park, Kwang-Moo Choe, W.J. Park, "Tracing Conflicts in LALR(1) Analysis" (in Korean, "LALR(1) 분석에서의 Conflict 추적"), Journal of KISS, Vol. 16, No. 4, P. 331 - 341, 1989, 7
  17. D.G. Lee, Kwang-Moo Choe, and J.G. Nam, "KAIST CHILL Compiler", Journal of KISS, Vol. 12, No. 2, P. 121 - 130, 1985, 5 (pdf)
  18. Joseph C.H.Park, Kwang-Moo Choe, et al, "X77 - Disign Construction of 16-bit Microcomputer System Usign Bit Slice Microprogrammable Microprocessors", Journal of KISS, Vol. 4, No. 2, P. 29 - 33, 1977, 12 (pdf)

Conference Publications (International)
  1. Se-Won Kim and Kwang-Moo Choe, "String Analysis as an Abstract Interpretation", 12th International Conference on Verification, Model Checking, and Abstract Interpretation, Texas, USA, Lecture Notes in Computer Science, 2011, Volume 6538/2011, pp 294-308, (pdf)
  2. Dongseok Jang and Kwang-Moo Choe, "Points-to Analysis for JavaScript", The 24th Annual ACM Symposium on Applied Computing, Hawaii, USA, pp. 1930-1937, 2009 (pdf)
  3. Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han and Kwang-Moo Choe, "Refining schizophrenia via graph reachability in Esterel", The 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design, Massachusetts, USA, pp.18-27, 2009
  4. Choe K.-M., Eo H., O S., Shilov N.V., Yi K., "Proofs about folklore: why model checking = reachability?", The 9th Asian Logic Conference, Novosibirsk, Russia 16-19 August, 2005
  5. Hyunjun Eo, Hyun-Goo Kang, Kwang-Moo Choe and Taisook Han, "Verifying Safety of File-like Resources by Resource Allocation Matrix", The 4th International Conference on Asian Language Processing and Information Technology, Bangkok, Thailand, 2005
  6. Seong-Hoon Kim, Kwangkeun Yi, Hyun-jun Eo, and Kwang-Moo Choe, "SUIF program analysis using System Z2", The SUIF Compiler Workshop, Serial. 2, San Jose, USA, P. 185 - 190, 1997, 11 (pdf)
  7. B.M.Chang, K.M.Choe, Roberto Giacobazzi, "Abstract Filters: Improving Bottom-up Execution of Logic Programs by Two-phase Abstract Interpretation", Proceedings of the 1994 ACM Symp. on Applied Computing, Pheonix, USA, P. 388 - 393, 1994, 3 (pdf)
  8. Kwang-Moo Choe, Myung-Joon Lee, Nam Sung Woo, "Multiple Backtracking in the AND Process of Logic Programming", Proceedings of TENCON'87 - IEEE Region 10 Conference, P. 826 - 829, 1987, 8
  9. Nam Sung Woo, Kwang-Moo Choe, "Selecting the Backtrack Literal in the AND/OR Process Model", SLP '86 Third IEEE Symposium on Logic Programming, Serial. 3, Salt Lake City, USA, P. 200 - 210, 1986, 9
  10. Kwang-Moo Choe, "A New analysis of LALR Formalisms", Proceedings of the Science and technology Symposium '84, Seoul, Korea, 1984, 7

Conference Publications (domestic)
  1. Chul-Joo Kim, Jeong-Han Yun, Sunae Seo, Kwang-Moo Choe and Taisook Han, "Esterel에서 근사-제어흐름그래프의 효율적인 생성", Korea Computer Congress 2009, Jeju, Korea, P. 379 - 380, 2009, 07
  2. K.I. Lee, Kwang-Moo Choe, "Predicting Lookahead Symbols in LR Parsing" (in Korean, "LR 파싱에서 축약 심볼에 대한 예상"), Proceedings of the 1998 Spring KISS Symposium, Serial. 25, Daejon, Korea, P. 68 - 70, 1998, spring
  3. K.W. Kang, Kwang-Moo Choe, M.S. Jung, H.C. Shin, "Research on Efficient Code Generation on Iburg" (in Korean, "Iburg 상에서 효율적인 코드생성기의 생성에 관한 연구"), Proceedings of the 1997 Autumn KISS Symposium, Serial. 24, Seoul, Korea, P. 335 - 338, 1997, 10
  4. K.I. Lee, H.C. Shin, Kwang-Moo Choe, "LALR Chracterization of Extended Context Free Grammars of Finite State Machine RHS" (in Korean, "우변이 유한 상태 자동 기계인 확장된 문맥 자유 문법에 대한 LALR 특징화"), Proceedings of the 1996 Autumn KISS Symposium, Serial. 23, Yongin, Korea, P. 803 - 806, 1996, 10
  5. C. Kim, M.S. Jung, S.H. Lee, Kwang-Moo Choe, "Efficient Calculation of Right Context for LR-based Parsers" (in Korean, "LR에 근간을 둔 구문분석기에서 우문맥의 효율적 계산"), Proceedings of the 1995 Spring KISS Symposium, Serial. 22, Gwangjoo, Korea, P. 301 - 304, 1995, 4
  6. Kwang-Moo Choe, et al, "Design of Parallelizing Translator" (in Korean, "병렬화 트렌스레이터의 설계"), Proceedings of the 1995 Symposium of SIGPL, Seoul, Korea, P. 16 - 23, 1995, 10
  7. K.I. Lee, Kwang-Moo Choe, "Condition on ELALR(k) Grammars" (in Korean, "ELALR(k) 문법에 대한 조건들"), Proceedings of the 1995 Symposium of SIGPL, Seoul, Korea, P. 9 - 15, 1995, 10
  8. E.J. Lee, Kwang-Moo Choe, "Generation of Equivalent Deterministic Grammars using Follow Partitioning" (in Korean, "Follow분할을 이용한 변환파서의 결정적 동치 문법 생성"), Proceedings of the 1994 Spring KISS Symposium, Serial. 21, KISS, Chungjoo, Korea, P. 363 - 366, 1994, 10
  9. S.H. Lee, Kwang-Moo Choe, "Algebraic Model of Intelligent Backtracking" (in Korean, "Intelligent Backtracking 의 재수학적 모델"), Proceedings of the 1993 Spring KISS Symposium, Vol 19. No. 1, KISS, P. 285 - 288, 1993, 4
  10. J.S. Ahn, S.P. Kim, T.S. Han, Kwang-Moo Choe, "Graph Reduction Machine using Activation Record" (in Korean, "Activation Record를 이용하는 그래프 축약기계"), Proceedings of the 1993 Symposium of SIGPL, Chungjoo, Korea, P. 75 - 84, 1993, 10
  11. M.S. Jung, Kwang-Moo Choe, "Implementation of Error Correcting Yacc using FMQ Error Correction Model" (in Korean, "FMQ 오류보정 모델을 사용하는 오류보정 Yacc의 구현"), Proceedings of the 1993 Symposium of SIGPL, Suwon, Korea, P. 28 - 35, 1993, 10
  12. E.J. Suk, G. Woo, T.S. Han, Kwang-Moo Choe, "Design and Implementation of Script Language for Multimedia Contents Making Tools" (in Korean, "멀티미디어 저작도구에서 스크립트 언어의 설계 및 구현"), Proceedings of the 1993 Symposium of SIGPL, Suwon, Korea, P. 18 - 27, 1993, 10
  13. B.M. Chang, Kwang-Moo Choe, T.S. Han, "Formalizing Least Fixpoints of Static Filters for Bottom-up Execution of Function-free Logic Programs" (in Korean, "Function-free 논리 프로그램의 Bottom-up 수행의 최적화를 위한 정적 필터의 최소 고정점 정형화"), Proceedings of the 1992 Spring KISS Symposium, Vol. 1 9, No. 1, KISS, POSTECH, Pohang, Korea, P. 241 - 244, 1992, 4
  14. K.W. Kang, E.J. Lee, Kwang-Moo Choe, "Development of LALR(1) Parser Generators Equivalent to Deterministic Parsers" (in Korean, "결정적 파서와 동등한 LALR(1) 문법 생성기의 설계 및 구현"), Proceedings of the 1992 Spring KISS Symposium, Vol. 1 9, No. 1, KISS, POSTECH, Pohang, Korea, P. 237 - 240, 1992, 4
  15. Kwang-Moo Choe, et al, "Algebraic Model of Intelligent Backtracking" (in Korean, "Intelligent Backtracking의 대수학적 모델"), Proceedings of the 1992 Autumn KISS Symposium, Vol. 1 9, No. 2, KISS, Korea University, Seoul, Korea, P. 377 - 380, 1992, 10
  16. K.O. Lee, Kwang-Moo Choe, "Characterization of LL Convertible Grammars using Predictive Relation" (in Korean, "Predictive 관계를 이용한 LL 문법으로의 변환이 가능한 문법들의 특징화"), Proceedings of the 1992 Symposium of SIGPL, SIGPL, Soong-Sil University, Seoul, Korea, P. 100 - 112, 1992, 10
  17. I.S. Yoon, Kwang-Moo Choe, T.S. Han, "Correcting Syntax Errors using Correction Type" (in Korean "보정유형을 이용한 구문 오류 보정"), Proceedings of the 1992 Symposium of SIGPL, SIGPL, Soong-Sil University, Seoul, Korea, P. 58 - 67, 1992, 10
  18. Kwang-Moo Choe, et al, "Developing Compiler for National Defence Computer" (in Korean, "국방컴퓨터(안)을 위한 컴파일러 개발"), Proceedings of the 1992 Symposium of SIGPL, SIGPL, Soong-Sil University, Seoul, Korea, 1992
  19. Kwang-Moo Choe, et al, "Design of National Defence Computer" (in Korean, "국방 컴퓨터(안)의 설계"), Proceedings of the 1991 Symposium of SIGPL, Vol. 3, No. 1, SIGPL, Dong-Guk University, Seoul, Korea, P. 1 - 15, 1991, 10
  20. Kwang-Moo Choe, et al, "Research on Compiler Construction - II" (in Korean, "컴파일러 개발에 관한 연구 - II"), Proceedings of 1989 Specific Research Conference, Ministry of Science and Technology of Korea, KAIST, Seoul, Korea, P. 13 - 17, 1989, 7
  21. Kwang-Moo Choe, et al, "Develpoing Extended KAIST Parser Generation System" (in Korean, "확장된 KAIST 파서 생성 시스템의 개발 및 구현"), Proceedings of the 1989 Spring KISS Symposium, Vol. 1 6, No. 1, KISS, Busan University, Busan, Korea, P. 378 - 381, 1989, 4
  22. K.S. Park, Kwang-Moo Choe, W.J. Park, "Tracing Conflicts in LALR(1) Analysis" (in Korean, "LALR(1) 분석에서의 Conflict 추적"), Proceedings of the 1988 Symposium of SIGPL, Vol. 1, No. 1, SIGPL, Chung-Nam University, Daejeon, Korea, P. 1 - 8, 1988, 9 (pdf)
  23. Kwang-Moo Choe, et al, "Research on Compiler Construction" (in Korean, "컴파일러 개발에 관한 연구"), Proceedings of 1987 Specific Research Conference, Ministry of Science and Technology of Korea, Seoul, Korea, P. 53 - 56, 1988, 7
  24. S.H. Lee, Kwang-Moo Choe, "Handling Parallel Substituions in Trasforming Dijkstra's mini language to Pascal" (in Korean, "Dijkstra의 mini 언어를 Pascal로 변환할 경우 병렬 치환문의 처리"), Proceedings of the 1988 Spring KISS Symposium, Vol. 15, No. 1, KISS, Kang-Won University, Choon-Chun, Korea, P. 365 - 368, 1988, 4
  25. D.J. Son, Kwang-Moo Choe, "CCOR: Interactive C Program Corrector", Proceedings of the 1988 Autumn KISS Symposium, Vol. 15, No. 2, KISS, Seoul National University, Seoul, Korea, P. 435 - 438, 1988, 10
  26. H.H. Lee, Kwang-Moo Choe, "Efficient Computation of Prefix Strings in the Locally Least-Cost Error Correction" (in Korean, "국부적 최소 비용 오류 보정에서 Prefix String 의 효율적인 계산"), Proceedings of the 1988 Autumn KISS Symposium, Vol. 15, No. 2, KISS, Seoul National University, Seoul, Korea, P. 431 - 434, 1988, 10
  27. J.S. Choi, Kwang-Moo Choe, "Constructing ELALR(k) Parsers for Extended Context Free Grammar" (in Korean, "Extended Context Free Grammar를 위한 ELALR(k)파서의 구성"), Proceedings of the 1988 Autumn KISS Symposium, Vol. 15, No. 2, KISS, Seoul National University, Seoul, Korea, P. 427 - 430, 1988, 10
  28. S.W. Byun, Kwang-Moo Choe, "Efficient Backtracking in AND/OR Processor Model using Failure Analysis" (in Korean, "AND/OR 프로세서 모델에서의 실패 분석을 이용한 보다 효율적인 백트랙킹"), Proceedings of the 1988 Autumn KISS Symposium, Vol. 15, No. 2, KISS, Seoul National University, Seoul, Korea, P. 423 - 426, 1988, 10
  29. Kwang-Moo Choe, M.S. Jeong, D.H. Kim, "Error Correction for Least Cost Insertion Strings in Yacc" (in Korean, "Yacc에서의 최소비용 삽입 스트링을 이용한 오류 보정"), Proceedings of the 1987 Autumn KISS Symposium, Vol. 1 4, No. 2, KISS, Ah-Joo University, Su-Won, Korea, P. 605 - 608, 1987, 10
  30. D.H. Kim, Kwang-Moo Choe, "Parallelization Technique for Logic Programs with AND-Closure Partitioning" (in Korean, "AND 클로즈의 분할을 통한 논리 프로그램의 병렬 처리 기법"), Proceedings of the 1987 Autumn KISS Symposium, Vol. 1 4, No. 2, KISS, Ah-Joo University, Su-Won, Korea, P. 601 - 604, 1987, 10
  31. M.J. Lee, H.O. Jang, Kwang-Moo Choe, "Recent Techniques on LALR(1) - Lookahead Set Calculation" (in Korean, "최근의 LALR(1) - Lookahead 집합 계산 방법의 기교"), Proceedings of the 1987 Autumn KISS Symposium, Vol. 1 4, No. 2, KISS, Ah-Joo University, Su-Won, Korea, P. 597 - 600, 1987, 10
  32. Kwang-Moo Choe, S.H. Whang, "AND/OR Bipartite Architecture for Parallel Execution of Logic Programs" (in Korean, "논리 프로그램의 병렬 수행을 위한 AND/OR Bipartite 아키텍쳐"), Proceedings of the 1987 Autumn KISS Symposium, Vol. 1 4, No. 2, KISS, Ah-Joo University, Su-Won, Korea, P. 593 - 596, 1987, 10
  33. M.R. Yeo, Kwang-Moo Choe, "Abstract Syntax Tree in Extend Context Free Grammar" (in Korean, "Extend Context Free Grammar에서의 Abstract Syntax Tree"), Proceedings of the 1987 Autumn KISS Symposium, Vol. 1 4, No. 2, KISS, Ah-Joo University, Su-Won, Korea, P. 589 - 592, 1987, 10
  34. D.G. Lee, Y.I. Yoon, Kwang-Moo Choe, G.N. Nam, "Report on Developing Prototype CHILL Compiler" (in Korean, "Prototype CHILL Compiler의 개발에 관한 연구"), Proceedings of the 1985 Spring KISS Symposium, Vol. 12, No. 1, Seoul, Korea, P. 298 - 305, 1985, 4
  35. K.S. Park, Kwang-Moo Choe, G.N. Nam, C.H. Jang, "Report on Developing Efficient Syntax Error Repairing System for LR-Based Parser" (in Korean, "LR-Based Parser의 효율적인 Syntax Error Repairing System의 개발에 관한 연구"), Proceedings of the 1985 Autumn KISS Symposium, Vol. 1 2, No. 2 , KISS, Soong-Jeon University, Seoul, Korea, P. 382 - 389, 1985, 10