PET-to-MLIR: A polyhedral front-end for MLIR. - Konrad Komisarczyk; Lorenzo Chelini; Kanishkan Vadivel; Roel Jordans; Henk Corporaal (DSD, 2020)