¢¹ÃÊ´ëÀǸ»¾¸    ¢¹ÇÁ·Î±×·¥    ¢¹Ã£¾Æ¿À´Â±æ    ¢¹Á¶Á÷À§¿ø ¹× ¹®ÀÇ    ¢¹Âü°¡ÀÚ

 

2004³âµµ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸ ¿©¸§Çб³
SIGPL Smmer School 2004

[ÇÁ·Î±×·¥]

 8¿ù 11ÀÏ (¼ö¿äÀÏ)
   13:00 - 14:00   µî·Ï
   14:00 - 14:20   °³È¸ ¹× ¿©¸§Çб³ ¼Ò°³, µµ°æ±¸ ±³¼ö(ÇѾç´ë)
   
14:30 - 15:50   WIPI ȯ°æÀ» À§ÇÑ Java-to-C ÄÄÆÄÀÏ·¯, ±è¼±¿í ±³¼ö(°í·Á´ë)
   
16:00 - 17:20   ÀÓº£µðµå ÇÁ·Î¼¼¼­ ±¸Á¶¿Í ÇÁ·Î±×·¡¹Ö, ¹éÀ±Èï ±³¼ö(¼­¿ï´ë)
   
18:00 - 20:00   Banquet

 8¿ù 12ÀÏ (¸ñ¿äÀÏ)
     9:00 - 10:20  Memory Hierarchy Optimizations with Compilers/ Software, ÀÌÀçÁø ±³¼ö(¼­¿ï´ë)
   
10:30 - 11:50   Logical Foundations for Access Control, ½Å½Âö ±³¼ö(µ¿¾ç´ë)
   
13:30 - 14:50   Current Techniques in Languages-Based Security, ¾ÈÁؼ± ±³¼ö(Ç×°ø´ë)
   
15:00 - 16:20   Security via Type Qualifiers, Á¶Àå¿ì ±³¼ö(ºÎ»ê¿Ü´ë)

8¿ù 13ÀÏ (±Ý¿äÀÏ)
     
9:30 - 10:50  Code Space Optimization for Embedded System, ÇÑȯ¼ö ±³¼ö(KAIST)
    
11:00 - 12:00  Program Monitoring, ⺴¸ð ±³¼ö(¼÷¸í¿©´ë)