Core Concepts
제어 흐름 정제(CFR) 기술을 확률적 프로그램에 적용하여 자동 복잡도 분석의 성능을 크게 향상시킬 수 있다.
Abstract
이 논문에서는 확률적 프로그램을 위한 새로운 CFR 기술을 소개한다. CFR은 프로그램 변수의 값에 대한 정보를 얻고 실행 불가능한 경로를 제거하여 프로그램 분석을 단순화한다.
기존의 CFR 기술은 비확률적 프로그램에만 적용되었지만, 이 논문에서는 CFR을 확률적 프로그램에 확장하였다.
CFR은 프로그램을 변환하여 복잡도 분석을 더 효과적으로 수행할 수 있게 한다.
이 기술을 KoAT 복잡도 분석기에 통합하여 실험한 결과, 확률적 프로그램의 복잡도 분석 성능이 크게 향상되었다.
Stats
확률적 프로그램의 예상 실행 시간은 일반 전이의 개수로 정의된다.
제어 흐름 정제(CFR)를 통해 프로그램의 예상 실행 시간 복잡도 상한을 개선할 수 있다.
Quotes
"Recently, we showed how to use control-flow refinement (CFR) to improve automatic complexity analysis of integer programs."
"Thus, in this paper, we develop a novel CFR technique for probabilistic programs which could be used as a black box by every complexity analysis tool."