ÆгÎÆò°¡ Æò°¡À§¿ø °³º°ÀÇ°ß
(ÇÁ·Î±×·¥ ºÐ¼® ½Ã½ºÅÛ ¿¬±¸´Ü À̱¤±Ù)

¿¬±¸ ¸ñÇ¥ ´Þ¼ºµµ

A ¿¬±¸ °èȹÀ» Ãæ½ÇÈ÷ ¼öÇàÇÑ °ÍÀÌ ÀÎÁ¤µÇ³ª º» °úÁ¦ÀÇ ¿¬±¸¸ñÇ¥°¡ °úÁ¦ ¼öÇàÀÚ°¡ ¿¹ÀüºÎÅÍ Ãß±¸ÇØ ¿À´ø ¿¬±¸ÀÇ ¿¬Àå¼±»ó¿¡ ÀÖ¾ú´Ù°í º¸¿©Áü.
B ¿¬±¸¸ñÇ¥·Î Á¦½ÃµÈ 3°³ ºÐ¾ß Áß safe code ¿¡¸¸ ÁýÁßÀûÀÎ ¿¬±¸°¡ ÁøÇàµÇ¾úÀ½.
C ¿¬±¸¹üÀ§°¡ ºñ±³Àû ±¤¹üÀ§ÇÏ°Ô º¸À̸ç, ¿¬±¸¸ñÇ¥¿¡ Á¦½ÃµÈ safe code, small code, smart code (LET) Áß small code ºÎºÐÀÌ ¹Ì¾àÇÑ °ÍÀ¸·Î º¸¿©Áü.
D ÀüüÀûÀ¸·Î »õ·Î¿î idea¿¡ ÀÇÇÑ ¿¬±¸ÀÇ ½ÃÀÛÀ̶ó±â º¸´Ù´Â ¿¬±¸´ÜÀåÀÌ °è¼ÓÇÏ¿© ¿À´ø ÀÏÀ» °è¼Ó ¼öÇàÁßÀÎ ´À³¦ÀÌ µë.
E ¸ñÇ¥·Î ÀâÀº safe code, small code, smart code Áß safe code ¿Í smart code ¿¡ ´ëÇؼ­´Â ½ÉÃþÀûÀ¸·Î ÃßÁøµÇÁö ¾Ê¾ÒÀ½.
F ¿¬±¸¸ñÇ¥¸¦ ´ëºÎºÐ ´Þ¼ºÇÏ¿´À¸³ª, small code ¿Í smart code ÀÇ »ý¼º¿¡ ´ëÇؼ­´Â °èȹ¸¸Å­ ¿¬±¸Çß´Ù°í º¸±â°¡ ¾î·Á¿ò. ÀüüÀûÀ¸·Î ¿¬±¸ÀÇ scope°¡ ³Ê¹« ±¤¹üÀ§ÇÔ.
G ±âÃÊ¿¡ Á¦¾ÈµÈ ÃÖÃÊ 3³â°£ °èȹÀ» ¼º½ÇÈ÷ ¼öÇàÇÏ¿´À½. ÀÌ·ÐÀû ¿¬±¸¿Í implementation µÎ Ãø¸é¿¡¼­ ¸ðµÎ ¿¬±¸ ¸ñÇ¥¸¦ ´Þ¼ºÇÏ¿´À½.
H 1´Ü°è ¿¬±¸¸ñÇ¥·Î safe/small/smart code¸¦ ¸ðµÎ °í·ÁÇÏ¿´´Âµ¥, ÇöÀç±îÁöÀÇ ´Þ¼ºµµ·Î safeÇÑ code Ãø¸éÀº °ÅÀÇ ´Þ¼ºÀÌ µÇ¾úÀ¸³ª small code ´Â ÀüÇô °í·Á°¡ ¾ÈµÇ¾ú°í smart code´Â ½ÃÀÛÇÏ´Â ´Ü°è·Î ´Þ¼ºµµ°¡ ¹ÌºñÇÏ´Ù.
I System analyzer generator¸¦ ML¿¡ Á¢¼ÓÇÏ´Â °ÍÀº »õ·Î¿î °ÍÀ¸·Î ¿©°ÜÁü. LET (small, safe, smart) À» ¸ðµÎ Ãß±¸ÇÏ´Â Áß. ÇöÀç´Â safe°¡ ÀÌ·ç¾îÁ³´Ù°í ¿©°ÜÁü.

