|
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, ⺴¸ð ±³¼ö(¼÷¸í¿©´ë)
|