30:03 FHPNC 2021 - Generating High Performance Code for Irregular Data Structures using Dependent Types ACM SIGPLAN
29:17 FHPNC 2021 - Parallelism-preserving automatic differentiation for second-order array languages ACM SIGPLAN