Active Bibliography

30 Harnessing the Multicores: Nested Data Parallelism in Haskell – Simon Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty - 2008
78 Data Parallel Haskell: a status report – Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller, Simon Marlow - 2007
6 Proving correctness via free theorems: The case of the destroy/build-rule – Janis Voigtländer - 2008
20 A Supercompiler for Core Haskell – Neil Mitchell, Colin Runciman
1 Supero: Making Haskell faster – Neil Mitchell, Colin Runciman - 2007
5 Regular, shape-polymorphic, parallel arrays in Haskell – Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton - 2010
2 Vectorisation Avoidance – Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones
In submission. Please do not redistribute. Haskell Beats C Using Generalized Stream Fusion Geoffrey Mainland – Cambridge England, Roman Leshchinskiy, Simon Peyton Jones, Simon Marlow
In submission. Please do not redistribute. Revised April 19, 2013. Haskell Beats C Using Generalized Stream Fusion Geoffrey Mainland – Cambridge England, Roman Leshchinskiy, Simon Peyton Jones
Exploiting Vector Instructions with Generalized Stream Fusion Geoffrey Mainland – Cambridge England, Roman Leshchinskiy, Simon Peyton Jones
1 Removing Value Encoding using Alternative Values in Partial Evaluation of Strongly-Typed Languages – Denis Bechet - 1994
9 Evolution of partial evaluators: removing inherited limits – Torben Mogensen - 1996
8 Optimizing data structures in high-level programs: New directions for extensible compilers based on staging – Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, Hyoukjoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky - 2013
5 Strategies for Fusing Logic and Control via Local, Application-Specific Transformations – Patricia Johann, Patricia Johann, Patricia Johann, Eelco Visser, Eelco Visser, Eelco Visser - 2003
11 Inherited limits – Torben Æ. Mogensen - 1999
43 Stream Fusion. From Lists to Streams to Nothing at All – Duncan Coutts, Roman Leshchinskiy, Don Stewart - 2007
Preliminary Proceedings of the ACM SIGPLAN Haskell Workshop (HW'2001) – Haskell Workshop, Ralf Hinze (editor) - 2001
7 Constructed Product Result Analysis for Haskell – Clem Baker-Finch , Kevin Glynn, Simon Peyton Jones
56 Playing by the rules: rewriting as a practical optimisation technique in GHC – Simon Peyton Jones, Andrew Tolmach, Tony Hoare