On-the-fly Circuits to Measure the Average Working Set
Size
Kwangkeun Yi and Luddy Harrison
IEEE International Conference on Computer Design:
VLSI in Computers and Processors, Sept. 1990 (Look for it here)
Reports
[Papers in Korean]
국내저널
- "일반화된 Let-다형성 타입 유추 알고리즘",
이욱세, 이광근,
/정보과학회 논문지/, 28(1):73-89, 1월 2001.
- "Let-다형성 타입 유추 알고리즘 M의 병목을 해소하기 위한 혼성 알고리즘 H",
주상현, 이욱세, 이광근,
/정보과학회 논문지/, 27(12):1227-1237, 12월 2000.
- "효과 타입 시스템을 이용한 기계어 코드의 검증",
정재윤, 류석영, 이광근,
/정보과학회 논문지/, 27(8):886-901, 8월 2000.
- "실행시간 전문화를 위한 집합 기반 분석의 준비",
어현준, 이광근,
/정보과학회 논문지/, 27(9):986-1002, 9월 2000.
- "주어진 프로그램에서 예외상황을 발생시키는 테스트 데이타 생성 방법",
류석영, 이광근,
/정보과학회 논문지/, 27(4):342-356, 4월 2000.
- "예외상황 분석을 이용한 계산과정 전달 변환",
김정택, 이광근,
/정보과학회 논문지/, 27(3):275-289, 3월 2000.
- "Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을
효과적으로 예측하는 방법",
류석영, 이광근,
/정보과학회 논문지/,24(11):1267-1283, 11월 1997.
- "하향식 타입 유추 알고리즘 M의 속성 증명",
이욱세, 이광근,
/정보과학회 논문지/, 25(8):1281-1292, 8월 1998.
국내학회록
- "안전한 모듈 지원 함수 흐름 분석",
이욱세, 이광근
/한국 정보과학회 봄 학술 회의/, 26(1): 93-95, 1999년 4월
- "선택적인 CPS 변환에 의한 ML의 예외상황 실행속도의 개선",
김정택, 이광근
/한국 정보과학회 봄 학술 회의/, 26(1):102-104, 1999년 4월
- "스택 머신 코드의 타입 분석",
이욱세, 이광근, 김병철, 권경인
/한국 정보과학회 가을 학술 회의/, 25(2):413-415, 1998년 10월
- "메모리 재활용 장치와 함수 흐름도를 이용한 메모리 소비량 측정기",
오현석, 이광근,
/한국 정보 과학회 97 추계 학술 발표 논문집/, (24)2:319-322,
1997년 10월.
- "분석 생성기 시스템 Z1에서 그래픽 사용자 인터페이스의 자동 생성",
어현준, 이광근, 김성훈,
/한국 정보 과학회 97 추계 학술 발표 논문집/, (24)2:301-304,
1997년 10월.
- "타입 오류를 일찍 감지하는 타입 유추 알고리즘",
이욱세, 이광근,
/한국 정보 과학회 97 봄 학술 발표 논문집/, (24)1:57-60, 1997년 4월.
- "Standard ML 프로그램 식들의 유추된 타입들을 보여 주는 도구의 개발",
편기현, 이광근,
/한국 정보 과학회 97 봄 학술 발표 논문집/, (24)1:41-44, 1997년 4월.
- "Standard ML 프로그래밍", 이광근, 류석영,
/정보과학회 회지/, (15)1:5-10, 1997년 1월.
- "타입환경상의 편리한 프로그램 작성을 위한 도구",
이욱세, 편기현, 이광근,
/한국 정보과학회 프로그래밍 언어 연구회 회지/, (10)1:28-36, 1996년 12월.
- "Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을 예측하는 방법",
류석영, 이광근,
/한국 정보 과학회 96 가을 학술 발표 논문집/, 23(2):807-810,
1996년 10월.
- "프로그래밍 언어에서의 타입 구조의 역할",
이욱세, 편기현, 이광근,
/정보과학회 회지/, (15)1:11-15, 1997년 1월.