¿øõ±â¼ú È®º¸ Á¤µµ

A ¿ì¼öÇÑ journal, conference¿¡ ´Ù¼öÀÇ ³í¹®À» ¹ßÇ¥ÇÏ¿´À¸³ª, °úÁ¦·ÎºÎÅÍ ¾òÀº ¿øõ±â¼úÀ» defineÇϱ⠾î·Á¿ò.
B ¿¬±¸ºÐ¾ß ´ëºñ ³í¹®¹ßÇ¥ ½ÇÀûÀÇ ¿ì¼ö¼ºÀº ÀÎÁ¤µÇ³ª 2001³â °ÔÀçµÈ ³í¹®¿¡ Ÿ¿¬±¸ºñ¿¡ ´ëÇÑ ¾ð±ÞÀÌ ÀÖ¾úÀ½. âÀÇ°úÁ¦ÀÇ ±Ùº»ÀûÀÎ ÃëÁö¿Í »ó¹ÝµÇ´Â ´À³¦ÀÌ ÀÖÀ½.
C ¿ì¼öÇÑ ³í¹®À» ¹ßÇ¥ÇÏ¿´À¸³ª Ÿ¿¬±¸ÀÚ ´ëºñ ½ÇÀûÀÌ ´Ù¼Ò ¶³¾îÁü. Software program µî ÂÊ¿¡µµ °ü½ÉÀ» °®´Â °ÍÀÌ ÇÊ¿äÇÔ.
D ACM Transaction µî ÀÌ ºÐ¾ßÀÇ ±ÇÀ§ÀÖ´Â ÀâÁö¿¡ÀÇ ³í¹® Æ÷ÇÔ ³í¹®ÀÇ ÁúÀº ¿ì¼öÇÏ´Ù°í º¸ÀÓ. top-rank conference µî¿¡ÀÇ ³í¹® ¹ßÇ¥°¡ ´õ ÀÖ¾úÀ¸¸é ÇÔ.
E ACM Transaction µî ¿ì¼ö ÇмúÁö¿¡ ³í¹®ÀÌ ¹ßÇ¥µÇ¾úÀ½.
F ACM Transaction¿¡ publish ÇÏ¿´À½. ±¹Á¦ Çмú ¹ßÇ¥, ÃÊû ³í¹® ½ÇÀû µîÀÌ ¿ì¼öÇÔ. ƯÇã Ãâ¿øÀÌ ¾øÀ½.
G ÄÄÇ»ÅÍ ºÐ¾ß¿¡¼­ top journal ÀÎ ACM TransactionÀ» Æ÷ÇÔÇÏ¿© visibility°¡ ³ôÀº journal, conference¿¡ ´Ù¼öÀÇ ¿ì¼öÇÑ ³í¹®À» ¹ßÇ¥ÇÏ¿´À½.
H ¹ßÇ¥³í¹® 6 °³ Áß 2 °³´Â ¸Å¿ì ¿ì¼öÇÑ JournalÀ̳ª, Journal ¹ßÇ¥¼ö°¡ ¸¹Áö´Â ¾Ê´Ù°í »ý°¢µÇ¸ç ¿ì¼öÇÑ conference¿¡µµ ¸¹Àº Åõ°í¸¦ ÇÏ¿© ¿ì¼öÇÑ ¿¬±¸´ÜÀÓÀ» º¸ÀÌ´Â °ÍÀÌ ÇÊ¿äÇØ º¸ÀÔ´Ï´Ù. ¶ÇÇÑ ½Ã½ºÅÛ °³¹ßµµ Áß¿äÇÑ ¿¬±¸°á°úÀÌ´Ï s/w desing Ãø¸éÀ̳ª °³¹ßÃø¸éÀ̼­ ƯÇ㳪 s/w µî·ÏÀ» °í·ÁÇØ¾ß ÇÒ °ÍÀ¸·Î »ç·áµË´Ï´Ù.
I ACM Tr¿¡ ³í¹® Á¦Ãâ µî ³í¹®¹ßÇ¥°¡ ¿ì¼öÇÔ. ±×·¯³ª ƯÇãÃâ¿øÀº ºÒ°¡ÇÒ Áö¶óµµ s/w µî·Ï µîÀº °í·ÁÇÏ¿© º¸¾Æ¾ß ÇÒ »çÇ×ÀÓ.

