| 8/19(화) | 발표자 | 좌장 |
|---|
|
13:00-14:00 | 등록 |
|
14:00-14:30 | 개회식 |
|
14:30-15:40 | Monad Programming in Haskell | 변석우 (경성대) | 도경구 (한양대) |
|
15:50-17:00 | Computational Logic, Computer Science, and Information
Society | 최진영 (고려대) | 조장우 (동아대) |
|
17:00-17:50 | (교양강좌) 유가복상제도에 있어서의 효사상 | 장세호 (경성대)
| 조장우 (동아대) |
|
18:10- | 만찬 |
| 8/20(수) | 발표자 | 좌장 |
|---|
|
09:30-10:40 | Type and Effect Systems | 창병모 (숙명여대) | 우균 (부산대) |
|
10:50-12:20 | 전산논리의 소개 | 박성우 (포항공대) | 신승철
(한국기술교육대) |
|
12:20-13:30 | 점심 |
|
13:30-14:40 | MPSoc를 위한 통합 컴파일러 플랫폼 | 백윤흥 (서울대) |
변석우 (경성대) |
|
14:40-16:30 | 프로그래밍언어 연구 동향 토론 | | 백윤흥 (서울대) |
| 8/21(목) | 발표자 | 좌장 |
|---|
|
09:00-10:00 | 학생 발표 세션 I | | 이욱세 (한양대) |
|
| MPSoC를 위한 재겨냥성 병렬 프로그래밍 체제 | 김용주 (서울대) |
|
| 재겨냥성 컴파일러 | 안민욱 (서울대) |
|
| Link-time Instruction Selection for Static Address Loads in
ARM Architecture | 나현익 (KAIST) |
|
10:10-11:10 | 학생 발표 세션 II | | 창병모 (숙명여대) |
|
| Parallelizing irregular reduction on a cell processor | 김성건 (KAIST) |
|
| A Horizontally-Partitioned Data Memory Subsystem and Data
Partitioning Technique for Coarse-Grained Reconfigurable Arrays |
장춘기 (서울대) |
|
| Practical and Precise String Analysis | 최태형 (한양대) |
|
11:20-12:20 | 학생 발표 세션 III | | 안준선 (항공대) |
|
| AST-based Exact-Clone Detection | 이효섭 (한양대) |
|
| Subtypes as Subsets and Multiple Type Assignments | 차리서 (고려대) |
|
| Abstracting Behavior of Synchronous Reactive Systems | 안윤경 (KAIST) |
|
12:20-12:40 | 폐회 및 사진촬영 |
|
12:40-13:40 | 점심 |
