컴파일러 최적화 휴리스틱을 위한 정형 성능 및 컴파일 시간 보장

Formal Perf. and Compile Time Guarantees for Compiler Optimization Heuristics