Â÷¼¼´ë ¿¬±¸¸®´õ·Î ¼ºÀå °¡´É¼º

A ±¹¿ÜÀÇ ´Ù¾çÇÑ ¿¬±¸±â°ü ¹× Çб³¿Í Æø³ÐÀº °ü°è¸¦ °¡Áö°í ±¹Á¦ÀûÀ¸·Î È°µ¿ÇÏ°í ÀÖÀ½.
B ¿¬±¸Ã¥ÀÓÀÚÀÇ ³ªÀÌ°¡ ¾ÆÁ÷ ¾î¸®¹Ç·Î ¸¹Àº ¹ßÀü°¡´É¼ºÀÌ º¸¿©Áü.
C ÇØ¿Ü ¿¬±¸±â°ü°úÀÇ ±³·ù°¡ ¸¹°í smartÇÏ¿© Â÷¼¼´ë ¿¬±¸¸®´õ·Î¼­ ¼Õ»öÀÌ ¾øÀ» °ÍÀ¸·Î º¸¿©Áü.
D ÇØ´ç ºÐ¾ßÀÇ top rank ¿¬±¸±â°ü°úÀÇ È°¹ßÇÑ ±³·ù°¡ ÀÖÀ¸³ª Academic society È°µ¿ÀÌ ¹ÌÈíÇÑ °Í °°À½.
E ±¹Á¦ ÃÊû°­¿¬ ½ÇÀû, Àη±³·ù ½ÇÀûÀÌ ¿ì¼öÇÔ.
F ¿ÜºÎ ±â°ü°úÀÇ È°¹ßÇÑ ±³·ù°¡ µ¸º¸ÀÓ. ÇØ¿Ü ¿¬±¸ÆÀ°úÀÇ ¿¬±¸±³·ù ¼öÁØÀ» º¼ ¶§ ¿¬±¸¸®´õ·Î¼­ ¹ßÀü °¡´É¼ºÀº ³ôÀ½.
G ÇØ´ç ¿¬±¸ºÐ¾ßÀÇ top ¿¬±¸ group°ú È°¹ßÇÑ ¿¬±¸±³·ù°¡ ÀÖÀ½. ´Ù¼öÀÇ invited talk°ú program committee È°µ¿ÀÌ ÀÖÀ½.
H ¿Ü±¹±â°ü°úÀÇ ±³·ù(Çлý ±³·ù ¹× ±¹³»¿Ü ÇÐȸ È°µ¿)°¡ È°¹ßÇØ º¸ÀÔ´Ï´Ù.
I ÇØ´çºÐ¾ßÀÇ Àü¹®°¡·Î È°¹ßÈ÷ È°µ¿ÇÏ¿´´Ù°í ¿©°ÜÁü.

ÇâÈÄ ¿¬±¸°èȹÀÇ ÀûÀý¼º

