Publication List

International Journal

• Static Extensivity Analysis for Lambda-Definable Functions Over Lattices
  Hyunjun Eo, Kwangkeun Yi, Kwang-Moo Choe
  New Generation Computing, Vol. 24, No.1, pp.53-78, 2006.

• Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms
  Hyunjun Eo, Oukseh Lee, Kwangkeun Yi
  New Generation Computing, Vol. 22, No.1, pp.1-36, 2004.

International Conference

• Type and Effect System for Multi-Staged Exceptions
  Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi
  In Proceedings of The 4th Asian Symposium on Programming Languages and Systems (APLAS '2006), Sydney, November 2006.
  Lecture Notes in Computer Science, Vol. 4279, pp. 61-78.

• Proofs about Folklore: Why Model Checking = Reachability?
  Kwang-Moo Choe, Hyunjun Eo, Seung-Hwan O, Nikolay V. Shilov, Kwangkeun Yi
  In Proceedings of The 9th Asian Logic Conference (ALC '2005), Novosibirsk, August 2005.

• Verifying Safety of File-like Resources by Resource Allocation Matrix
  Hyunjun Eo, Hyun-Goo Kang, Kwang-Moo Choe, Taisook Han
  In Proceedings of The 4th International Conference on Asian Language Processing and Information Technology (ALPIT '2005), Bangkok, June 2005.

• Finite Game Semantics for Propositional Program Logics
  Hyunjun Eo, Seung-Hwan O, Nikolay V. Shilov
  Short Paper in The Twentieth Annual IEEE Symposium on Logic in Computer Sciece (LICS '2005), Chicago, June 2005.

• An Improved Differential Fixpoint Iteration Method for Program Analysis
  Hyunjun Eo, Kwangkeun Yi
  In Proceedings of The Third Asian Workshop on Programming Languages and Systems (APLAS '2002), Shanghai Jiao Tong University, Shanghai, November 2002.

• Static Extensionality Analysis for Lambda-Definable Functions Over Lattices
  Kwangkeun Yi, Hyunjun Eo
  In Proceedings of The Third Asian Workshop on Programming Languages and Systems (APLAS '2002), Shanghai Jiao Tong University, Shanghai, November 2002.

• SUIF program analysis using System Z2
  Seong-Hoon Kim, Kwangkeun Yi, Hyunjun Eo, Kwang-Moo Choe
  In Proceedings of The 2nd SUIF Workshop, 185-190, Stanford Univ., 21-23 August 1997.

Domestic Journal

• 실행시간 전문화를 위한 집합기반분석의 준비
  어현준, 이광근
  한국정보과학회 논문지, 27(9):986-1002, 2000년 9월.

Domestic Conference

• nML 컴파일러 시스템 (status report)
  이광근, 이욱세, 어현준, 김정택, 최웅식, 류석영, 강현구, 서선애, 장성순, 김범식
  한국정보과학회 가을학술회의, 28(2):340-342, 2001년 10월.

• 모델체커를 검증하기 위한 모델체커
  어현준, Nikolay V. Shilov, 이광근
  한국정보과학회 가을학술회의, 28(2):337-339, 2001년 10월.

• 정적 분석의 실행시간 전문화에 관한 연구
  어현준, 이광근
  프로그래밍언어연구회 1999년 동계 워크샵 논문집, 1999년 2월. (slides)

• 분석기 생성 시스템 Z1에서 그래픽 사용자 인터페이스의 자동 생성
  어현준, 이광근, 김성훈
  한국정보과학회 97 봄 학술발표논문집, (24)1:57-60, 1997년 4월.

Misc.

• 프로그램 분석 명세의 컴파일 (Compiling High-Level Specifications of Program Analysis)
  어현준 (Hyunjun Eo)
  박사학위논문 (Doctorial Thesis), KAIST, 2006

• A Differential Fixpoint Iteration Method for Static Analysis Specifications
  Hyunjun Eo, Kwangkeun Yi
  Technical Memorandum ROPAS-2004-21, Research On Program Analysis System, Seoul National University, February 2004.

• Static Extensionality Analysis for Lambda-Definable Functions Over Lattices
  Kwangkeun Yi, Hyunjun Eo
  Technical Memorandum ROPAS-2002-17, Research On Program Analysis System, National Creative Research Center, Korea Advanced Institute of Science and Technology, September 2002.

• Preparing Set-Based Analysis for Run-time Specialization
  Hyunjun Eo, Kwangkeun Yi
  Technical Memorandum ROPAS-1999-1, Research On Program Analysis System, National Creative Research Center, Korea Advanced Institute of Science and Technology, November 1999.

• 분석기 생성 시스템 Z1에서 그래픽 사용자 인터페이스의 자동 생성
  어현준
  석사학위논문, KAIST, 1998

• Standard ML에서 처리되지 않은 예외상황의 발생된 위치를 출력하는 방법
  어현준
  학사학위논문, KAIST, 1996