Future Directions for Optimizing Compilers
Nuno P. Lopes, John Regehr

TL;DR
This paper discusses the challenges and future directions in optimizing compiler design to improve speed, correctness, and output quality amidst growing software complexity and hardware limitations.
Contribution
It highlights key research areas and strategies for making optimizing compilers faster, more reliable, and capable of exploiting advanced hardware features.
Findings
Identifies the need for balancing optimization quality and compilation speed.
Emphasizes importance of correctness and bug reduction in compiler development.
Suggests future research directions for compiler efficiency and capability improvements.
Abstract
As software becomes larger, programming languages become higher-level, and processors continue to fail to be clocked faster, we'll increasingly require compilers to reduce code bloat, eliminate abstraction penalties, and exploit interesting instruction sets. At the same time, compiler execution time must not increase too much and also compilers should never produce the wrong output. This paper examines the problem of making optimizing compilers faster, less buggy, and more capable of generating high-quality output.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsParallel Computing and Optimization Techniques · Logic, programming, and type systems · Formal Methods in Verification
