Concepedia

Manuel M. T. Chakravarty

MM

36

Publications

2.2K

Citations

22

H-Index

1998

Active since

Affiliations

UNSW Sydney(Current)

Microsoft Research (United Kingdom)

Microsoft (United States)

Carnegie Mellon University

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

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsComputer EngineeringParallel ComputingParallel ProgrammingComputer ArchitectureSoftware AnalysisFormal Verification

Publications per year

1998–2017

36

Publications

36

Accelerating Haskell array codes with multicore GPUs

Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee et al. · 2011 · 242 citations

Cluster Computing, Expert Knowledge, Gpu Architecture +15

System F with type equality coercions

Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones et al. · 2007 · 236 citations

Explicit Witnesses, System F, Engineering +14

Associated type synonyms

Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones · 2005 · 221 citations

Type Synonyms, Engineering, Associated Type Synonyms +11

Associated types with class

Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones et al. · 2005 · 199 citations

Engineering, Data Type, Generic Programming +14

Data parallel Haskell

Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones et al. · 2007 · 198 citations

Cluster Computing, Engineering, Computer Architecture +19

Rows per page

1–5 of 36