[ Home
| Address
| Papers
| Software
| Album
]
Publication List
[journal/conferece]
[chronological order]
-
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.
-
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 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.
-
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.
-
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.
-
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,
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,
Shanghai Jiao Tong University, Shanghai, November 2002.
-
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.
-
nML ÄÄÆÄÀÏ·¯ ½Ã½ºÅÛ (status report)
À̱¤±Ù,
ÀÌ¿í¼¼,
¾îÇöÁØ,
±èÁ¤ÅÃ,
ÃÖ¿õ½Ä,
·ù¼®¿µ,
°Çö±¸,
¼¼±¾Ö,
À强¼ø,
±è¹ü½Ä
Çѱ¹Á¤º¸°úÇÐȸ °¡À»ÇмúȸÀÇ,
28(2):340-342, 2001³â 10¿ù.
-
¸ðµ¨Ã¼Ä¿¸¦ °ËÁõÇϱâ À§ÇÑ ¸ðµ¨Ã¼Ä¿
¾îÇöÁØ,
Nikolay V. Shilov,
À̱¤±Ù
Çѱ¹Á¤º¸°úÇÐȸ °¡À»ÇмúȸÀÇ,
28(2):337-339, 2001³â 10¿ù.
-
½ÇÇà½Ã°£ Àü¹®È¸¦ À§ÇÑ ÁýÇÕ±â¹ÝºÐ¼®ÀÇ Áغñ
¾îÇöÁØ,
À̱¤±Ù
Çѱ¹Á¤º¸°úÇÐȸ ³í¹®Áö,
27(9):986-1002, 2000³â 9¿ù.
-
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.
-
Á¤Àû ºÐ¼®ÀÇ ½ÇÇà½Ã°£ Àü¹®È¿¡ °üÇÑ ¿¬±¸
¾îÇöÁØ,
À̱¤±Ù
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸
1999³â µ¿°è ¿öÅ©¼¥ ³í¹®Áý, 1999³â 2¿ù.
(slides)
-
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.
-
ºÐ¼®±â »ý¼º ½Ã½ºÅÛ Z1¿¡¼ ±×·¡ÇÈ »ç¿ëÀÚ ÀÎÅÍÆäÀ̽ºÀÇ ÀÚµ¿ »ý¼º
¾îÇöÁØ,
À̱¤±Ù,
±è¼ºÈÆ
Çѱ¹Á¤º¸°úÇÐȸ 97 º½ Çмú¹ßÇ¥³í¹®Áý,
(24)1:57-60, 1997³â 4¿ù.