| 2011 | Embedded parser generators. | Jonas Duregrd, Patrik Jansson |
| 2011 | Termination combinators forever. | Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis |
| 2010 | Species and functors and types, oh my! | Brent A. Yorgey |
| 2010 | An llVM backend for GHC. | David A. Terei, Manuel M. T. Chakravarty |
| 2010 | The performance of the Haskell containers package. | Milan Straka |
| 2010 | Invertible syntax descriptions: unifying parsing and pretty printing. | Tillmann Rendel, Klaus Ostermann |
| 2010 | Hoopl: a modular, reusable library for dataflow analysis and transformation. | Norman Ramsey, Joo Dias, Simon L. Peyton Jones |
| 2010 | A systematic derivation of the STG machine verified in Coq. | Maciej Pirg, Dariusz Biernacki |
| 2010 | Scalable i/o event handling for GHC. | Bryan O'Sullivan, Johan Tibell |
| 2010 | Experience report: using hackage to inform language design. | J. Garrett Morris |
| 2010 | Seq no more: better strategies for parallel Haskell. | Simon Marlow, Patrick Maier, Hans-Wolfgang Loidl, Mustafa Aswad, Philip W. Trinder |
| 2010 | Nikola: embedding compiled GPU functions in Haskell. | Geoffrey Mainland, Greg Morrisett |
| 2010 | A generic deriving mechanism for Haskell. | Jos Pedro Magalhes, Atze Dijkstra, Johan Jeuring, Andres Lh |
| 2010 | Concurrent orchestration in Haskell. | John Launchbury, Trevor Elliott |
| 2010 | Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler. | John H. G. van Groningen, Thomas van Noort, Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer |
| 2010 | Supercompilation by evaluation. | Maximilian C. Bolingbroke, Simon L. Peyton Jones |
| 2009 | Haskell Symposium Program Chair's Report. | Stephanie Weirich |
| 2009 | Roll your own test bed for embedded real-time protocols: a haskell experience. | Lee Pike, Geoffrey M. Brown, Alwyn Goodloe |
| 2009 | Losing functions without gaining data: another look at defunctionalisation. | Neil Mitchell, Colin Runciman |
| 2009 | Parallel performance tuning for Haskell. | Don Jones Jr., Simon Marlow, Satnam Singh |
| 2009 | Type-safe observable sharing in Haskell. | Andy Gill |
| 2009 | Push-pull functional reactive programming. | Conal M. Elliott |
| 2009 | The architecture of the Utrecht Haskell compiler. | Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra |
| 2009 | Alloy: fast generic transformations for Haskell. | Neil C. C. Brown, Adam T. Sampson |
| 2009 | A compositional theory for STM Haskell. | Johannes Borgstrm, Karthikeyan Bhargavan, Andrew D. Gordon |