Travelled to:1 × Denmark
1 × Estonia
1 × France
1 × Germany
1 × Japan
1 × The Netherlands
2 × Italy
3 × Canada
4 × United Kingdom
5 × USA
Collaborated with:G.Keller ∅ S.L.P.Jones B.Lippmeier T.L.McDonell D.Stewart A.T.H.Pang R.Leshchinskiy S.Seefried G.Klein R.Clifton-Everest P.Thiemann H.C.R.Lock D.A.Terei S.Winwood Y.Guo M.Köhler T.Schrijvers M.Sulzmann D.Dreyer R.Harper S.Marlow A.Robinson V.Grover R.R.Newton H.Chaffey-Millar C.Barner-Kowollik P.Derrin K.Elphinstone D.Cock
Talks about:haskel (8) type (8) array (5) parallel (4) function (3) fusion (3) lazi (3) code (3) vectoris (2) interfac (2)
Person: Manuel M. T. Chakravarty
DBLP: Chakravarty:Manuel_M=_T=
Facilitated 2 volumes:
EdEdContributed to:
201420132012
2012201020082008
2007
200620052005
20042003
200220012000
1999199919981997
1991
200420052006201020122013201420152017Wrote 31 papers:
- PADL-2014-Clifton-EverestMCK
- Embedding Foreign Code (RCE, TLM, MMTC, GK), pp. 136–151.
- ICFP-2013-McDonellCKL #functional #gpu #optimisation #source code
- Optimising purely functional GPU programs (TLM, MMTC, GK, BL), pp. 49–60.
- ICFP-2012-LippmeierCKLJ #higher-order #performance
- Work efficient higher-order vectorisation (BL, MMTC, GK, RL, SLPJ), pp. 259–270.
- IFL-2012-ThiemannC
- Agda Meets Accelerate (PT, MMTC), pp. 174–189.
- ICFP-2010-KellerCLJL #array #haskell #parallel
- Regular, shape-polymorphic, parallel arrays in Haskell (GK, MMTC, RL, SLPJ, BL), pp. 261–272.
- ICFP-2008-SchrijversJCS #type checking
- Type checking with open type functions (TS, SLPJ, MMTC, MS), pp. 51–62.
- PADL-2008-KellerCCSB #generative #monte carlo
- Specialising Simulator Generators for High-Performance Monte-Carlo Methods (GK, HCM, MMTC, DS, CBK), pp. 116–132.
- POPL-2007-DreyerHCK #composition
- Modular type classes (DD, RH, MMTC, GK), pp. 63–70.
- LOPSTR-2006-WinwoodKC #automation #monitoring #on the #synthesis
- On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors (SW, GK, MMTC), pp. 111–126.
- ICFP-2005-ChakravartyKJ
- Associated type synonyms (MMTC, GK, SLPJ), pp. 241–253.
- POPL-2005-ChakravartyKJM
- Associated types with class (MMTC, GK, SLPJ, SM), pp. 1–13.
- GPCE-2004-SeefriedCK #domain-specific language #embedded #haskell #optimisation #using
- Optimising Embedded DSLs Using Template Haskell (SS, MMTC, GK), pp. 186–205.
- IFL-2003-PangC #haskell #object-oriented
- Interfacing Haskell with Object-Oriented Languages (ATHP, MMTC), pp. 20–35.
- AFP-2002-ChakravartyK02 #approach #array #haskell #performance
- An Approach to Fast Arrays in Haskell (MMTC, GK), pp. 27–58.
- ICFP-2001-ChakravartyK #array #functional
- Functional Array Fusion (MMTC, GK), pp. 205–216.
- ICFP-2000-ChakravartyK #parallel #programming
- More types for nested data parallel programming (MMTC, GK), pp. 94–105.
- FLOPS-1999-Chakravarty #lazy evaluation #performance
- Lazy Lexing is Fast (MMTC), pp. 68–84.
- IFL-1999-Chakravarty #c #haskell
- C -> HASKELL, or Yet Another Interfacing Tool (MMTC), pp. 131–148.
- FLOPS-1998-ChakravartyGK #distributed #haskell #internet
- Distributed Haskell: Goffin on the Internet (MMTC, YG, MK), pp. 80–97.
- IFL-1997-Chakravarty #concurrent #lazy evaluation #parallel #thread
- Lazy Thread and Task Creation in Parallel Graph-Reduction (MMTC), pp. 231–249.
- PLILP-1991-ChakravartyL #implementation #lazy evaluation
- The Implementation of Lazy Narrowing (MMTC, HCRL), pp. 123–134.
- Haskell-2004-PangSSC #haskell
- Plugging Haskell in (ATHP, DS, SS, MMTC), pp. 10–21.
- Haskell-2005-StewartC
- Dynamic applications from the ground up (DS, MMTC), pp. 27–38.
- Haskell-2006-DerrinEKCC #approach #development #kernel
- Running the manual: an approach to high-assurance microkernel development (PD, KE, GK, DC, MMTC), pp. 60–71.
- Haskell-2010-TereiC #haskell
- An llVM backend for GHC (DAT, MMTC), pp. 109–120.
- Haskell-2012-KellerCLLJ
- Vectorisation avoidance (GK, MMTC, RL, BL, SLPJ), pp. 37–48.
- Haskell-2012-LippmeierCKJ #array #parallel
- Guiding parallel array fusion with indexed types (BL, MMTC, GK, SLPJ), pp. 25–36.
- Haskell-2013-LippmeierCKR #data flow #haskell
- Data flow fusion with series expressions in Haskell (BL, MMTC, GK, AR), pp. 93–104.
- Haskell-2014-Chakravarty
- Foreign inline code: systems demonstration (MMTC), pp. 119–120.
- Haskell-2015-McDonellCGN #code generation #runtime #type safety
- Type-safe runtime code generation: accelerate to LLVM (TLM, MMTC, VG, RRN), pp. 201–212.
- Haskell-2017-Clifton-Everest #array #streaming
- Streaming irregular arrays (RCE, TLM, MMTC, GK), pp. 174–185.