Manuel M T Chakravarty

Cited by

	All	Since 2016
Citations	3530	1118
h-index	29	17
i10-index	54	24

280

140

210

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202110 18 27 26 23 26 22 30 42 47 72 155 169 197 208 262 260 255 243 263 213 229 182 176 176 141

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

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
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	290	2007
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	285	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	281	2007
Associated type synonyms MMT Chakravarty, G Keller, SP Jones ACM SIGPLAN Notices 40 (9), 241-253, 2005	260	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	243	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	187	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	181	2008
Harnessing the multicores: Nested data parallelism in Haskell SP Jones, R Leshchinskiy, G Keller, MMT Chakravarty FSTTCS 2008 2, 383-414, 2008	169*	2008
Optimising purely functional GPU programs TL McDonell, MMT Chakravarty, G Keller, B Lippmeier ACM SIGPLAN Notices 48 (9), 49-60, 2013	115	2013
Nepal—nested data parallelism in Haskell MMT Chakravarty, G Keller, R Lechtchinsky, W Pfannenstiel European Conference on Parallel Processing, 524-534, 2001	100	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	79	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	69	2007
An LLVM backend for GHC DA Terei, MMT Chakravarty Proceedings of the third ACM Haskell symposium on Haskell, 109-120, 2010	67	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	55	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	44	2004
The Haskell Foreign Function Interface 1.0: An Addendum to the Haskell 98 Report MMT Chakravarty	43	2003

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 this author

Cited by

Co-authors