BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Chakravarty:Manuel_M=_T=

Facilitated 2 volumes:

ICFP 2014Ed
ICFP 2011Ed

Contributed to:

PADL 20142014
ICFP 20132013
ICFP 20122012
IFL 20122012
ICFP 20102010
ICFP 20082008
PADL 20082008
POPL 20072007
LOPSTR 20062006
ICFP 20052005
POPL 20052005
GPCE 20042004
IFL 20032003
AFP 20022002
ICFP 20012001
ICFP 20002000
FLOPS 19991999
IFL 19991999
FLOPS 19981998
IFL 19971997
PLILP 19911991
Haskell 20042004
Haskell 20052005
Haskell 20062006
Haskell 20102010
Haskell 20122012
Haskell 20132013
Haskell 20142014
Haskell 20152015
Haskell 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.