	NAND 플래시 메모리 파일 시스템에서 빠른 연산을 위한 설계
	진종원 이태훈 정기동 Jongwon Jin Taehoon Lee Kidong Chung
	한국정보과학회 논문지 C - 컴퓨팅의 실제, VOL 14 NO. 01 PP. 0091 ~ 0095 2008. 02
	MLC - LFU : 플래시 메모리를 위한 멀티레벨 버퍼 캐시 관리 정책
	옥동석 이태훈 정기동 Dongseok Ok Taehoon Lee Kidong Chung
	한국정보과학회 논문지 C - 컴퓨팅의 실제, VOL 15 NO. 01 PP. 0014 ~ 0020 2009. 01

학술대회 프로시딩 (20)

	모델 체킹을 이용한 JUnit 기반 테스트 드라이버 자동 생성
	이태훈 권기현 Taehoon Lee Gihwon Kwon
	한국정보과학회 한국컴퓨터종합학술대회 2008, VOL 35 NO. 01(A) PP. 0064 ~ 0065 2008. 06
	SMT 를 이용한 자바 메모리 모델 시뮬레이션
	이태훈 권기현 Taehoon Lee Gihwon Kwon
	한국정보과학회 한국컴퓨터종합학술대회 2008, VOL 35 NO. 01(A) PP. 0072 ~ 0073 2008. 06