Ben Lippmeier

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 4

Top Topics

Score Normalization

Symbolic Reasoning

Top Venues

Publications

Ben Lippmeier, Amos Robinson, Andrae Muys
Smart Contracts as Authorized Production Rules. PPDP (2019)
Amos Robinson, Ben Lippmeier
Machine fusion: merging merges, more or less. PPDP (2017)
Ben Lippmeier, Fil Mackay, Amos Robinson
Polarized data parallel data flow. FHPC@ICFP (2016)
Amos Robinson, Ben Lippmeier
Icicle: write once, run once. FHPC@ICFP (2016)
Amos Robinson, Ben Lippmeier, Gabriele Keller
Fusing filters with integer linear programming. FHPC@ICFP (2014)
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson
Data flow fusion with series expressions in Haskell. Haskell (2013)
Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier
Optimising purely functional GPU programs. ICFP (2013)
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
Guiding parallel array fusion with indexed types. Haskell (2012)
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones
Work efficient higher-order vectorisation. ICFP (2012)
Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones
Vectorisation avoidance. Haskell (2012)
Ben Lippmeier, Gabriele Keller
Efficient parallel stencil convolution in Haskell. Haskell (2011)
Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier
Regular, shape-polymorphic, parallel arrays in Haskell. ICFP (2010)
Ben Lippmeier
Witnessing Purity, Constancy and Mutability. APLAS (2009)