Publication

International
  • A Bottom-up Pointer Analysis Using the Update History [pdf]
    Hyun-Goo Kang and Taisook Han
    Information and Software Technology, Vol. 51, No. 4, pp.691-707, 2009

  • A Static Bug Detector for Uninitialized Field Reference in Java Programs [pdf]
    Sunae Seo, Youil Kim, Hyun-Goo Kang, and Taisook Han
    IEICE Transactions on Information and Systems, Vol. E90-D, No. 10, pp. 1663-1671, October, 2007

  • A Path Sensitive Type System for Resource Usage Verification of C like Languages [pdf]
    Hyun-Goo Kang, Youil Kim, Taisook Han, and Hwansoo Han
    In the 3rd Asian Symposium on Programming Languages and Systems, LNCS 3780, pp. 264-280, Nov, 2005

  • Automatic Hardware/Software Interface Generation for Embedded System [pdf]
    Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, and Taisook Han
    International Journal of Information Processing Systems (KIPS), pp. 137-142., December 2006.

  • A Static Bug Detector for Object Initialization Problem in Java Programs [doc]
    Hyun-Goo Kang, Youil Kim, Sunae Seo, and Taisook Han
    In Proceedings of the 4th International Conference on Advanced Language Processing and Information Technology, pp. 7-12., 28-30 June, 2005.

  • Verifying Safety of File-like Resources by Resource Allocation Matrix [pdf]
    Hyunjun Eo, Hyun-Goo Kang, Kwang-Moo Choe, and Taisook Han
    In Proceedings of the 4th International Conference on Advanced Language Processing and Information Technology, pp. 387-392., 28-30 June, 2005.

  • Hardware/Software Interface Generation for Embedded System using Hardware Interface Automata [doc]
    Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, and Taisook Han
    In Proceedings of the 4th International Conference on Advanced Language Processing and Information Technology, pp. 213-218., 28-30 June, 2005.

  • Online Partial Evaluation of actions [BRICS Notes Series NS-99-3]
    Kyung-Goo Doh and Hyun-Goo Kang,
    In Proceedings of the 2nd International Workshop on Action Semantics, pp. 71-88, Amsterdam, Netherland, March 21, 1999.

    •

    Domestic

  • 박상운, 강현구, 한태숙 "함수 요약을 이용한 모듈단위 포인터분석," 정보과학회 논문지, 제35권, 제10호, 636-652쪽, 2008. (2007 한국정보과학회 학생논문경진대회 우수상)
    •
  • 강현구, 이광근, "트랜잭션 기반 데이타베이스 응용프로그램의 안전성 자동 검증 및 자동 튜닝," 정보과학회 논문지(DB), 제32권, 제1호, 86-99쪽, 2005.
  • 이광근, 이욱세, 어현준, 김정택, 최웅식, 류석영, 강현구, 서선애, 장성순, 김범식, "nML 컴파일러 시스템(status report)," 정보과학회 추계학술대회, 28(2),340-342, 2001년 4월 28일
    •
  • 강현구, 이광근, "nML을 이용한 기술용어 사전 시스템 구축," 정보과학회 춘계학술대회, 28(1):70-75, 2001년 4월 28일
    •
  • 강현구, 도경구, "액숀의 온라인 부분계산," 정보과학회논문지(B), 제26권, 제12호, 1531-1543쪽, 1999.
    •
  • 강현구, 박성진, 백종명, 박상봉, "비즈니스 모델을 기반으로 하는 컴포넌트 조립형 응용프로그램 구조," 한국CALS/EC학회 추계학술대회, 1999년 11월 20일, 창원대학교
    •
  • 강현구, 백종명, 손주찬, 박성진, "ERP 개발도구의 설계 및 구현," 정보처리학회 추계학술대회, 1999년 10월 9일, 숭실대학교
    •
  • 강현구, 도경구, "온라인 액숀 부분계산," 정보과학회 프로그래밍 언어 연구회 워크숍, 1998년 9월 26일, 부산
    •
  • 강현구, 도경구, "액숀 의미구조를 통한 객체지향 언어의 의미고찰," 정보과학회 추계 학술대회 논문집, Vol. 24, No. 2, 1997년 10월, pp.355-358.


    • Others

  • A Bottom-up Pointer Analysis Using the Update History (업데이트 기록에 기반한 상향방식 포인터 분석)
    Hyun-Goo Kang, Ph.D. Thesis, KAIST, 2009 [pdf]

  • Design and Implementation of Online Partial Evaluator for Action (온라인 액숀 부분계산기의 설계 및 구현)
    Hyun-Goo Kang, M.S. Thesis, Hanyang University, 1998 [in Korean]

  • Design and Implementation of A Korean X-Window Communication Emulator for Linux (리눅스 환경하에서의 X-윈도용 한글 통신 에뮬레이터의 설계및 구현)
    Hyun-Goo Kang, B.E. Works, Hanyang University, 1996

  • 액숀 의미구조를 통한 객체지향 언어의 의미고찰
    강현구, 도경구, 공학기술논문집, 한양대학교 공학기술연구소, 제7권, 제1호, 313-319, 1998

  • 잡지 "마이크로소프트웨어" 기사 : nML 언더그라운트 콘서트

    • -->