2016년 컴퓨터종합학술대회
Current Result Document :
| 한글제목(Korean Title) |
ZooBerry: 최적화된 정적 분석기 및 검산기의 자동 생성 |
| 영문제목(English Title) |
ZooBerry: Automatic Generation of Sparse Global Static Analyzers & Their Validators |
| 저자(Author) |
조성근
이광근
Sungkeun Cho
Kwangkeun Yi
|
| 원문수록처(Citation) |
VOL 43 NO. 01 PP. 1718 ~ 1720 (2016. 06) |
한글내용
(Korean Abstract) |
지난 10여 년간 스파스 분석를 비롯하여 다양한 분석기 최적화 기술들이 개발되어 왔지만 높은 구현 및 디버깅 비용으로 인해 분석 비전문가가 이를 직접 이용하기는 쉽지 않았다. 우리는 분석기 자동 생성 시스템 ZooBerry를 통하여 이 문제를 해결하고자 한다. ZooBerry는 사용자로부터 핵심 분석 명세를 입력받아 최적화된 분석기와 이를 위한 검증된 검산기를 자동으로 생성한다. 본 논문에서는 자동으로 스파스 분석 최적화를 적용하기 위해 사용된 프로그램 변환 기술과 스파스 분석 결과의 검산 방법에 대해 이야기한다.
|
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
