Manuel M. T. Chakravarty

Author

Also Known As

Assessor Ken Robinson, Chakravarty, Manuel M T, Chakravarty, Manuel M. T., M. CHAKRAVARTY, M.M.T. Chakravarty, MANUEL M. T. CHAKRAVARTY, Manuel Chakravarty, Manuel M. T. Chakravarty, Manuel M.T. Chakravarty

111

Publications

2.8K

Citations

H-Index

Concepts

All Affiliations

UNSW Sydney Microsoft Research (United Kingdom)Microsoft (United States)KU Leuven Carnegie Mellon University

About

Manuel M. T. Chakravarty is an author at UNSW Sydney specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	21	32	2.2K
2	Education	1	1	38
3	Language Studies	1	1	236
4	Natural Sciences	1	1	72
5	Chemistry	1	1	72

Manuel M. T. Chakravarty

Publications

2.2K

Citations

H-Index

Page 1

	Year	Citations
Accelerating Haskell array codes with multicore GPUs Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Cluster ComputingExpert KnowledgeGpu ArchitectureEngineeringGpu Benchmarking	2011	242
System F with type equality coercions Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones, Explicit WitnessesSystem FEngineeringAutomated ReasoningType Theory	2007	236
Associated type synonyms Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones Type SynonymsEngineeringAssociated Type SynonymsType TheoryHaskell Programmers	2005	221
Associated types with class Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, EngineeringData TypeGeneric ProgrammingProgram AnalysisAutomated Reasoning	2005	199
Data parallel Haskell Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Cluster ComputingEngineeringComputer ArchitectureParallel ImplementationSmp Parallelism	2007	198
Regular, shape-polymorphic, parallel arrays in Haskell Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Multi-dimensional ArraysParallel ArraysArray ComputingEngineeringGeneric Programming	2010	153
Type checking with open type functions Tom Schrijvers, Simon Peyton Jones, Manuel M. T. Chakravarty, ACM SIGPLAN Notices EngineeringProgram AnalysisAutomated ReasoningOpen Type-level FunctionsVerification	2008	108
Type checking with open type functions Tom Schrijvers, Simon Peyton Jones, Manuel M. T. Chakravarty, EngineeringProgram AnalysisAutomated ReasoningOpen Type-level FunctionsVerification	2008	92
Optimising purely functional GPU programs Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Simd HardwareEngineeringGpu BenchmarkingComputer ArchitectureEmbedded Systems	2013	86
Harnessing the Multicores: Nested Data Parallelism in Haskell Simon Jones, Roman Leshchinskiy, Gabriele Keller, DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) Data ParallelismEngineeringData-level ParallelismParallel SoftwareProgram Analysis	2008	78

Page 1