[ Home
| Address
| Papers
| Software
| Links
| Album
]
Publication List
[journal/conferece]
[chronological order]
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
-
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
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
poisson (at) ropas (dot) kaist (dot) ac (dot) kr