BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Estonia
1 × France
1 × Italy
1 × United Kingdom
2 × Canada
6 × USA
Collaborated with:
M.M.T.Chakravarty B.Lippmeier S.L.P.Jones T.L.McDonell R.Leshchinskiy R.Clifton-Everest S.Seefried D.Dreyer R.Harper S.Marlow A.Robinson H.Chaffey-Millar D.Stewart C.Barner-Kowollik T.C.Murray S.Amani L.O'Connor Z.Chen G.Klein G.Heiser L.Ryzhyk Alex Hixon C.Rizkallah P.Chubb Joel Beeren Y.Nagashima J.Lim T.Sewell Joseph Tuong
Talks about:
haskel (5) array (5) type (5) parallel (4) fusion (3) vectoris (2) function (2) program (2) optimis (2) system (2)

Person: Gabriele Keller

DBLP DBLP: Keller:Gabriele

Facilitated 1 volumes:

Haskell 2007Ed

Contributed to:

PADL 20142014
ICFP 20132013
PLOS 20132013
ICFP 20122012
ICFP 20102010
PADL 20082008
POPL 20072007
ICFP 20052005
POPL 20052005
GPCE 20042004
AFP 20022002
ICFP 20012001
ICFP 20002000
Haskell 20112011
Haskell 20122012
Haskell 20132013
Haskell 20172017
ASPLOS 20162016

Wrote 19 papers:

Embedding Foreign Code (RCE, TLM, MMTC, GK), pp. 136–151.
ICFP-2013-McDonellCKL #functional #gpu #optimisation #source code
Optimising purely functional GPU programs (TLM, MMTC, GK, BL), pp. 49–60.
PLOS-2013-KellerMAOCRKH #exclamation #file system #verification
File systems deserve verification too! (GK, TCM, SA, LO, ZC, LR, GK, GH), p. 7.
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.
PADL-2008-KellerCCSB #generative #monte carlo
Specialising Simulator Generators for High-Performance Monte-Carlo Methods (GK, HCM, MMTC, DS, CBK), pp. 116–132.
POPL-2007-DreyerHCK #composition
Modular type classes (DD, RH, MMTC, GK), pp. 63–70.
Associated type synonyms (MMTC, GK, SLPJ), pp. 241–253.
Associated types with class (MMTC, GK, SLPJ, SM), pp. 1–13.
GPCE-2004-SeefriedCK #domain-specific language #embedded #haskell #optimisation #using
Optimising Embedded DSLs Using Template Haskell (SS, MMTC, GK), pp. 186–205.
AFP-2002-ChakravartyK02 #approach #array #haskell #performance
An Approach to Fast Arrays in Haskell (MMTC, GK), pp. 27–58.
ICFP-2001-ChakravartyK #array #functional
Functional Array Fusion (MMTC, GK), pp. 205–216.
ICFP-2000-ChakravartyK #parallel #programming
More types for nested data parallel programming (MMTC, GK), pp. 94–105.
Haskell-2011-LippmeierK #haskell #parallel #performance
Efficient parallel stencil convolution in Haskell (BL, GK), pp. 59–70.
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.
Haskell-2017-Clifton-Everest #array #streaming
Streaming irregular arrays (RCE, TLM, MMTC, GK), pp. 174–185.
ASPLOS-2016-AmaniHCRCOBNLST #file system #implementation #named #verification
CoGENT: Verifying High-Assurance File System Implementations (SA, AH, ZC, CR, PC, LO, JB, YN, JL, TS, JT, GK, TCM, GK, GH), pp. 175–188.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.