Witnessing Purity, Constancy and Mutability. - Ben Lippmeier (APLAS, 2009)

Regular, shape-polymorphic, parallel arrays in Haskell. - Gabriele Keller; Manuel M. T. Chakravarty; Roman Leshchinskiy; Simon L. Peyton Jones; Ben Lippmeier (ICFP, 2010)

Efficient parallel stencil convolution in Haskell. - Ben Lippmeier; Gabriele Keller (Haskell, 2011)

Vectorisation avoidance. - Gabriele Keller; Manuel M. T. Chakravarty; Roman Leshchinskiy; Ben Lippmeier; Simon L. Peyton Jones (Haskell, 2012)

Guiding parallel array fusion with indexed types. - Ben Lippmeier; Manuel M. T. Chakravarty; Gabriele Keller; Simon L. Peyton Jones (Haskell, 2012)

Work efficient higher-order vectorisation. - Ben Lippmeier; Manuel M. T. Chakravarty; Gabriele Keller; Roman Leshchinskiy; Simon L. Peyton Jones (ICFP, 2012)

Data flow fusion with series expressions in Haskell. - Ben Lippmeier; Manuel M. T. Chakravarty; Gabriele Keller; Amos Robinson (Haskell, 2013)

Optimising purely functional GPU programs. - Trevor L. McDonell; Manuel M. T. Chakravarty; Gabriele Keller; Ben Lippmeier (ICFP, 2013)

Fusing filters with integer linear programming. - Amos Robinson; Ben Lippmeier; Gabriele Keller (FHPC@ICFP, 2014)

Polarized data parallel data flow. - Ben Lippmeier; Fil Mackay; Amos Robinson (FHPC@ICFP, 2016)

Icicle: write once, run once. - Amos Robinson; Ben Lippmeier (FHPC@ICFP, 2016)

Machine fusion: merging merges, more or less. - Amos Robinson; Ben Lippmeier (PPDP, 2017)

Smart Contracts as Authorized Production Rules. - Ben Lippmeier; Amos Robinson; Andrae Muys (PPDP, 2019)