Playing by the rules: rewriting as a practical optimisation technique in GHC

by Simon Peyton Jones , Andrew Tolmach , Tony Hoare
Citations:56 - 9 self

Active Bibliography

Preliminary Proceedings of the ACM SIGPLAN Haskell Workshop (HW'2001) – Haskell Workshop, Ralf Hinze (editor) - 2001
12 Incorporating Domain-Specific Information into the Compilation Process – Samuel Zev Guyer - 2003
1 Guaranteed Optimization for Domain-Specific Programming – Todd Veldhuizen - 2003
35 Imperative program transformation by rewriting – David Lacey, Oege De Moor - 2001
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
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
Functional Programming Olaf Chitil – unknown authors
3 Scrapping your Inefficient Engine: using Partial Evaluation to Improve Domain-Specific Language Implementation – Edwin Brady, Kevin Hammond
1 Realising nondeterministic I/O in the Glasgow Haskell Compiler – David Sabel - 2003
In submission Higher-Order Cardinality Analysis Extended version – Ilya Sergey, Dimitrios Vytiniotis, Simon Peyton Jones
In submission Modular, Higher-Order Cardinality Analysis in Theory and Practice – unknown authors
47 Secrets of the Glasgow Haskell Compiler inliner – Simon Peyton Jones, Simon Marlow - 1999
11 Simple Usage Polymorphism – Keith Wansbrough, Simon Peyton Jones - 2000
7 Constructed Product Result Analysis for Haskell – Clem Baker-Finch , Kevin Glynn, Simon Peyton Jones
29 Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries – Samuel Z. Guyer, Calvin Lin - 2004
Implementation of inlining in Stratego – Arne De Bruijn - 2001
19 Incremental Execution of Transformation Specifications – Ganesh Sittampalam , Oege de Moor, Ken Friis Larsen - 2004
5 Type-inference based short cut deforestation (nearly) without inlining – Olaf Chitil - 1999
7 Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code – Jacques Carette, Oleg Kiselyov - 2008