Ben Lippmeier

14 papers A 3B 1C 7Unranked 3
YearRankTypeTitle / Venue / Authors
2019 C conf
Smart Contracts as Authorized Production Rules.
PPDP
Ben Lippmeier, Amos Robinson, Andrae Muys
2017 C conf
Machine fusion: merging merges, more or less.
PPDP
Amos Robinson, Ben Lippmeier
2016 — conf
Icicle: write once, run once.
FHPC@ICFP
Amos Robinson, Ben Lippmeier
2016 — conf
Polarized data parallel data flow.
FHPC@ICFP
Ben Lippmeier, Fil Mackay, Amos Robinson
2015 C ed.
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015
Haskell
Ben Lippmeier
2014 — conf
Fusing filters with integer linear programming.
FHPC@ICFP
Amos Robinson, Ben Lippmeier, Gabriele Keller
2013 C conf
Data flow fusion with series expressions in Haskell.
Haskell
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson
2013 A conf
Optimising purely functional GPU programs.
ICFP
Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier
2012 C conf
Guiding parallel array fusion with indexed types.
Haskell
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
2012 C conf
Vectorisation avoidance.
Haskell
Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones
2012 A conf
Work efficient higher-order vectorisation.
ICFP
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones
2011 C conf
Efficient parallel stencil convolution in Haskell.
Haskell
Ben Lippmeier, Gabriele Keller
2010 A conf
Regular, shape-polymorphic, parallel arrays in Haskell.
ICFP
Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier
2009 B conf
Witnessing Purity, Constancy and Mutability.
APLAS
Ben Lippmeier