Ben Lippmeier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
4
Active years
2009–2019
Best venue rank
A
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | PPDP | Smart Contracts as Authorized Production Rules. | Ben Lippmeier, Amos Robinson, Andrae Muys |
| 2017 | PPDP | Machine fusion: merging merges, more or less. | Amos Robinson, Ben Lippmeier |
| 2016 | ICFP | Polarized data parallel data flow. | Ben Lippmeier, Fil Mackay, Amos Robinson |
| 2016 | ICFP | Icicle: write once, run once. | Amos Robinson, Ben Lippmeier |
| 2014 | ICFP | Fusing filters with integer linear programming. | Amos Robinson, Ben Lippmeier, Gabriele Keller |
| 2013 | HASKELL | Data flow fusion with series expressions in Haskell. | Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson |
| 2013 | ICFP | Optimising purely functional GPU programs. | Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier |
| 2012 | HASKELL | Vectorisation avoidance. | Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones |
| 2012 | HASKELL | Guiding parallel array fusion with indexed types. | Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones |
| 2012 | ICFP | Work efficient higher-order vectorisation. | Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones |
| 2011 | HASKELL | Efficient parallel stencil convolution in Haskell. | Ben Lippmeier, Gabriele Keller |
| 2010 | ICFP | Regular, shape-polymorphic, parallel arrays in Haskell. | Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier |
| 2009 | APLAS | Witnessing Purity, Constancy and Mutability. | Ben Lippmeier |