Ben Lippmeier

According to our database, Ben Lippmeier authored at least 13 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Smart Contracts as Authorized Production Rules.

Ben Lippmeier, Amos Robinson, Andrae Muys

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2017

Machine fusion: merging merges, more or less.

Amos Robinson, Ben Lippmeier

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2016

Icicle: write once, run once.

Amos Robinson, Ben Lippmeier

Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

Polarized data parallel data flow.

Ben Lippmeier, Fil Mackay, Amos Robinson

Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

2014

Fusing filters with integer linear programming.

Amos Robinson, Ben Lippmeier, Gabriele Keller

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

2013

Optimising purely functional GPU programs.

Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Data flow fusion with series expressions in Haskell.

Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012

Work efficient higher-order vectorisation.

Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Guiding parallel array fusion with indexed types.

Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

Vectorisation avoidance.

Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

2011

Efficient parallel stencil convolution in Haskell.

Ben Lippmeier, Gabriele Keller

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010

Regular, shape-polymorphic, parallel arrays in Haskell.

Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

Witnessing Purity, Constancy and Mutability.

Ben Lippmeier

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009