… We present an automated technique for generating compiler optimizations from … into broadly applicable optimization rules.
We present a category-theoretic … our technique can also be used to learn query optimizations for relational …
POPL 2010: 389-402 [doi]… examines the problem of making optimizing compilers faster, less buggy, and more … compilers to reduce code bloat, eliminate abstraction penalties, and exploit interesting instruction sets. At the same time, compiler execution time must not increase …
http://arxiv.org/abs/1809.02161, 09 2018.… representation of classical optimizing compilers, designed for single-threaded … of parallel programming languages in the intermediate representation of optimizing … of downstream optimizations. We define the properties we introduce …
In Proceedings of the 15th Workshop on Compilers for Parallel Computers (CPC'10). 2010: