bib.bib

@inproceedings{CLS07,
    author = {Duncan Coutts and Roman Leshchinskiy and Don Stewart},
    title  = {Stream Fusion: From Lists to Streams to Nothing at All},
    booktitle = {Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP 2007},
    year   = 2007,
    month  = apr,
}

@inproceedings{Wad90,
    author = {Philip Wadler},
    title  = {Deforestation: transforming programs to eliminate trees},
    booktitle = {Special issue of selected papers from 2'nd European Symposium of Programming},
    year   = {1990},
    pages  = {231--248},
}
 
@inproceedings{CLP+07,
    author = {Manuel M. T. Chakravarty and Roman Leshchinskiy and Simon L. {Peyton Jones} and Gabriele Keller and Simon Marlow},
    title  = {{Data Parallel Haskell}: a status report},
    booktitle = {Symposium on Principles of Programming Languages},
    year   = {2007},
    pages  = {10--18},
    doi    = {10.1145/1248648.1248652},
    masid  = {2922905},
}

@inproceedings{PLKC08,
    author = {Simon {Peyton Jones} and Roman Leshchinskiy and Gabriele Keller and Manuel M. T. Chakravarty},
    title  = {Harnessing the Multicores: Nested Data Parallelism in {Haskell}},
    year   = {2008},
    booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008), IBFI, Schloss Dagstuhl},
}

@inproceedings{CSL06,
    author = {Duncan Coutts and Don Stewart and Roman Leshchinskiy},
    title  = {Rewriting {Haskell} Strings},
    booktitle = {Practical Aspects of Declarative Languages 8th International Symposium, PADL 2007},
    year   = 2007,
    month  = jan,
    pages  = {50--64},  
    publisher = {Springer-Verlag},
}

