Ben Lippmeier
Ben Lippmeier
Ghost Locomotion
Verified email at ouroborus.net - Homepage
Title
Cited by
Cited by
Year
Regular, shape-polymorphic, parallel arrays in Haskell
G Keller, MMT Chakravarty, R Leshchinskiy, S Peyton Jones, B Lippmeier
ICFP: International Conference on Functional Programming, 2010
1862010
Optimising Purely Functional GPU Programs
TL McDonell, MMT Chakravarty, G Keller, B Lippmeier
ICFP: International Conference on Functional Programming, 2013
1142013
Guiding parallel array fusion with indexed types
B Lippmeier, M Chakravarty, G Keller, S Peyton Jones
Haskell Symposium, 2012
452012
Efficient parallel stencil convolution in Haskell
B Lippmeier, G Keller
Haskell Symposium, 2011
312011
Vectorisation avoidance
G Keller, MMT Chakravarty, R Leshchinskiy, B Lippmeier, S Peyton Jones
Haskell Symposium, 2012
272012
Type inference and optimisation for an impure world
B Lippmeier
Australian National University, 2010
232010
Data Flow Fusion with Series Expressions in Haskell
B Lippmeier, MMT Chakravarty, G Keller, A Robinson
Haskell Symposium, 2013
222013
Work efficient higher-order vectorisation
B Lippmeier, MMT Chakravarty, G Keller, R Leshchinskiy, S Peyton Jones
ICFP: International Conference on Functional Programming, 2012
182012
Fusing filters with integer linear programming
A Robinson, B Lippmeier, G Keller
FHPC: Functional High-Performance Computing, 2014
112014
Polarized data parallel data flow
B Lippmeier, F Mackay, A Robinson
FHPC: Functional High-Performance Computing, 2016
82016
Witnessing Purity, Constancy and Mutability
B Lippmeier
APLAS: Asian Symposium on Programming Languages and Systems, 2009
72009
Haskell Communities and Activities Report
M Maruseac, AS Mena, A Abel, A Granin, H Apfelmus, D Austin, ...
Viitattu, 2017
22017
Smart Contracts as Authorized Production Rules
B Lippmeier, A Robinson, A Muys
PPDP: Principles and Practice of Declarative Programming, 2019
2019
Machine Fusion: merging merges, more or less
A Robinson, B Lippmeier
PPDP: Principles and Practice of Declarative Programming, 2017
2017
Icicle: write once, run once
A Robinson, B Lippmeier
Functional High-Performance Computing, 2016
2016
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell (Haskell'15)
B Lippmeier
ACM SIGPLAN NOTICES 50 (12), 2015
2015
An AMPLE Implementation
B Lippmeier, C Baker-Finch
2003
A High Temperature Superconducting Microwave Filter for the Narrabri Radio Telescope
B Lippmeier
2001
The system can't perform the operation now. Try again later.
Articles 1–18