4 ms·Formal Perf. and Compile Time Guarantees for Compiler Optimization Heuristics2 points by matt_d 2mo ago