@inproceedings{GLP93,
    author = {Gill, Andrew and Launchbury, John and {Peyton Jones}, Simon L.},
    title  = {A short cut to deforestation},
    booktitle = {Proceedings of the conference on Functional programming languages and computer architecture},
    series = {FPCA '93},
    year   = 1993,
    location = {Copenhagen, Denmark},
    pages  = {223--232},
    numpages = 10,
    doi    = {http://doi.acm.org/10.1145/165180.165214},
    acmid  = 165214,
    publisher = {ACM},
}

@misc{RMKB06,
    author = {Francis P. Russell and Michael R. Mellor and Paul H. J. Kelly and Olav Beckmann},
    title  = {DESOLA: an Active Linear Algebra Library Using Delayed Evaluation and Runtime Code Generation},
    booktitle = {Library Centric Software Design Workshop '06},
    year   = {2006},
}

@article{Pey03,
    author = {Simon {Peyton Jones}},
    title  = {{Haskell} 98 language and libraries: the revised report},
    journal = {Journal of Functional Programming},
    year   = {2003},
    masid  = {2372296}
}

@misc{InstantGenerics,
    author = {Manuel M. T. Chakravarty and Gabriel C. Ditu and Roman Leshchinskiy},
    title  = {Instant Generics: Fast and Easy},
    howpublished = {http://www.cse.unsw.edu.au/~chak/papers/CDL09.html},
    year   = {2009}, 
}

@inproceedings{PTH01,
    author = {Simon {Peyton Jones} and Andrew Tolmach and Tony Hoare},
    title  = {Playing by the rules: rewriting as a practical optimisation technique in {GHC} },
    year   = {2001},
    month  = sep,
    booktitle = {Haskell Workshop},
    publisher = {ACM SIGPLAN},
    editor = {Ralf Hinze},
}

@article{PM02,
    author = {Simon {Peyton Jones} and Simon Marlow},
    title  = {Secrets of the {Glasgow Haskell Compiler} inliner},
    journal = {Journal of Functional Programming},
    year   = {2002},
    pages  = {393--434}
}

@inproceedings{AssocTypes,
    author = {Manuel M. T. Chakravarty and Gabriele Keller and Simon {Peyton Jones} and Simon Marlow},
    title  = {Associated Types with Class},
    booktitle = {ACM Symposium on Principles of Programming Languages {(POPL '05)}},
    year   = {2005},
    pages  = {1--13},
    publisher = {ACM Press}
}

@inproceedings{PartialVectorisation,
    author = {Manuel M. T. Chakravarty and Roman Leshchinskiy and Simon Peyton Jones and Gabriele Keller},
    title  = {Partial Vectorisation of {Haskell} Programs},
    booktitle = {ACM Workshop on Declarative Aspects of Multicore Programming},
    location  = {San Francisco}
    year   = {2008},
    month  = jan,
}

@inproceedings{MoreTypesForNDP,
    author = {Manuel M. T. Chakravarty and Gabriele Keller},
    title = {More Types for Nested Data Parallel Programming},
    booktitle = {Proceedings ICFP 2000: International Conference on Functional Programming},
    year = {2000},
    pages = {94--105},
    publisher = {ACM Press}
}

@article{BCH+,
    author = "Guy~E. Blelloch and Siddhartha Chatterjee and 
              Jonathan~C. Hardwick and Jay Sipelstein and Marco Zagha",
    title = "Implementation of a Portable Nested Data-Parallel Language",
    journal = "Journal of Parallel and Distributed Computing",
    volume = 21,
    number = 1,
    pages = "4--14",
    month = apr,
    year = 1994
}

@inproceedings{CKL+11,
    author = {Chakravarty, Manuel M.T. and Keller, Gabriele and
              Lee, Sean and McDonell, Trevor L. and Grover, Vinod},
    title = {Accelerating {Haskell} array codes with multicore {GPUs}},
    booktitle = {Proceedings of the sixth workshop on Declarative aspects of multicore programming},
    series = {DAMP '11},
    year = {2011},
    location = {Austin, Texas, USA},
    pages = {3--14},
    numpages = {12},
    doi = {http://doi.acm.org/10.1145/1926354.1926358},
    acmid = {1926358},
    publisher = {ACM},
    keywords = {arrays, data parallelism, dynamic compilation, gpgpu, haskell, skeletons},
}

@inproceedings{KCL+10,
    author = {Keller, Gabriele and Chakravarty, Manuel M.T. and Leshchinskiy,
              Roman and {Peyton Jones}, Simon and Lippmeier, Ben},
    title  = {Regular, shape-polymorphic, parallel arrays in {Haskell}},
    booktitle = {Proceedings of the 15th ACM SIGPLAN international conference on Functional programming},
    series = {ICFP '10},
    year   = {2010},
    location = {Baltimore, Maryland, USA},
    pages  = {261--272},
    numpages = {12},
    doi    = {http://doi.acm.org/10.1145/1863543.1863582},
    acmid  = {1863582},
    publisher = {ACM},
    keywords  = {arrays, data parallelism, haskell},
} 

@inproceedings{SeqNoMore,
    author = {Marlow, Simon and Maier, Patrick and Loidl, Hans-Wolfgang and Aswad, Mustafa K. and Trinder, Philip W.},
    title  = {Seq no more: Better Strategies for Parallel {Haskell}},
    booktitle = {Haskell Symposium 2010},
    month  = sep,
    year   = {2010},
    publisher = {ACM Press},
    keywords  = {implementation, GpH, evaluation strategies}
}

@techreport{EventsAndThreads,
    author = {Peng Li and Steve Zdancewic},
    title  = {A language-based approach to unifying events and threads},
    year   = {2006}
}

@inproceedings{AwkSquad,
    author = {Simon {Peyton Jones}},
    title  = {Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in {Haskell}},
    booktitle = {Engineering theories of software construction},
    editor = {Tony Hoare and Manfred Broy and Ralf Steinbruggen},
    year   = {2002},
    pages  = {47--96},
    publisher = {IOS Press}
}

@INPROCEEDINGS{Jones08atutorial,
    author = {Simon {Peyton Jones} and Satnam Singh},
    title = {A Tutorial on Parallel and Concurrent Programming in {Haskell}},
    booktitle = {Lecture Notes in Computer Science},
    year = {2008},
    publisher = {Springer Verlag}
}

@unpublished{IntelCC,
    author = {Ryan Newton and Chih-Ping Chen and Simon Marlow},
    title  = {Intel Concurrent Collections for {Haskell}},
    year   = {2010}
}

@inproceedings{DestroyUnfoldr,
    author = {Svenningsson, Josef},
    title  = {Shortcut fusion for accumulating parameters \& zip-like functions},
    booktitle = {Proceedings of the seventh ACM SIGPLAN international conference on Functional programming},
    series = {ICFP '02},
    year   = {2002},
    location = {Pittsburgh, PA, USA},
    pages  = {124--132},
    numpages = {9},
    doi    = {http://doi.acm.org/10.1145/581478.581491},
    acmid  = {581491},
    publisher = {ACM},
    keywords  = {deforestation, functional programming, intermediate data structures, optimisation, program transformation},
}

@article{hws,
    author = {Marlow, Simon},
    title = {Developing a high-performance web server in {Concurrent Haskell}},
    journal = {J. Funct. Program.},
    volume = {12},
    issue = {5},
    month = {July},
    year = {2002},
    issn = {0956-7968},
    pages = {359--374},
    numpages = {16},
    doi = {10.1017/S095679680200432X},
    acmid = {968420},
    publisher = {Cambridge University Press},
} 

@inproceedings{Chi99,
    author = {Olaf Chitil},
    title = {Type inference builds a short cut to deforestation},
    booktitle = {Proceedings of {ACM SIGPLAN International Conference on Functional Programming (ICFP '99)}},
    year = {1999},
    publisher = {ACM Press}
}

@unpublished{AS07,
    author = {Eric {Anvar Ghuloum} and Jesse Fang Sprangle},
    title  = {Flexible Parallel Programming for {Tera-scale} Architectures with {Ct}},
    year   = {2007},
    url    = {http://download.intel.com/pressroom/kits/research/Flexible_Parallel_Programming_Ct.pdf}
}

@book{DependenceApproach,
    author    = {Kennedy, Ken and Allen, John R.},
    title     = {Optimizing compilers for modern architectures: a dependence-based approach},
    year      = {2002},
    isbn      = {1-55860-286-0},
    publisher = {Morgan Kaufmann Publishers Inc.},
    address   = {San Francisco, CA, USA},
} 

@inproceedings{CK01,
    author    = {Manuel M.T. Chakravarty and Gabriele Keller},
    title     = {Functional Array Fusion},
    year      = {2001},
    booktitle = {Proceedings of {ACM SIGPLAN International Conference on Functional Programming (ICFP '01)}},
    publisher = {ACM Press}
}

@inproceedings{FastArrays,
    author    = {Manuel M. T. Chakravarty and Gabriele Keller},
    title     = {An Approach to Fast Arrays in {Haskell}},
    year      = {2003},
    booktitle = {Lecture notes for {The Summer School and Workshop on Advanced Functional Programming 2002}},
    publisher = {Springer-Verlag},
    pages     = {27--58},
    editor    = {Johan Jeuring and Simon {Peyton Jones}}
}

@book{FunLangImpl,
    author    = {Peyton Jones, Simon L.},
    title     = {The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)},
    year      = {1987},
    isbn      = {013453333X},
    publisher = {Prentice-Hall, Inc.},
    address   = {Upper Saddle River, NJ, USA},
} 

@inproceedings{LetFloat,
    author    = {Simon {Peyton Jones} and Will Partain and André Santos},
    title     = {Let-Floating: Moving Bindings to Give Faster Programs},
    booktitle = {Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming},
    year      = {1996},
    pages     = {1--12},
    publisher = {ACM Press}
}

@inproceedings{FlowFusion,
author = {Lippmeier, Ben and Chakravarty, Manuel M T and Keller, Gabriele and Robinson, Amos},
title = {{Data flow fusion with series expressions in Haskell}},
booktitle = {ICFP '14}
}

@inproceedings{vectavoid,
author = {Keller, Gabriele and Chakravarty, Manuel M T and Leshchinskiy, Roman and Ben Lippmeier and Jones, Simon Peyton},
title = {{Vectorisation avoidance}},
booktitle = {Haskell '12: Proceedings of the 2012 Haskell Symposium},
year = {2013},
pages = {37--48},
publisher = {~ACM  Request Permissions},
address = {New York, New York, USA},
month = jan
}

@inproceedings{VectorStreamFusion,
author = {Mainland, Geoffrey and Leshchinskiy, Roman and Peyton Jones, Simon},
title = {{Exploiting vector instructions with generalized stream fusion}},
booktitle = {International Conference on Functional Programming 2013},
year = {2013},
pages = {37--48},
publisher = {ACM},
month = nov
}

@book{SpecConstr,
author = {Peyton Jones, Simon},
title = {{Call-pattern specialisation for Haskell programs}},
publisher = {ACM},
year = {2007},
volume = {42},
month = oct
}


@ARTICLE{Verilog, 
  author={}, 
  journal={IEEE Std. 1364-2000}, 
  title={{IEEE Standard for Verilog Hardware Description Language}}, 
  year={2005}
}

@techreport{SQL,
  author = {ISO},
  Institution = {International Organization for Standardization},
  address = {Geneva, Switzerland},
  Title = {Information technology - {D}atabase languages - {SQL} - {P}art~1: Framework ({SQL}/{F}ramework)},
  number = {9075-1:2011},
  Type = {ISO},
  Year = {2011}
}

@techreport{HTML,
  author = {ISO},
  Institution = {International Organization for Standardization},
  address = {Geneva, Switzerland},
  Title = {{Information technology — Document description and processing languages — HyperText Markup Language (HTML)}},
  number = {15445-2000},
  Type = {ISO},
  Year = {2000}
}

@inproceedings{Jones:2006eh,
author = {Jones, Simon Peyton and Vytiniotis, Dimitrios and Weirich, Stephanie and Washburn, Geoffrey},
title = {{Simple unification-based type inference for GADTs}},
booktitle = {ICFP '06: The 11th ACM SIGPLAN international conference on Functional programming},
year = {2006},
pages = {50--61},
publisher = {ACM},
address = {New York, NY, USA},
}

@online{HOAS2GADT,
author = {Chakravarty, Manuel M T},
title = {{Converting a HOAS term GADT into a de Bruijn term GADT}},
url = {http://www.cse.unsw.edu.au/~chak/haskell/term-conv/},
year = {2009}
}

@inproceedings{Unembedding,
author = {Atkey, Robert and Lindley, Sam and Yallop, Jeremy},
title = {{Unembedding domain-specific languages}},
booktitle = {Haskell '09: The 2nd ACM SIGPLAN Symposium on Haskell},
year = {2009},
pages = {37--48},
publisher = {ACM},
address = {New York, NY, USA}
}

@article{TH,
author = {Sheard, T and Jones, S P},
title = {{Template meta-programming for Haskell}},
journal = {{\ldots} of the 2002 ACM SIGPLAN workshop on Haskell},
year = {2002}
}

@inproceedings{QQ,
author = {Mainland, Geoffrey},
title = {{Why it's nice to be quoted}},
booktitle = {Haskell '07: The 2007 ACM SIGPLAN workshop on Haskell},
year = {2007},
pages = {73},
publisher = {ACM Press},
address = {New York, New York, USA}
}

@proceedings{FusingFiltersILP,
title = {{Fusing filters with integer linear programming}},
year = {2014},
publisher = {~ACM  Request Permissions},
address = {New York, New York, USA},
month = sep
}

@article{WatersSeries,
author = {Waters, Richard C},
title = {{Automatic transformation of series expressions into loops}},
journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
year = {1991},
volume = {13},
number = {1},
pages = {52--98},
month = jan
}

@inproceedings{Anatomy,
author = {Shivers, Olin},
title = {{The Anatomy of a Loop}},
booktitle = {International Conference on Functional Programming },
year = {2005},
pages = {2--14},
publisher = {ACM},
month = sep
}

@article{StateInHaskell,
author = {Launchbury, John and Jones, Simon L Peyton},
title = {{State in Haskell}},
journal = {Lisp and Symbolic Computation},
year = {1995},
volume = {8},
number = {4},
pages = {293--341},
month = dec
}

@article{GHCOptimiser,
author = {Peyton Jones, Simon L and Santos, Andr{\'e}L M},
title = {{A transformation-based optimiser for Haskell}},
journal = {Science of computer programming},
year = {1998},
volume = {32},
number = {1-3},
pages = {3--47},
month = sep
}

@incollection{UnboxingUsingSpecialisation,
author = {Hall, Cordelia and Jones, Simon L Peyton and Sansom, Patrick M},
title = {{Unboxing using Specialisation}},
booktitle = {Functional Programming, Glasgow 1994},
year = {1995},
pages = {96--110},
publisher = {Springer London},
address = {London},
month = jan
}

@incollection{UnboxedFirstClass,
author = {Jones, Simon L Peyton and Launchbury, John},
title = {{Unboxed values as first class citizens in a non-strict functional language}},
booktitle = {Functional Programming Languages and Computer Architecture},
year = {1991},
pages = {636--666},
publisher = {Springer Berlin Heidelberg},
address = {Berlin, Heidelberg},
month = jan
}

@article{QuickHull,
    author = "C. B. Barber and D. P. Dobkin and H. T. Huhdanpaa",
    title =  "The Quickhull algorithm for convex hulls",
    journal = "ACM Trans. on Mathematical Software",
    month = dec,
    year = 1996
}

@inproceedings{Lippmeier:2011cd,
author = {Ben Lippmeier and Keller, Gabriele},
title = {{Efficient parallel stencil convolution in Haskell}},
booktitle = {Haskell '11: The 4th ACM SIGPLAN Symposium on Haskell},
year = {2011},
publisher = { ACM  Request Permissions},
month = sep
}

@inproceedings{McDonell:2013wi,
author = {McDonell, Trevor L and Chakravarty, Manuel M T and Keller, Gabriele and Lippmeier, Ben},
title = {{Optimising Purely Functional GPU Programs}},
booktitle = {ICFP '13: The 18th ACM SIGPLAN international conference on Functional programming},
year = {2013},
month = sep
}

@inproceedings{CliftonEverest:2014vi,
author = {Clifton-Everest, Robert and McDonell, Trevor L and Chakravarty, Manuel M T and Keller, Gabriele},
title = {{Embedding Foreign Code}},
booktitle = {PADL '14: The 16th International Symposium on Practical Aspects of Declarative Languages},
year = {2014},
month = jan
}

@incollection{TaglessFinal,
author = {Kiselyov, Oleg},
title = {{Typed Tagless Final Interpreters}},
booktitle = {Generic and Indexed Programming},
year = {2012},
pages = {130--174},
publisher = {Springer Berlin Heidelberg},
address = {Berlin, Heidelberg},
month = jan
}

@article{ImplicitExplicitSharing,
author = {Kiselyov, Oleg},
title = {{Implementing Explicit and Finding Implicit Sharing in Embedded DSLs}},
journal = {Electronic Proceedings in Theoretical Computer Science},
year = {2011},
volume = {66},
pages = {210--225},
month = sep
}


@book{HygienicCodeGen,
author = {Kameyama, Yukiyoshi and Kiselyov, Oleg and Shan, Chung-chieh},
title = {{Combinators for impure yet hygienic code generation}},
publisher = {PEPM},
year = {2014},
address = {San Diego, CA, USA},
month = jan
}


@proceedings{DDC,
title = {{Witnessing Purity, Constancy and Mutability}},
author = {Ben Lippmeier},
booktitle = {APLAS},
year = 2009
}


@InProceedings{LLVM:CGO04,
    author    = {Chris Lattner and Vikram Adve},
    title     = "{{LLVM}: A Compilation Framework for Lifelong Program Analysis \& Transformation}",
    booktitle = "{Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO'04)}",
    address   = {Palo Alto, California},
    year      = {2004}
}


@inproceedings{SSA-Braun13,
  title =    {Simple and Efficient Construction of Static Single
                  Assignment Form},
  booktitle =    {Compiler Construction},
  year =     2013,
  publisher =    {Springer Berlin Heidelberg},
  volume =   7791,
  pages =    {102--122},
  author =   {Matthias Braun and Sebastian Buchwald and Sebastian
                  Hack and Roland Lei{\ss}a and Christoph Mallon and
                  Andreas Zwinkau},
  editor =   {Jhala, Ranjit and Bosschere, Koen},
  series =   {Lecture Notes in Computer Science},
  url =      {http://dx.doi.org/10.1007/978-3-642-37051-9\_6},
  doi =      {10.1007/978-3-642-37051-9_6},
}


@online{acc-llvm,
    author = {McDonell, Trevor L},
    title = {accelerate-llvm},
    url = "https://github.com/AccelerateHS/accelerate-llvm",
  year =     2014
}


@inproceedings{Thielemann-LLVM,
  author    = {Henning Thielemann},
  title     = {Compiling Signal Processing Code embedded in Haskell via {LLVM}},
  booktitle = {International Conference on Digital Audio Effects (DAFx)},
  address   = {Graz, Austria},
  year      = {2010},
  month     = sep
}


@inproceedings{Thielemann-Audio-LLVM,
  author    = {Henning Thielemann},
  title     = {Audio Processing using {Haskell}},
  booktitle = {International Conference on Digital Audio Effects (DAFx)},
  address   = {Naples, Italy},
  year      = {2004},
  month     = oct
}


@incollection{WithLoop,
author = {Grelck, Clemens and Hinckfu{\ss}, Karsten and Scholz, Sven-Bodo},
title = {{With-Loop Fusion for Data Locality and Parallelism}},
booktitle = {Implementation and Application of Functional Languages},
year = {2006},
pages = {178--195},
publisher = {Springer Berlin Heidelberg},
address = {Berlin, Heidelberg},
month = jan
}


@inproceedings{Hoopl,
author = {Ramsey, Norman and Peyton Jones, Simon and Dias, Jo{\~a}o},
title = {{Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation}},
booktitle = {Haskell Symposium},
year = {2010},
pages = {1--14}
}


@online{IntelISA,
    title = {Intel Instruction Set Architecture Extensions},
    url = "https://software.intel.com/en-us/intel-isa-extensions",
    year =     2014
}

@inproceedings{ObservableSharing,
author = {Gill, Andy},
title = {{Type-Safe Observable Sharing in Haskell}},
booktitle = {Haskell '09: The 2nd ACM SIGPLAN Symposium on Haskell},
year = {2009},
pages = {117--128},
month = sep
}

@online{GADTSharing,
    author = {Visscher, Sjoerd},
    title = {How can I recover sharing in a GADT?},
    url = "http://stackoverflow.com/a/12232127/500700",
    year = 2012,
    urldate = {2014-11-30}
}

@proceedings{PlugginHaskellIn,
author = {Pang, A and Stewart, D and Seefried, S},
title = {{Plugging haskell in}},
journal = {ACM SIGPLAN Workshop on Haskell},
year = {2004}
}

@proceedings{DynApps,
author = {Don Stewart and Manuel M. T. Chakravarty},
title = {{Dynamic applications from the ground up}},
journal = {ACM SIGPLAN Workshop on Haskell},
year = {2005}
}


@phdthesis{DonsThesis,
  title = "Dynamic Extension of Typed Functional Languages",
  author = "Don Stewart",
  year = "2010",
  school = "University of New South Wales",
}


@phdthesis{BensThesis,
  title = "Type Inference and Optimisation for an Impure World",
  author = "Ben Lippmeier",
  year = "2009",
  school = "Australian National University",
}