Regular, shape-polymorphic, parallel arrays in Haskell G Keller, MMT Chakravarty, R Leshchinskiy, S Peyton Jones, B Lippmeier International Conference on Functional Programming | 80 | | 2010 |

Efficient parallel stencil convolution in Haskell B Lippmeier, G Keller Haskell Symposium | 17 | | 2011 |

Optimising Purely Functional GPU Programs TL McDonell, MMT Chakravarty, G Keller, B Lippmeier International Conference on Functional Programming | 12 | | 2013 |

Guiding parallel array fusion with indexed types B Lippmeier, M Chakravarty, G Keller, S Peyton Jones Haskell Symposium | 10 | | 2012 |

Type inference and optimisation for an impure world B Lippmeier Australian National University | 7 | | 2010 |

Witnessing Purity, Constancy and Mutability B Lippmeier Asian Symposium on Programming Languages and Systems | 5 | | 2009 |

Vectorisation avoidance G Keller, MMT Chakravarty, R Leshchinskiy, B Lippmeier, S Peyton Jones Haskell Symposium | 4 | | 2012 |

Work efficient higher-order vectorisation B Lippmeier, MMT Chakravarty, G Keller, R Leshchinskiy, S Peyton Jones International Conference on Functional Programming | 3 | | 2012 |

Data Flow Fusion with Series Expressions in Haskell B Lippmeier, MMT Chakravarty, G Keller, A Robinson Haskell Symposium | 2 | | 2013 |

Fusing Filters with Integer Linear Programming A Robinson, B Lippmeier, G Keller | | | |

Mechanized soundness for a type and effect system with region deallocation B Lippmeier | | | |