Manuel M T Chakravarty

Cited by

	All	Since 2019
Citations	4113	1092
h-index	32	18
i10-index	58	23

280

140

210

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202418 19 28 25 32 26 31 44 51 73 163 157 186 210 267 248 257 243 253 219 221 176 190 178 193 203 178 142

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Gabriele KellerUtrecht UniversityVerified email at uu.nl
Simon Peyton JonesEpic GamesVerified email at epicgames.com
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 GuoDept of CSE, The Hong Kong University of Science and TechnologyVerified email at ust.hk
Christopher Barner-KowollikQueensland University of Technology / Karlsruhe Institute 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 KleinProofcraft and UNSWVerified email at unsw.edu.au
Ryan NewtonMIT, Purdue University, Meta PlatformsVerified email at indiana.edu
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 CockSenior Researcher, ETH ZurichVerified email at cse.unsw.edu.au
John DarlingtonProfessor of Computing, Imperial College LondonVerified email at imperial.ac.uk
Martin KoehlerExternal Lecturer, Research Group Scientific Computing, University of ViennaVerified email at walter-group.com

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	345	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	328	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	294	2007
Associated type synonyms MMT Chakravarty, G Keller, SP Jones ACM SIGPLAN Notices 40 (9), 241-253, 2005	283	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	264	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	203	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	200	2010
Harnessing the multicores: Nested data parallelism in Haskell SP Jones, R Leshchinskiy, G Keller, MMT Chakravarty FSTTCS 2008 2, 383-414, 2008	191*	2008
Optimising purely functional GPU programs TL McDonell, MMT Chakravarty, G Keller, B Lippmeier ACM SIGPLAN Notices 48 (9), 49-60, 2013	147	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	109	2001
The extended UTXO model MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, ... Financial Cryptography and Data Security: FC 2020 International Workshops …, 2020	98	2020
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	93	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	77	2007
An LLVM backend for GHC DA Terei, MMT Chakravarty Proceedings of the third ACM Haskell symposium on Haskell, 109-120, 2010	75	2010
More types for nested data parallel programming MMT Chakravarty, G Keller ACM SIGPLAN Notices 35 (9), 94-105, 2000	65	2000
A functional perspective on SSA optimisation algorithms MMT Chakravarty, G Keller, P Zadarnowski Electronic Notes in Theoretical Computer Science 82 (2), 347-361, 2004	61	2004
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	59	2006
Fast isomorphic state channels MMT Chakravarty, S Coretti, M Fitzi, P Gaži, P Kant, A Kiayias, A Russell Financial Cryptography and Data Security: 25th International Conference, FC …, 2021	56	2021
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	54	2004
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	51	2009

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