… 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
… 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: