Manuel M T Chakravarty

Cited by

	All	Since 2018
Citations	3757	909
h-index	30	17
i10-index	57	23

280

140

210

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202314 27 25 23 27 21 28 44 56 69 163 158 187 209 254 264 264 246 256 220 223 177 190 173 186 174 7

Public access

View all

3 articles

1 article

available

not available

Based on funding mandates

Co-authors

Gabriele KellerUtrecht UniversityVerified email at uu.nl
Ben LippmeierGhost LocomotionVerified email at ouroborus.net
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at h-ka.de
Vinod GroverSr Distinguished Engineer, NVIDIA CorporationVerified email at nvidia.com
Simon MarlowFacebookVerified email at fb.com
Don StewartUniversity of New South WalesVerified email at cse.unsw.edu.au
Yike GuoProfessor of Computing Science , Imperial College LondonVerified email at doc.ic.ac.uk
Christopher Barner-KowollikQueensland Unversity of TechnologyVerified email at qut.edu.au
Sean SeefriedResearch Engineer, NICTAVerified email at nicta.com.au
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Kevin DonnellyGoogle Inc.Verified email at google.com
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
David TereiStanford UniversityVerified email at scs.stanford.edu
Ryan NewtonMIT, Indiana University, FacebookVerified email at indiana.edu
Kevin ElphinstoneUniversity of New South WalesVerified email at cse.unsw.edu.au
David CockGraduate Researcher, NICTA and University of New South WalesVerified email at cse.unsw.edu.au
John DarlingtonProfessor of Computing, Imperial College LondonVerified email at imperial.ac.uk
Frederik Meisner MadsenPhD i datalogi, Københavns UniversitetVerified email at diku.dk
Gernot HeiserProfessor of Computer Science, UNSW SydneyVerified email at unsw.edu.au

Manuel M T Chakravarty

Tweag I/O & IOHK

Verified email at justtesting.org - Homepage

Programming languages Parallel programming Functional programming Type theory


Title Sort by citations Sort by year Sort by 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	313	2011
System F with type equality coercions M Sulzmann, MMT Chakravarty, SP Jones, K Donnelly Proceedings of the 2007 ACM SIGPLAN international workshop on Types in …, 2007	304	2007
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	280	2007
Associated type synonyms MMT Chakravarty, G Keller, SP Jones ACM SIGPLAN Notices 40 (9), 241-253, 2005	271	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	253	2005
Type checking with open type functions T Schrijvers, S Peyton Jones, M Chakravarty, M Sulzmann Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008	193	2008
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	189	2010
Harnessing the multicores: Nested data parallelism in Haskell SP Jones, R Leshchinskiy, G Keller, MMT Chakravarty FSTTCS 2008 2, 383-414, 2008	179*	2008
Optimising purely functional GPU programs TL McDonell, MMT Chakravarty, G Keller, B Lippmeier ACM SIGPLAN Notices 48 (9), 49-60, 2013	132	2013
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	105	2001
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	86	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	73	2007
An LLVM backend for GHC DA Terei, MMT Chakravarty Proceedings of the third ACM Haskell symposium on Haskell, 109-120, 2010	69	2010
Running the manual: An approach to high-assurance microkernel development P Derrin, K Elphinstone, G Klein, D Cock, MMT Chakravarty Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, 60-71, 2006	58	2006
More types for nested data parallel programming MMT Chakravarty, G Keller ACM SIGPLAN Notices 35 (9), 94-105, 2000	58	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	53	2009
A functional perspective on SSA optimisation algorithms MMT Chakravarty, G Keller, P Zadarnowski Electronic Notes in Theoretical Computer Science 82 (2), 347-361, 2004	51	2004
The extended UTXO model MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, ... Financial Cryptography and Data Security: FC 2020 International Workshops …, 2020	50	2020
Optimising embedded DSLs using Template Haskell S Seefried, M Chakravarty, G Keller Generative Programming and Component Engineering, 201-211, 2004	49	2004
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	48	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors