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, 창병모 교수(숙명여대)