Kwangkeun Yi's Papers

(topics in alphabetical order)

About exception analysis

SML 프로그램에서 처리되지않는 예외상황들을 예측해내는 방법에 대해서.
Works on estimating uncaught exceptions in Standard ML programs

"Towards A Cost-Effective Estimation of Uncaught Exceptions in SML Programs", Kwangkeun Yi and Sukyoung Ryu, Lecture Notes in Computer Science, Vol. 1302, pp.98-113, The 4th International Static Analysis Symposium , Paris, Sept. 1997, (slides)
"A Cost-effective Estimation of Uncaught Exceptions in SML Programs", Kwangkeun Yi and Sukyoung Ryu, [newer/longer version], invited submission to the Theoretical Computer Science
"Estimating Uncaught Exceptions in Standard ML Programs from Type-based Equations", Kwangkeun Yi and Sukyoung Ryu and Ki-Hyun Pyun, Proceedings of the 20th Annual International Computer Software and Applications Conference, pp. 455-460, Seoul, August 1996
"An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs", Kwangkeun Yi, Science of Computer Programming, Vol.31, No.1, pp.147-173, 1998
"Compile-time Detection of Uncaught Exceptions in Standard ML Programs", Kwangkeun Yi, Lecture Notes in Computer Science Vol. 864, pp.238-254, The 1st International Static Analysis Symposium, Namur, Sept. 1994

프로그램의 정적분석을 프로그램 실행중에 효과적으로 특화시키는 방법에 대해서.
Works on preprocessing a static analysis for run-time specialization.

ML프로그램에서 예외상황 처리의 부담을 효과적으로 제거하는 방법에 대해서.
Works on removing the overhead of exception handling in ML programs.

프로그래밍 언어의 타입시스템 구성 원리와 그 구현에 대해서.
Works on type systems and their algorithms

주어진 식 e가 집합 V에 속한 값을 계산해 내려면 그 내부 식들의 값은 무엇이되어야 할까? 프로그램의 결과값으로부터 입력값을 예측하는 방법에 대해서.
Works on slicing the values of expressions.

프로그램의 성질을 예측하는 프로그램을 만들어주는 [Z1 시스템]에 대해서.
Works on automatic generations and management of global program analyzers

"SUIF Program Analysis Using System Z2", Seong-Hoon Kim, Kwangkeun Yi, Hyun-jun Eo, Kwang-Moo Choe, The Second SUIF Compiler Workshop, Aug. 21 - 23, 1997
"Z1: a Data Flow Analyzer Generator", Kwangkeun Yi, Luddy Harrison, Seonghoon Kim, and Li-ling Chen, Journal of Programming Languages(in revision)
"Efficient Computation of Fixpoints that Arise in Complex Program Analysis", Li-ling Chen, Luddy Harrison and Kwangkeun Yi, Journal of Programming Languages, Vol.3, No.1, pp.31-68, 1995
"Automatic Generation and Management of Interprocedural Program Analyses", Kwangkeun Yi and Luddy Harrison, Proceedings of The 20th ACM Symposium on Principles of Programming Languages, pp. 246-259, Jan. 1993
"Automatic Generation and Management of Program Analyses", Kwangkeun Yi, Ph.D. Thesis. Report UIUCDCS-R-93-1828
"System Z1 Programming Manual", Kwangkeun Yi and Luddy Harrison, CSRD Report No 1283
"Interprocedural Data Flow Analysis for Compile-Time Memory Management", Kwangkeun Yi and Luddy Harrison, CSRD Report No 1244

"On-the-fly Circuits to Measure the Average Working Set Size" Kwangkeun Yi and Luddy Harrison, Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers and Processors, Sept. 1990 (Look for it here)

For journal/conference categorization: see this.