Manuel M T Chakravarty

Cited by

	All	Since 2016
Citations	3340	961
h-index	28	16
i10-index	52	22

280

140

210

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202110 18 25 23 24 26 23 29 41 45 73 153 170 192 204 263 252 254 234 260 215 229 172 163 173 8

Co-authors

Gabriele KellerUtrecht UniversityVerified email at uu.nl
Simon Peyton JonesMicrosoft ResearchVerified email at microsoft.com
Ben LippmeierGhost LocomotionVerified email at ouroborus.net
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at hs-karlsruhe.de
Vinod GroverNVIDIA 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
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Sean SeefriedResearch Engineer, NICTAVerified email at nicta.com.au
Kevin DonnellyGoogle Inc.Verified email at google.com
Gerwin KleinData61 and UNSWVerified email at cse.unsw.edu.au
John DarlingtonProfessor of Computing, Imperial College LondonVerified email at imperial.ac.uk
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
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
Ryan NewtonMIT, Indiana University, FacebookVerified email at indiana.edu
Gernot HeiserProfessor of Computer Science, UNSW Sydney, and Data61, CSIROVerified 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	273	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
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	270	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
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	174	2008
Harnessing the multicores: Nested data parallelism in Haskell SP Jones, R Leshchinskiy, G Keller, MMT Chakravarty FSTTCS 2008 2, 383-414, 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
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
An LLVM backend for GHC DA Terei, MMT Chakravarty Proceedings of the third ACM Haskell symposium on Haskell, 109-120, 2010	60	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	55	2006
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 Generative Programming and Component Engineering, 201-211, 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 Beneﬁts of Teaching Purely Functional Programming in First Year MMT Chakravarty, G Keller	43	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

Upload PDF

Follow this author

Cited by

Co-authors