Gabriele Keller
Title
Cited by
Cited by
Year
Data Parallel Haskell: a status report
MMT Chakravarty, R Leshchinskiy, S Peyton Jones, G Keller, S Marlow
Proceedings of the 2007 workshop on Declarative aspects of multicore …, 2007
2622007
Accelerating Haskell array codes with multicore GPUs
MMT Chakravarty, G Keller, S Lee, TL McDonell, V Grover
Proceedings of the sixth workshop on Declarative aspects of multicore …, 2011
2532011
Associated type synonyms
MMT Chakravarty, G Keller, SP Jones
ACM SIGPLAN Notices 40 (9), 241-253, 2005
2412005
Associated types with class
MMT Chakravarty, G Keller, SP Jones, S Marlow
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
2242005
Regular, shape-polymorphic, parallel arrays in Haskell
G Keller, MMT Chakravarty, R Leshchinskiy, S Peyton Jones, B Lippmeier
ACM Sigplan Notices 45 (9), 261-272, 2010
1712010
Harnessing the multicores: Nested data parallelism in Haskell
S Peyton Jones, R Leshchinskiy, G Keller, MMT Chakravarty
IARCS Annual Conference on Foundations of Software Technology and …, 2008
1562008
Optimising purely functional GPU programs
TL McDonell, MMT Chakravarty, G Keller, B Lippmeier
ACM SIGPLAN Notices 48 (9), 49-60, 2013
962013
Nepal—nested data parallelism in Haskell
MMT Chakravarty, G Keller, R Lechtchinsky, W Pfannenstiel
European Conference on Parallel Processing, 524-534, 2001
922001
Cogent: Verifying high-assurance file system implementations
S Amani, A Hixon, Z Chen, C Rizkallah, P Chubb, L O'Connor, J Beeren, ...
ACM SIGARCH Computer Architecture News 44 (2), 175-188, 2016
662016
Modular type classes
D Dreyer, R Harper, MMT Chakravarty, G Keller
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
642007
A parallelised high performance Monte Carlo simulation approach for complex polymerisation kinetics
H Chaffey‐Millar, D Stewart, MMT Chakravarty, G Keller, ...
Macromolecular Theory and Simulations 16 (6), 575-592, 2007
622007
More types for nested data parallel programming
MMT Chakravarty, G Keller
ACM SIGPLAN Notices 35 (9), 94-105, 2000
542000
GPU kernels as data-parallel array computations in Haskell
S Lee, MMT Chakravarty, V Grover, G Keller
Workshop on Exploiting Parallelism using GPUs and other Hardware-Assisted …, 2009
482009
Optimising embedded dsls using template haskell
S Seefried, M Chakravarty, G Keller
International Conference on Generative Programming and Component Engineering …, 2004
472004
The risks and benefits of teaching purely functional programming in first year
MMT Chakravarty, G Keller
Journal of Functional Programming 14 (1), 113-123, 2004
422004
Guiding parallel array fusion with indexed types
B Lippmeier, M Chakravarty, G Keller, S Peyton Jones
Proceedings of the 2012 Haskell Symposium, 25-36, 2012
412012
Flattening trees
G Keller, MMT Chakravarty
European Conference on Parallel Processing, 709-719, 1998
371998
Higher order flattening
R Leshchinskiy, MMT Chakravarty, G Keller
International Conference on Computational Science, 920-928, 2006
362006
A functional perspective on SSA optimisation algorithms
MMT Chakravarty, G Keller, P Zadarnowski
Electronic Notes in Theoretical Computer Science 82 (2), 347-361, 2004
362004
Functional array fusion
MMT Chakravarty, G Keller
Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001
332001
The system can't perform the operation now. Try again later.
Articles 1–20