A ¿¬±¸°èȹÀÇ ±¸Ã¼¼ºÀÌ ºÎÁ·ÇØ º¸ÀÓ. º» ¿¬±¸°¡ âÀÇ ¿¬±¸ ÇÁ·Î±×·¥ÀÇ ¸ñÇ¥¿Í ºÎÇÕÇÏ´Â °¡¿¡ ´ëÇÑ Àǹ®ÀÌ Á¦±âµÊ.
B ¿¬±¸°èȹÀÌ ³Ê¹« ¹æ´ëÇϹǷÎ, º¸´Ù ÁýÁßÀûÀÎ ¿¬±¸¸ñÇ¥ ¼öÁ¤ÀÌ ÇÊ¿äÇÏ´Ù°í º¸¿©Áü.
C ¿¬±¸¹üÀ§¸¦ ´Ù¼Ò Ãà¼Ò½Ãų ÇÊ¿ä°¡ ÀÖÀ¸¸ç codeÀÇ safety Ãø¸éÀ» º¸´Ù °­Á¶½Ãų ÇÊ¿ä°¡ ÀÖÀ½.
D ¿¬±¸ °èȹÀº ÀûÀýÇϳª code safety, self-optimizing code, code minimization ºÐ¾ß Áß °¡Àå °æÀï·ÂÀÖ´Â ºÐ¾ß¿¡ Á»´õ ÁýÁßÀûÀÎ ¿¬±¸°¡ ÇÊ¿äÇÔ.
E µ¶Ã¢ÀûÀÎ ³»¿ë, »ó´ëÀû ¿ìÀ§ È®º¸°¡ °¡´ÉÇÒ ³»¿ëÀ¸·Î ¿¬±¸ ¿ª·®À» ÁýÁßÇÒ ÇÊ¿ä°¡ ÀÖÀ½.
F º» ¿¬±¸°¡ ¹Ì·¡ÀÇ Çѱ¹»ê¾÷¿¡ ¹ÌÄ¡´Â ¿µÇâ¿¡ ´ëÇؼ­ Ã¥ÀÓ ¿¬±¸ÀÚ°¡ ±í°Ô »ý°¢ÇÒ ÇÊ¿ä°¡ ÀÖ´Ù°í »ç·áµÊ. (¼¼±Ý->output?) âÀÇ°úÁ¦ ¿¬±¸³»¿ë°ú ±âÁ¸ ¿¬±¸³»¿ëÀÇ Â÷º°¼ºÀÌ º¸ÀÌÁö ¾ÊÀ½. (¿¬±¸ºñ ÅõÀÔ¿¡ µû¸¥ outputÀÇ Â÷º°¼º µî)
G safe code Ãø¸é¿¡ º¸´Ù focus¸¦ µÎ¾î º¸´Ù visibility°¡ ³ôÀº ¿¬±¸¸¦ ¼öÇàÇÒ °ÍÀ» recommend ÇÔ. mobile embedded system ¿¡ ÀÀ¿ëÇÒ °ÍÀ» recommend ÇÔ.
H ¿¬±¸ÀÇ ¹üÀ§°¡ Á¶±Ý ±¤¹üÀ§ÇÏ¿© (smart/small/safe), ÀÌÁß¿¡¼­ °¡Àå Àß ÇÒ ¼ö ÀÖ´Â ºÐ¾ß¿¡ ÁýÁßÇÏ¿© ÁÁÀº ¿¬±¸°á°ú¸¦ ³»´Â ¹æ¹ýÀ» °í·ÁÇØ º¸±â¸¦ Á¦¾ÈÇÕ´Ï´Ù.
I ¿¬±¸ÀÇ ¹üÀ§¸¦ LETÀ» ¸ðµÎ Ãß±¸ÇÏ´Â ¹æÇâ°ú safe·Î ÇÑÁ¤ÇÏ´Â ¹æ¾ÈÀ» ÇѹøÂëÀº °ËÅäÇÒ ÇÊ¿ä°¡ ÀÖÀ½.


ÇÁ·Î±×·¥ ºÐ¼® ½Ã½ºÅÛ ¿¬±¸´Ü