Ben Lippmeier

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Smart Contracts as Authorized Production Rules.
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2017
Machine fusion: merging merges, more or less.
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2016
Icicle: write once, run once.
Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

Polarized data parallel data flow.
Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

2014
Fusing filters with integer linear programming.
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

2013
Optimising purely functional GPU programs.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Data flow fusion with series expressions in Haskell.
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012
Work efficient higher-order vectorisation.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Guiding parallel array fusion with indexed types.
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

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

2011
Efficient parallel stencil convolution in Haskell.
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010
Regular, shape-polymorphic, parallel arrays in Haskell.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009
Witnessing Purity, Constancy and Mutability.
Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009


  Loading...