59:51 01 Regularizing the irregular: analyses and transformations for recursive, irregular applications ICFP Video
27:43 02 Generate and Offshore: Type safe and Modular Code Generation for Low Level Optimization ICFP Video
24:38 04 Converting Data Parallelism to Task Parallelism by Rewrites: Purely Functional Programs Across Mu ICFP Video
