| 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 | 274 | 2011 |
| 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 | 273 | 2007 |
| Associated type synonyms MMT Chakravarty, G Keller, SP Jones ACM SIGPLAN Notices 40 (9), 241-253, 2005 | 244 | 2005 |
| Associated types with class MMT Chakravarty, G Keller, SP Jones, S Marlow Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005 | 228 | 2005 |
| 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 | 179 | 2010 |
| 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 | 162 | 2008 |
| Optimising purely functional GPU programs TL McDonell, MMT Chakravarty, G Keller, B Lippmeier ACM SIGPLAN Notices 48 (9), 49-60, 2013 | 107 | 2013 |
| Nepal—nested data parallelism in Haskell MMT Chakravarty, G Keller, R Lechtchinsky, W Pfannenstiel European Conference on Parallel Processing, 524-534, 2001 | 96 | 2001 |
| 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 | 84 | 2016 |
| 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 | 72 | 2007 |
| Modular type classes D Dreyer, R Harper, MMT Chakravarty, G Keller Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007 | 67 | 2007 |
| More types for nested data parallel programming MMT Chakravarty, G Keller ACM SIGPLAN Notices 35 (9), 94-105, 2000 | 53 | 2000 |
| 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 | 52 | 2009 |
| Optimising embedded dsls using template haskell S Seefried, M Chakravarty, G Keller International Conference on Generative Programming and Component Engineering …, 2004 | 49 | 2004 |
| 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 | 45 | 2012 |
| A functional perspective on SSA optimisation algorithms MMT Chakravarty, G Keller, P Zadarnowski Electronic Notes in Theoretical Computer Science 82 (2), 347-361, 2004 | 43 | 2004 |
| The Risks and Benefits of Teaching Purely Functional Programming in First Year MMT Chakravarty, G Keller | 43 | 2004 |
| Flattening trees G Keller, MMT Chakravarty European Conference on Parallel Processing, 709-719, 1998 | 37 | 1998 |
| Higher order flattening R Leshchinskiy, MMT Chakravarty, G Keller International Conference on Computational Science, 920-928, 2006 | 36 | 2006 |
| Functional array fusion MMT Chakravarty, G Keller Proceedings of the Sixth ACM SIGPLAN International Conference on Functional …, 2001 | 34 | 2001 |
Manuel M T ChakravartyTweag I/O & IOHKVerified email at justtesting.org
