세부 프로그램 일정

　　■ 2월 22일

개 회 식	1:30 ~ 1:50
튜토리얼	2:00 ~ 2:50
	공리적 의미론의 소개: 다익스트라의 술어변환자를 중심으로 (요약) 　- 발표자: 김도형 (성신여대)
발　　표	논문 세션 I 3:00 - 4:15	논문 세션 II 4:30 ~ 6:10
	교환기 소프트웨어 개발에서 프로그래밍 언어와 컴파일러 기술 요구 (요약, 본문) 권경인 (LG 정보통신)	프로그래밍언어학습을 위한 가상실습환경 (요약, 본문, 발표자료) 이수현, 배성훈, 김수근, 노미라 (창원대)
	Ada Real-time State Machine (요약, 본문)     이문근, 정명선 (전북대학교)	An Uncaught Exception Analysis of Java 　(요약, 본문) 창병모 (숙명여대), 이광근 (KAIST)
	정적분석의 실행시간 전문화에 관한 연구 　(요약, 본문) 어현준, 이광근 (KAIST)	정리증명에서 순환함수 사용 (요약, 본문) 배민오 (동덕여대)
		유연한 컴포넌트 결합을 지원하는 컴포넌트 모델 (요약, 본문) 류기열, 이정태, 김윤명 (아주대)

　　■ 2월 23일

튜토리얼	9:00 ~ 9:50
	의미구조의 모듈화 향상을 위한 기법 (요약)    - 발표자: 도경구 (한양대)
발표	논문 세션 III 10:00 ~ 11:15	논문 세션 IV 11:30 ~ 12:45
	ML 프로그램에서 예외상황을 발생시키는 테스트 데이타 생성 방법 (요약, 본문) 류석영, 이광근 (KAIST)	Persistent Java에서 동시성 제어 (요약, 본문) 이정태, 류기열, 백경원 (아주대)
	값을 자르는 분석 (Static Value Slicing) (요약) 이광근 (KAIST)	LaTTe: a Java VM Just-in-Time Compiler 　(요약, 본문) 이승일, 이준표, 문수묵 (서울대)
	CC-NUMA구조를 위한 자동 쓰레드 생성 컴파일러에 관한 연구 (요약, 본문) 김홍숙, 나상옥, 한동수 (한국정보통신대학원) 지동해 (한국전자통신연구원)	UltraSPARC를 위한 명령어 스케쥴링 　(요약, 본문) 윤한샘, 문수묵 (서울대)