Travelled to:1 × Denmark
2 × USA
Collaborated with:G.Keller M.M.T.Chakravarty A.Robinson S.L.P.Jones R.Leshchinskiy Andrae Muys T.L.McDonell
Talks about:parallel (3) haskel (3) fusion (3) vectoris (2) effici (2) array (2) merg (2) polymorph (1) function (1) convolut (1)
Person: Ben Lippmeier
DBLP: Lippmeier:Ben
Facilitated 1 volumes:
EdContributed to:
201320122010201120122013
20172019Wrote 9 papers:
- ICFP-2013-McDonellCKL #functional #gpu #optimisation #source code
- Optimising purely functional GPU programs (TLM, MMTC, GK, BL), pp. 49–60.
- ICFP-2012-LippmeierCKLJ #higher-order #performance
- Work efficient higher-order vectorisation (BL, MMTC, GK, RL, SLPJ), pp. 259–270.
- ICFP-2010-KellerCLJL #array #haskell #parallel
- Regular, shape-polymorphic, parallel arrays in Haskell (GK, MMTC, RL, SLPJ, BL), pp. 261–272.
- Haskell-2011-LippmeierK #haskell #parallel #performance
- Efficient parallel stencil convolution in Haskell (BL, GK), pp. 59–70.
- Haskell-2012-KellerCLLJ
- Vectorisation avoidance (GK, MMTC, RL, BL, SLPJ), pp. 37–48.
- Haskell-2012-LippmeierCKJ #array #parallel
- Guiding parallel array fusion with indexed types (BL, MMTC, GK, SLPJ), pp. 25–36.
- Haskell-2013-LippmeierCKR #data flow #haskell
- Data flow fusion with series expressions in Haskell (BL, MMTC, GK, AR), pp. 93–104.
- PPDP-2017-RobinsonL
- Machine fusion: merging merges, more or less (AR, BL), pp. 139–150.
- PPDP-2019-LippmeierRM #contract
- Smart Contracts as Authorized Production Rules (BL, AR, AM), p. 14.