Follow
Gabriele Keller
Title
Cited by
Cited by
Year
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
3452011
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
2942007
Associated type synonyms
MMT Chakravarty, G Keller, SP Jones
ACM SIGPLAN Notices 40 (9), 241-253, 2005
2842005
Associated types with class
MMT Chakravarty, G Keller, SP Jones, S Marlow
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
2652005
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
2002010
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
1912008
Optimising purely functional GPU programs
TL McDonell, MMT Chakravarty, G Keller, B Lippmeier
ACM SIGPLAN Notices 48 (9), 49-60, 2013
1472013
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
1372016
Nepal—nested data parallelism in Haskell
MMT Chakravarty, G Keller, R Lechtchinsky, W Pfannenstiel
Euro-Par 2001 Parallel Processing: 7th International Euro-Par Conference …, 2001
1092001
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
932007
Modular type classes
D Dreyer, R Harper, MMT Chakravarty, G Keller
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
772007
More types for nested data parallel programming
MMT Chakravarty, G Keller
ACM SIGPLAN Notices 35 (9), 94-105, 2000
652000
A functional perspective on SSA optimisation algorithms
MMT Chakravarty, G Keller, P Zadarnowski
Electronic Notes in Theoretical Computer Science 82 (2), 347-361, 2004
612004
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
542004
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
512009
Optimising embedded dsls using template haskell
S Seefried, M Chakravarty, G Keller
International Conference on Generative Programming and Component Engineering …, 2004
512004
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
462012
Flattening trees
G Keller, MMT Chakravarty
Euro-Par’98 Parallel Processing: 4th International Euro-Par Conference …, 1998
441998
Functional array fusion
MMT Chakravarty, G Keller
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional …, 2001
422001
Higher order flattening
R Leshchinskiy, MMT Chakravarty, G Keller
International Conference on Computational Science, 920-928, 2006
382006
The system can't perform the operation now. Try again later.
Articles 1–20